Language.Symantic.Lib.Alternative

Symantic for Alternative.

Class Sym_Alternative

class Sym_Functor term => Sym_Alternative term where

Methods

empty :: Alternative f => term (f a)

(<|>) :: Alternative f => term (f a) -> term (f a) -> term (f a) infixl 3

empty :: Sym_Alternative (UnT term) => Trans term => Alternative f => term (f a)

(<|>) :: Sym_Alternative (UnT term) => Trans term => Alternative f => term (f a) -> term (f a) -> term (f a) infixl 3

Instances

Sym_Alternative Eval

Methods

empty :: Alternative f => Eval (f a)

(<|>) :: Alternative f => Eval (f a) -> Eval (f a) -> Eval (f a)

Sym_Alternative View

Methods

empty :: Alternative f => View (f a)

(<|>) :: Alternative f => View (f a) -> View (f a) -> View (f a)

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

Methods

empty :: Alternative f => BetaT term (f a)

(<|>) :: Alternative f => BetaT term (f a) -> BetaT term (f a) -> BetaT term (f a)

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

Methods

empty :: Alternative f => Dup r1 r2 (f a)

(<|>) :: Alternative f => Dup r1 r2 (f a) -> Dup r1 r2 (f a) -> Dup r1 r2 (f a)

Types

tyAlternative :: Source src => Type src vs a -> Type src vs (Alternative a)

Terms

teAlternative_empty :: TermDef Alternative '[Proxy a, Proxy f] (Alternative f #> f a)

teAlternative_alt :: TermDef Alternative '[Proxy a, Proxy f] (Alternative f #> (f a -> f a -> f a))

Orphan instances

ClassInstancesFor ((* -> *) -> Constraint) Alternative

Methods

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

TypeInstancesFor ((* -> *) -> Constraint) Alternative

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) Alternative

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf ((* -> *) -> Constraint) Alternative

Methods

fixityOf :: proxy c -> Maybe Fixity

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

Methods

moduleFor :: (PathMod, Module ss Alternative)

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

Methods

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