| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Rel8.Internal.Generic.Map
Documentation
type family GMap (f :: Type -> Exp Type) (rep :: Type -> Type) :: Type -> Type where ... Source #
Equations
| GMap f (M1 i c rep) = M1 i c (GMap f rep) | |
| GMap _1 (V1 :: Type -> Type) = V1 :: Type -> Type | |
| GMap f (rep1 :+: rep2) = GMap f rep1 :+: GMap f rep2 | |
| GMap _1 (U1 :: Type -> Type) = U1 :: Type -> Type | |
| GMap f (rep1 :*: rep2) = GMap f rep1 :*: GMap f rep2 | |
| GMap f (K1 i a :: Type -> Type) = K1 i (Eval (f a)) :: Type -> Type |
type family Map (f :: Type -> Exp Type) a where ... Source #
Map a Type -> Type function over the Type-kinded type variables in
of a type constructor.
Equations
| Map p (t a b c d e f g) = t (Eval (p a)) (Eval (p b)) (Eval (p c)) (Eval (p d)) (Eval (p e)) (Eval (p f)) (Eval (p g)) | |
| Map p (t a b c d e f) = t (Eval (p a)) (Eval (p b)) (Eval (p c)) (Eval (p d)) (Eval (p e)) (Eval (p f)) | |
| Map p (t a b c d e) = t (Eval (p a)) (Eval (p b)) (Eval (p c)) (Eval (p d)) (Eval (p e)) | |
| Map p (t a b c d) = t (Eval (p a)) (Eval (p b)) (Eval (p c)) (Eval (p d)) | |
| Map p (t a b c) = t (Eval (p a)) (Eval (p b)) (Eval (p c)) | |
| Map p (t a b) = t (Eval (p a)) (Eval (p b)) | |
| Map p (t a) = t (Eval (p a)) |