Language.Symantic.Lib.Either

Symantic for Either.

Class Sym_Either

class Sym_Either term where

Methods

_Left :: term l -> term (Either l r)

_Right :: term r -> term (Either l r)

either :: term (l -> a) -> term (r -> a) -> term (Either l r) -> term a

_Left :: Sym_Either (UnT term) => Trans term => term l -> term (Either l r)

_Right :: Sym_Either (UnT term) => Trans term => term r -> term (Either l r)

either :: Sym_Either (UnT term) => Trans term => term (l -> a) -> term (r -> a) -> term (Either l r) -> term a

Instances

Sym_Either View

Methods

_Left :: View l -> View (Either l r)

_Right :: View r -> View (Either l r)

either :: View (l -> a) -> View (r -> a) -> View (Either l r) -> View a

Sym_Either Eval

Methods

_Left :: Eval l -> Eval (Either l r)

_Right :: Eval r -> Eval (Either l r)

either :: Eval (l -> a) -> Eval (r -> a) -> Eval (Either l r) -> Eval a

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

Methods

_Left :: BetaT term l -> BetaT term (Either l r)

_Right :: BetaT term r -> BetaT term (Either l r)

either :: BetaT term (l -> a) -> BetaT term (r -> a) -> BetaT term (Either l r) -> BetaT term a

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

Methods

_Left :: Dup r1 r2 l -> Dup r1 r2 (Either l r)

_Right :: Dup r1 r2 r -> Dup r1 r2 (Either l r)

either :: Dup r1 r2 (l -> a) -> Dup r1 r2 (r -> a) -> Dup r1 r2 (Either l r) -> Dup r1 r2 a

Types

tyEither :: Source src => Type src vs l -> Type src vs r -> Type src vs (Either l r)

Terms

teEither_Left :: TermDef Either '[Proxy a, Proxy b] (() #> (a -> Either a b))

teEither_Right :: TermDef Either '[Proxy a, Proxy b] (() #> (b -> Either a b))

teEither_either :: TermDef Either '[Proxy a, Proxy b, Proxy c] (() #> ((a -> c) -> (b -> c) -> Either a b -> c))

Orphan instances

ClassInstancesFor (* -> * -> *) Either

Methods

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

TypeInstancesFor (* -> * -> *) Either

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 (* -> * -> *) Either

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> * -> *) Either

Methods

fixityOf :: proxy c -> Maybe Fixity

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

Methods

moduleFor :: (PathMod, Module ss Either)

Gram_Term_AtomsFor (* -> * -> *) src ss g Either

Methods

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