Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Traversable
.
- class Sym_Traversable term where
- tyTraversable :: Source src => Type src vs a -> Type src vs (Traversable a)
- teTraversable_traverse :: TermDef Traversable '[Proxy a, Proxy b, Proxy f, Proxy t] ((Traversable t # Applicative f) #> ((a -> f b) -> t a -> f (t b)))
Class Sym_Traversable
class Sym_Traversable term where Source #
traverse :: Traversable t => Applicative f => term (a -> f b) -> term (t a) -> term (f (t b)) Source #
traverse :: Sym_Traversable (UnT term) => Trans term => Traversable t => Applicative f => term (a -> f b) -> term (t a) -> term (f (t b)) Source #
Sym_Traversable View Source # | |
Sym_Traversable Eval Source # | |
(Sym_Traversable term, Sym_Lambda term) => Sym_Traversable (BetaT term) Source # | |
(Sym_Traversable r1, Sym_Traversable r2) => Sym_Traversable (Dup r1 r2) Source # | |
Type
s
tyTraversable :: Source src => Type src vs a -> Type src vs (Traversable a) Source #
Term
s
teTraversable_traverse :: TermDef Traversable '[Proxy a, Proxy b, Proxy f, Proxy t] ((Traversable t # Applicative f) #> ((a -> f b) -> t a -> f (t b))) Source #
Orphan instances
ClassInstancesFor ((* -> *) -> Constraint) Traversable Source # | |
TypeInstancesFor ((* -> *) -> Constraint) Traversable Source # | |
NameTyOf ((* -> *) -> Constraint) Traversable Source # | |
FixityOf ((* -> *) -> Constraint) Traversable Source # | |
(Source src, SymInj ((* -> *) -> Constraint) ss Traversable) => ModuleFor ((* -> *) -> Constraint) src ss Traversable Source # | |
Gram_Term_AtomsFor ((* -> *) -> Constraint) src ss g Traversable Source # | |