Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Applicative
.
- class Sym_Functor term => Sym_Applicative term where
- tyApplicative :: Source src => Type src vs a -> Type src vs (Applicative a)
- teApplicative_pure :: TermDef Applicative '[Proxy a, Proxy f] (Applicative f #> (a -> f a))
- teApplicative_app :: TermDef Applicative '[Proxy a, Proxy b, Proxy f] (Applicative f #> (f (a -> b) -> f a -> f b))
- teApplicative_const :: TermDef Applicative '[Proxy a, Proxy b1, Proxy f] (Applicative f #> (f a -> f b1 -> f a))
- teApplicative_tsnoc :: TermDef Applicative '[Proxy a, Proxy b, Proxy f] (Applicative f #> (f a -> f b -> f b))
Class Sym_Applicative
class Sym_Functor term => Sym_Applicative term where Source #
pure :: Applicative f => term a -> term (f a) Source #
(<*>) :: Applicative f => term (f (a -> b)) -> term (f a) -> term (f b) infixl 4 Source #
(*>) :: Applicative f => term (f a) -> term (f b) -> term (f b) infixl 4 Source #
(<*) :: Applicative f => term (f a) -> term (f b) -> term (f a) infixl 4 Source #
pure :: Sym_Applicative (UnT term) => Trans term => Applicative f => term a -> term (f a) Source #
(<*>) :: Sym_Applicative (UnT term) => Trans term => Applicative f => term (f (a -> b)) -> term (f a) -> term (f b) infixl 4 Source #
(*>) :: Sym_Lambda term => Applicative f => term (f a) -> term (f b) -> term (f b) infixl 4 Source #
(<*) :: Sym_Lambda term => Applicative f => term (f a) -> term (f b) -> term (f a) infixl 4 Source #
Sym_Applicative Eval Source # | |
Sym_Applicative View Source # | |
(Sym_Lambda term, Sym_Applicative term) => Sym_Applicative (BetaT term) Source # | |
(Sym_Applicative r1, Sym_Applicative r2, Sym_Lambda r1, Sym_Lambda r2) => Sym_Applicative (Dup r1 r2) Source # | |
Type
s
tyApplicative :: Source src => Type src vs a -> Type src vs (Applicative a) Source #
Term
s
teApplicative_pure :: TermDef Applicative '[Proxy a, Proxy f] (Applicative f #> (a -> f a)) Source #
teApplicative_app :: TermDef Applicative '[Proxy a, Proxy b, Proxy f] (Applicative f #> (f (a -> b) -> f a -> f b)) Source #
teApplicative_const :: TermDef Applicative '[Proxy a, Proxy b1, Proxy f] (Applicative f #> (f a -> f b1 -> f a)) Source #
teApplicative_tsnoc :: TermDef Applicative '[Proxy a, Proxy b, Proxy f] (Applicative f #> (f a -> f b -> f b)) Source #
Orphan instances
ClassInstancesFor ((* -> *) -> Constraint) Applicative Source # | |
TypeInstancesFor ((* -> *) -> Constraint) Applicative Source # | |
NameTyOf ((* -> *) -> Constraint) Applicative Source # | |
FixityOf ((* -> *) -> Constraint) Applicative Source # | |
(Source src, SymInj ((* -> *) -> Constraint) ss Applicative) => ModuleFor ((* -> *) -> Constraint) src ss Applicative Source # | |
Gram_Term_AtomsFor ((* -> *) -> Constraint) src ss g Applicative Source # | |