Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Functor
.
- class Sym_Functor term where
- tyFunctor :: Source src => Type src vs a -> Type src vs (Functor a)
- f1 :: Source src => LenInj vs => KindInj (K f) => Type src (a ': (Proxy f ': vs)) f
- f2 :: Source src => LenInj vs => KindInj (K f) => Type src (a ': (b ': (Proxy f ': vs))) f
- teFunctor_fmap :: TermDef Functor '[Proxy a, Proxy b, Proxy f] (Functor f #> ((a -> b) -> f a -> f b))
- teFunctor_fmap_infix :: TermDef Functor '[Proxy a, Proxy b, Proxy f] (Functor f #> ((a -> b) -> f a -> f b))
- teFunctor_const :: TermDef Functor '[Proxy a, Proxy b, Proxy f] (Functor f #> (a -> f b -> f a))
Class Sym_Functor
class Sym_Functor term where Source #
fmap :: Functor f => term (a -> b) -> term (f a) -> term (f b) Source #
fmap :: Sym_Functor (UnT term) => Trans term => Functor f => term (a -> b) -> term (f a) -> term (f b) Source #
(<$>) :: (Sym_Functor term, Functor f) => term (a -> b) -> term (f a) -> term (f b) infixl 4 Source #
(<$) :: Functor f => term a -> term (f b) -> term (f a) infixl 4 Source #
(<$) :: Sym_Lambda term => Functor f => term a -> term (f b) -> term (f a) infixl 4 Source #
Sym_Functor View Source # | |
Sym_Functor Eval Source # | |
(Sym_Functor term, Sym_Lambda term) => Sym_Functor (BetaT term) Source # | |
(Sym_Functor r1, Sym_Functor r2) => Sym_Functor (Dup r1 r2) Source # | |
Type
s
Term
s
teFunctor_fmap :: TermDef Functor '[Proxy a, Proxy b, Proxy f] (Functor f #> ((a -> b) -> f a -> f b)) Source #
teFunctor_fmap_infix :: TermDef Functor '[Proxy a, Proxy b, Proxy f] (Functor f #> ((a -> b) -> f a -> f b)) Source #
teFunctor_const :: TermDef Functor '[Proxy a, Proxy b, Proxy f] (Functor f #> (a -> f b -> f a)) Source #
Orphan instances
ClassInstancesFor ((* -> *) -> Constraint) Functor Source # | |
TypeInstancesFor ((* -> *) -> Constraint) Functor Source # | |
NameTyOf ((* -> *) -> Constraint) Functor Source # | |
FixityOf ((* -> *) -> Constraint) Functor Source # | |
(Source src, SymInj ((* -> *) -> Constraint) ss Functor) => ModuleFor ((* -> *) -> Constraint) src ss Functor Source # | |
Gram_Term_AtomsFor ((* -> *) -> Constraint) src ss g Functor Source # | |