Portability | see LANGUAGE pragmas (... GHC) |
---|---|
Stability | experimental |
Maintainer | nicolas.frisby@gmail.com |
The type-level functionality of Type.Yoko.FunA functions.
Documentation
The TApp
type family encodes the type-level functionality of
Type.Yoko.Fun functions.
CMap fn m c
applies fn
to all recursive occurrences (i.e. R
) in a
Data.Yoko.Core type c
that's mediated by m
. The domain (Dom
) is RM
m c
and the range (Rng
) is RM m (CApp (fn m) c)
. The Idiom
is Idiom
(fn m)
.
CMap (forall t. fn m t) |
U ::: (Domain (CMap fn m)) | |
Applicative (Idiom (fn m)) => U ::: (DomainA (CMap fn m)) | |
V ::: (Domain (CMap fn m)) | |
Applicative (Idiom (fn m)) => V ::: (DomainA (CMap fn m)) | |
(Dom (fn m) t ~ Med m t, Rng (fn m) t ~ Med m (TApp (fn m) t), t ::: (DomainA (fn m)), Functor (Idiom (fn m)), Wrapper (fn m)) => (R t) ::: (DomainA (CMap fn m)) | |
(Dom (fn m) t ~ Med m t, Rng (fn m) t ~ Med m (TApp (fn m) t), t ::: (Domain (fn m)), Wrapper (fn m)) => (R t) ::: (Domain (CMap fn m)) | |
Applicative (Idiom (fn m)) => (D a) ::: (DomainA (CMap fn m)) | |
(D a) ::: (Domain (CMap fn m)) | |
(c ::: (DomainA (CMap fn m)), Functor (Idiom (fn m))) => (M i c) ::: (DomainA (CMap fn m)) | |
c ::: (Domain (CMap fn m)) => (M i c) ::: (Domain (CMap fn m)) | |
(c ::: (DomainA (CMap fn m)), Applicative (Idiom (fn m)), Traversable f) => (F f c) ::: (DomainA (CMap fn m)) | |
(c ::: (Domain (CMap fn m)), Traversable f) => (F f c) ::: (Domain (CMap fn m)) | |
(c ::: (DomainA (CMap fn m)), d ::: (DomainA (CMap fn m)), Applicative (Idiom (fn m)), TraversableTSTSS ff) => (FF ff c d) ::: (DomainA (CMap fn m)) | |
(c ::: (Domain (CMap fn m)), d ::: (Domain (CMap fn m)), FunctorTSTSS ff) => (FF ff c d) ::: (Domain (CMap fn m)) |
CApp fn c
applies the type-function fn
to all recursive occurrences
(i.e. R
) in the Data.Yoko.Core type c
.