symantic-lib-0.0.5.20190614: Symantics for common types.

Safe HaskellNone
LanguageHaskell2010

Language.Symantic.Lib.Traversable

Contents

Description

Symantic for Traversable.

Synopsis

Class Sym_Traversable

class Sym_Traversable term where Source #

Minimal complete definition

Nothing

Methods

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 #

Instances
Sym_Traversable View Source # 
Instance details

Defined in Language.Symantic.Lib.Traversable

Methods

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

Sym_Traversable Eval Source # 
Instance details

Defined in Language.Symantic.Lib.Traversable

Methods

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

(Sym_Traversable term, Sym_Lambda term) => Sym_Traversable (BetaT term) Source # 
Instance details

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)) Source #

(Sym_Traversable r1, Sym_Traversable r2) => Sym_Traversable (Dup r1 r2) Source # 
Instance details

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)) Source #

Types

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

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))) Source #

Orphan instances

ClassInstancesFor Traversable Source # 
Instance details

Methods

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

TypeInstancesFor Traversable Source # 
Instance details

Methods

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

NameTyOf Traversable Source # 
Instance details

Methods

nameTyOf :: proxy Traversable -> Mod NameTy #

isNameTyOp :: proxy Traversable -> Bool #

FixityOf Traversable Source # 
Instance details

Methods

fixityOf :: proxy Traversable -> Maybe Fixity #

(Source src, SymInj ss Traversable) => ModuleFor src ss Traversable Source # 
Instance details

Methods

moduleFor :: (PathMod, Module src ss) #

Gram_Term_AtomsFor src ss g Traversable Source # 
Instance details

Methods

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