| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/Language/Haskell/Syntax/ |
| H A D | Extension.hs | 105 type family XRec p a = r | r -> a type
152 type family IdP p type
178 type family XABE x type
182 type family XPSB x x' type
190 type family XCIPBind x type
191 type family XXIPBind x type
543 type family XHsChar x type
547 type family XHsInt x type
553 type family XHsRat x type
556 type family XXLit x type
[all …]
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Hs/ |
| H A D | Extension.hs | 251 type family IdP p type
297 type family XABE x type
301 type family XPSB x x' type
309 type family XCIPBind x type
310 type family XXIPBind x type
558 type family XCmdTop x type
629 type family XHsChar x type
633 type family XHsInt x type
639 type family XHsRat x type
642 type family XXLit x type
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/GHC/Hs/ |
| H A D | Extension.hs | 150 type family XRec p (f :: * -> *) = r | r -> p f function
154 type family IdP p type
217 type family XABE x type
218 type family XXABExport x type
226 type family XPSB x x' type
244 type family XCIPBind x type
245 type family XXIPBind x type
863 type family XHsChar x type
867 type family XHsInt x type
873 type family XHsRat x type
[all …]
|
| /dports/lang/ghc/ghc-8.10.7/compiler/GHC/Hs/ |
| H A D | Extension.hs | 150 type family XRec p (f :: * -> *) = r | r -> p f type
154 type family IdP p type
217 type family XABE x type
218 type family XXABExport x type
226 type family XPSB x x' type
244 type family XCIPBind x type
245 type family XXIPBind x type
863 type family XHsChar x type
867 type family XHsInt x type
873 type family XHsRat x type
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc80/ |
| H A D | T6018rnfail.hs | 8 type family F a = r | a -> a function
9 type family Fc a = r | a -> a where type
15 type family G a = a type
16 type family Gc a = a where function
20 type family Gb a = a | a -> a type
21 type family Gcb a = a | a -> a where type
27 type family I a b = r | r -> c type
28 type family Ic a b = r | r -> c where type
34 type family L a b = r | c -> a type
35 type family Lc a b = r | c -> a where function
[all …]
|
| H A D | T6018failclosed.hs | 6 type family IdClosed a = result | result -> a where type
10 type family IdProxyClosed (a :: *) = r | r -> a where type
18 type family PClosed (a :: N) (b :: N) = (r :: N) | r -> a b where type
24 type family JClosed a b c = r | r -> a b where function
29 type family KClosed (a :: N) (b :: N) = (r :: N) | r -> a b where function
34 type family LClosed a = r | r -> a where type
37 type family FClosed a b c = (result :: *) | result -> a b c where function
42 type family IClosed a b c = r | r -> a b where type
47 type family E2 (a :: Bool) = r | r -> a where type
58 type family F a b = r | r -> a b where type
[all …]
|
| H A D | T6018.hs | 28 type family J a (b :: k) = r | r -> a type
35 type family K a = r | r -> a type
39 type family M a = r | r -> a type
65 type family Bak a = r | r -> a where type
147 type family H a b = r | r -> b a function
155 type family Jx a b = r | r -> a a type
189 type family Gi a = r | r -> a type
191 type family Hi a = r | r -> a function
193 type family F2 a = r | r -> a type
197 type family F4 a = r | r -> a function
[all …]
|
| H A D | T6018fail.hs | 17 type family I a b c = r | r -> a b type
27 type family IdProxy a = r | r -> a type
50 type family L a = r | r -> a type
73 type family F1 a = r | r -> a type
77 type family GF1 a = r | r -> a function
80 type family GF2 a = r | r -> a function
86 type family W1 a = r | r -> a type
89 type family W2 a = r | r -> a type
93 type family Z1 a = r | r -> a function
97 type family G1 a = r | r -> a type
[all …]
|
| /dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/haskell-gi-base-0.24.5/Data/GI/Base/ |
| H A D | Overloading.hs | 45 type family FindElement (m :: Symbol) (ms :: [(Symbol, *)]) type
70 type family ParentTypes a :: [*] type
98 type family AttributeList a :: [(Symbol, *)] type
114 type family ResolveAttribute (s :: Symbol) (o :: *) :: * where type
122 type family IsElem (e :: Symbol) (es :: [(Symbol, *)]) (success :: k) type
129 type family HasAttribute (attr :: Symbol) (o :: *) :: Constraint where type
145 type family SignalList a :: [(Symbol, *)] type
149 type family ResolveSignal (s :: Symbol) (o :: *) :: * where type
157 type family HasSignal (s :: Symbol) (o :: *) :: Constraint where type
166 type family UnsupportedMethodError (s :: Symbol) (o :: *) :: * where type
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/generic-lens-core-2.1.0.0/src/Data/Generics/Internal/Families/ |
| H A D | Has.hs | 37 type family Both (m1 :: Maybe a) (m2 :: Maybe a) :: Maybe a where type
40 type family Alt (m1 :: Maybe a) (m2 :: Maybe a) :: Maybe a where type
44 type family HasTotalFieldP (field :: Symbol) f :: Maybe Type where type
64 type family HasTotalTypeP (typ :: Type) f :: Maybe Type where type
86 type family HasTotalPositionP (pos :: Nat) f :: Maybe Type where type
106 type family HasPartialTypeP a f :: Bool where type
116 type family HasCtorP (ctor :: Symbol) f :: Bool where type
126 type family GTypes (rep :: Type -> Type) :: [Type] where type
|
| H A D | Collect.hs | 43 type family CollectTotalType t f :: TypeStat where type
51 type family CollectField t f :: TypeStat where type
64 type family MergeStat (st1 :: TypeStat) (st2 :: TypeStat) :: TypeStat where type
67 type family CountType t f :: Count where type
75 type family CountField (field :: Symbol) f :: Count where type
83 type family CollectPartialType t f :: [Symbol] where type
96 type family (a :: Count) <|> (b :: Count) :: Count where type
101 type family (a :: Count) <&> (b :: Count) :: Count where type
105 type family CollectFieldsOrdered (r :: * -> *) :: [Symbol] where type
115 type family Merge (xs :: [Symbol]) (ys :: [Symbol]) :: [Symbol] where type
[all …]
|
| H A D | Changing.hs | 57 type family P :: Nat -> k -> PTag -> k type
61 type family Indexed' (t :: k) (next :: Nat) :: k where type
68 type family Unify (a :: k) (b :: k) :: [Sub] where type
79 type family (xs :: [k]) ++ (ys :: [k]) :: [k] where type
83 type family Infer (s :: *) (a' :: *) (b :: *) :: * where type
101 type family ReplaceArg (t :: k) (pos :: Nat) (to :: j) :: k where type
106 type family ReplaceArgs (t :: k) (subs :: [Sub]) :: k where type
110 type family LookupParam (a :: k) (p :: Nat) :: Maybe Nat where type
120 type family IfEq (a :: k) (b :: k) (t :: l) (f :: l) :: l where type
124 type family ArgCount (t :: k) :: Nat where type
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/generic-lens-core-2.1.0.0/src/Data/Generics/Internal/Families/ |
| H A D | Has.hs | 37 type family Both (m1 :: Maybe a) (m2 :: Maybe a) :: Maybe a where type
40 type family Alt (m1 :: Maybe a) (m2 :: Maybe a) :: Maybe a where type
44 type family HasTotalFieldP (field :: Symbol) f :: Maybe Type where type
64 type family HasTotalTypeP (typ :: Type) f :: Maybe Type where type
86 type family HasTotalPositionP (pos :: Nat) f :: Maybe Type where type
106 type family HasPartialTypeP a f :: Bool where type
116 type family HasCtorP (ctor :: Symbol) f :: Bool where type
126 type family GTypes (rep :: Type -> Type) :: [Type] where type
|
| H A D | Collect.hs | 43 type family CollectTotalType t f :: TypeStat where type
51 type family CollectField t f :: TypeStat where type
64 type family MergeStat (st1 :: TypeStat) (st2 :: TypeStat) :: TypeStat where type
67 type family CountType t f :: Count where type
75 type family CountField (field :: Symbol) f :: Count where type
83 type family CollectPartialType t f :: [Symbol] where type
96 type family (a :: Count) <|> (b :: Count) :: Count where type
101 type family (a :: Count) <&> (b :: Count) :: Count where type
105 type family CollectFieldsOrdered (r :: * -> *) :: [Symbol] where type
115 type family Merge (xs :: [Symbol]) (ys :: [Symbol]) :: [Symbol] where type
[all …]
|
| H A D | Changing.hs | 57 type family P :: Nat -> k -> PTag -> k type
61 type family Indexed' (t :: k) (next :: Nat) :: k where type
68 type family Unify (a :: k) (b :: k) :: [Sub] where type
79 type family (xs :: [k]) ++ (ys :: [k]) :: [k] where type
83 type family Infer (s :: *) (a' :: *) (b :: *) :: * where type
101 type family ReplaceArg (t :: k) (pos :: Nat) (to :: j) :: k where type
106 type family ReplaceArgs (t :: k) (subs :: [Sub]) :: k where type
110 type family LookupParam (a :: k) (p :: Nat) :: Maybe Nat where type
120 type family IfEq (a :: k) (b :: k) (t :: l) (f :: l) :: l where type
124 type family ArgCount (t :: k) :: Nat where type
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/haskell-src-exts-1.23.1/tests/examples/ |
| H A D | InjectiveTypeFamilies.hs | 29 type family J a (b :: k) = r | r -> a type
36 type family K a = r | r -> a type
40 type family M a = r | r -> a type
66 type family Bak a = r | r -> a where type
148 type family H a b = r | r -> b a type
156 type family Jx a b = r | r -> a a type
190 type family Gi a = r | r -> a type
192 type family Hi a = r | r -> a type
194 type family F2 a = r | r -> a type
198 type family F4 a = r | r -> a function
[all …]
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/haskell-src-exts-1.23.0/tests/examples/ |
| H A D | InjectiveTypeFamilies.hs | 29 type family J a (b :: k) = r | r -> a function
36 type family K a = r | r -> a function
40 type family M a = r | r -> a function
66 type family Bak a = r | r -> a where type
148 type family H a b = r | r -> b a type
156 type family Jx a b = r | r -> a a function
190 type family Gi a = r | r -> a type
192 type family Hi a = r | r -> a type
194 type family F2 a = r | r -> a type
198 type family F4 a = r | r -> a type
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/haskell-src-exts-1.23.1/tests/examples/ |
| H A D | InjectiveTypeFamilies.hs | 29 type family J a (b :: k) = r | r -> a type
36 type family K a = r | r -> a type
40 type family M a = r | r -> a type
66 type family Bak a = r | r -> a where type
148 type family H a b = r | r -> b a type
156 type family Jx a b = r | r -> a a type
190 type family Gi a = r | r -> a type
192 type family Hi a = r | r -> a type
194 type family F2 a = r | r -> a type
198 type family F4 a = r | r -> a type
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/generic-lens-core-2.1.0.0/src/Data/Generics/Internal/ |
| H A D | Errors.hs | 35 type family NoGeneric (a :: Type) (ctxt :: [ErrorMessage]) :: Constraint where type
38 type family PrettyError (ctxt :: [ErrorMessage]) :: k where type
42 type family PrettyLines (ctxt :: [ErrorMessage]) :: ErrorMessage where type
46 type family Defined (break :: Type -> Type) (err :: Constraint) (a :: k) :: k where type
50 type family Defined_list (break :: [*]) (err :: Constraint) (a :: k) :: k where type
56 type family Any :: k type
58 type family QuoteType (typ :: k) :: ErrorMessage where type
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/generic-lens-core-2.1.0.0/src/Data/Generics/Internal/ |
| H A D | Errors.hs | 35 type family NoGeneric (a :: Type) (ctxt :: [ErrorMessage]) :: Constraint where type
38 type family PrettyError (ctxt :: [ErrorMessage]) :: k where type
42 type family PrettyLines (ctxt :: [ErrorMessage]) :: ErrorMessage where type
46 type family Defined (break :: Type -> Type) (err :: Constraint) (a :: k) :: k where type
50 type family Defined_list (break :: [*]) (err :: Constraint) (a :: k) :: k where type
56 type family Any :: k type
58 type family QuoteType (typ :: k) :: ErrorMessage where type
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/optics-core-0.3.0.1/src/Optics/Internal/Optic/ |
| H A D | TypeLevel.hs | 25 type family QuoteType (x :: Type) :: ErrorMessage where type
29 type family QuoteSymbol (x :: Symbol) :: ErrorMessage where type
35 type family ShowSymbolWithOrigin symbol origin :: ErrorMessage where type
42 type family ShowSymbolsWithOrigin (fs :: [(Symbol, Symbol)]) :: ErrorMessage where type
48 type family ShowOperators (ops :: [Symbol]) :: ErrorMessage where type
54 type family AppendEliminations a b where type
58 type family ShowEliminations forms :: ErrorMessage where type
68 type family AnyHasRep (s :: Type -> Type) (t :: Type -> Type) :: RepDefined type
79 type family Curry (xs :: IxList) (y :: Type) :: Type where type
84 type family Append (xs :: [k]) (ys :: [k]) :: [k] where type
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/ |
| H A D | TypeLevel.hs | 25 type family All (p :: k -> Constraint) (as :: [k]) :: Constraint where type
36 type family If (b :: Bool) (l :: k) (r :: k) :: k where type
41 type family Foldr (c :: k -> l -> l) (n :: l) (as :: [k]) :: l where type
47 type family Foldr' (c :: Function k (Function l l -> Type) -> Type) type
60 type family Constant (b :: l) (as :: [k]) :: [l] where type
75 type family IsBase (t :: Type) :: Bool where type
83 type family Domains (t :: Type) :: [Type] where type
85 type family Domains' (t :: Type) :: [Type] where type
88 type family CoDomain (t :: Type) :: Type where type
90 type family CoDomain' (t :: Type) :: Type where type
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/sop-core-0.5.0.1/src/Data/SOP/ |
| H A D | Constraint.hs | 101 type family type
180 type family type
201 type family type
210 type family Head (xs :: [a]) :: a where type
217 type family Tail (xs :: [a]) :: [a] where type
272 type family AllN (h :: (k -> Type) -> (l -> Type)) (c :: k -> Constraint) :: l -> Constraint type
279 type family AllZipN (h :: (k -> Type) -> (l -> Type)) (c :: k1 -> k2 -> Constraint) :: l1 -> l2 -> … type
286 type family SListIN (h :: (k -> Type) -> (l -> Type)) :: l -> Constraint type
|
| /dports/lang/ghc/ghc-8.10.7/libraries/base/GHC/ |
| H A D | TypeNats.hs | 173 type family CmpNat (m :: Nat) (n :: Nat) :: Ordering type
179 type family (m :: Nat) <=? (n :: Nat) :: Bool type
184 type family (m :: Nat) + (n :: Nat) :: Nat type
189 type family (m :: Nat) * (n :: Nat) :: Nat type
194 type family (m :: Nat) ^ (n :: Nat) :: Nat type
199 type family (m :: Nat) - (n :: Nat) :: Nat type
205 type family Div (m :: Nat) (n :: Nat) :: Nat type
211 type family Mod (m :: Nat) (n :: Nat) :: Nat type
217 type family Log2 (m :: Nat) :: Nat type
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/fourmolu-0.3.0.0/data/examples/declaration/type-families/closed-type-family/ |
| H A D | multi-line-four-out.hs | 1 type family type
8 type family type
18 type family type
|