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 View

Defined in Language.Symantic.Lib.Traversable

Methods

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

Sym_Traversable Eval

Defined in Language.Symantic.Lib.Traversable

Methods

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

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

Defined in Language.Symantic.Lib.Traversable

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)

Defined in Language.Symantic.Lib.Traversable

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 Traversable

Methods

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

TypeInstancesFor Traversable

Methods

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

NameTyOf Traversable

Methods

nameTyOf :: proxy Traversable -> Mod NameTy

isNameTyOp :: proxy Traversable -> Bool

FixityOf Traversable

Methods

fixityOf :: proxy Traversable -> Maybe Fixity

(Source src, SymInj ss Traversable) => ModuleFor src ss Traversable

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g Traversable

Methods

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