Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type family IfStuckUnroll (e ∷ [Type]) (t ∷ [Type]) ∷ [Type] where ...
- type family IfStuckRep e (rep ∷ Type → Type) ∷ Type → Type where ...
- type family Insert x xs where ...
- type family Concat (as ∷ [k]) (bs ∷ [k]) ∷ [k] where ...
- type family (as ∷ [k]) ++ (bs ∷ [k]) ∷ [k] where ...
- type family Reverse (xs ∷ [k]) ∷ [k] where ...
- type family Append (xs ∷ [k]) (ys ∷ [k]) ∷ [k] where ...
- type family Nub xs where ...
- type family NubHelper acc xs where ...
Documentation
type family IfStuckUnroll (e ∷ [Type]) (t ∷ [Type]) ∷ [Type] where ... Source #
IfStuckUnroll _ '[] = '[] | |
IfStuckUnroll _ (x ': xs) = x ': xs | |
IfStuckUnroll e _ = e |
type family IfStuckRep e (rep ∷ Type → Type) ∷ Type → Type where ... Source #
IfStuckRep _ (M1 a b c) = M1 a b c | |
IfStuckRep _ (f :*: g) = f :*: g | |
IfStuckRep _ (f :+: g) = f :+: g | |
IfStuckRep _ (K1 a b) = K1 a b | |
IfStuckRep e U1 = U1 | |
IfStuckRep e x = e |
type family (as ∷ [k]) ++ (bs ∷ [k]) ∷ [k] where ... infixr 5 Source #
Concatenates two type-level lists removing duplicates.