Language.Symantic.Lib.Traversable

Symantic for Traversable.

Class Sym_Traversable

class Sym_Traversable term where

Methods

traverse :: Traversable t => Applicative f => term (a -> f b) -> term (t a) -> term (f (t b))

traverse :: Sym_Traversable (UnT term) => Trans term => Traversable t => Applicative f => term (a -> f b) -> term (t a) -> term (f (t b))

Instances

Sym_Traversable Eval

Methods

traverse :: (Traversable t, Applicative f) => Eval (a -> f b) -> Eval (t a) -> Eval (f (t b))

Sym_Traversable View

Methods

traverse :: (Traversable t, Applicative f) => View (a -> f b) -> View (t a) -> View (f (t b))

(Sym_Traversable term, Sym_Lambda term) => Sym_Traversable (BetaT term)

Methods

traverse :: (Traversable t, Applicative f) => BetaT term (a -> f b) -> BetaT term (t a) -> BetaT term (f (t b))

(Sym_Traversable r1, Sym_Traversable r2) => Sym_Traversable (Dup r1 r2)

Methods

traverse :: (Traversable t, Applicative f) => Dup r1 r2 (a -> f b) -> Dup r1 r2 (t a) -> Dup r1 r2 (f (t b))

Types

tyTraversable :: Source src => Type src vs a -> Type src vs (Traversable a)

Terms

teTraversable_traverse :: TermDef Traversable '[Proxy a, Proxy b, Proxy f, Proxy t] ((Traversable t # Applicative f) #> ((a -> f b) -> t a -> f (t b)))

Orphan instances

ClassInstancesFor ((* -> *) -> Constraint) Traversable

Methods

proveConstraintFor :: Source src => proxy c -> Type Constraint src vs q -> Maybe (Qual q)

TypeInstancesFor ((* -> *) -> Constraint) Traversable

Methods

expandFamFor :: Source src => proxy c -> Len Type vs -> Const kt src fam -> Types src vs ts -> Maybe (Type kt src vs (Fam kt fam ts))

NameTyOf ((* -> *) -> Constraint) Traversable

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf ((* -> *) -> Constraint) Traversable

Methods

fixityOf :: proxy c -> Maybe Fixity

(Source src, SymInj ((* -> *) -> Constraint) ss Traversable) => ModuleFor ((* -> *) -> Constraint) src ss Traversable

Methods

moduleFor :: (PathMod, Module ss Traversable)

Gram_Term_AtomsFor ((* -> *) -> Constraint) src ss g Traversable

Methods

g_term_atomsFor :: [CF Traversable (AST_Term ss g)]