Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Either
.
- class Sym_Either term where
- tyEither :: Source src => Type src vs l -> Type src vs r -> Type src vs (Either l r)
- 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))
Class Sym_Either
class Sym_Either term where Source #
_Left :: term l -> term (Either l r) Source #
_Right :: term r -> term (Either l r) Source #
either :: term (l -> a) -> term (r -> a) -> term (Either l r) -> term a Source #
_Left :: Sym_Either (UnT term) => Trans term => term l -> term (Either l r) Source #
_Right :: Sym_Either (UnT term) => Trans term => term r -> term (Either l r) Source #
either :: Sym_Either (UnT term) => Trans term => term (l -> a) -> term (r -> a) -> term (Either l r) -> term a Source #
Sym_Either Eval Source # | |
Sym_Either View Source # | |
(Sym_Either term, Sym_Lambda term) => Sym_Either (BetaT term) Source # | |
(Sym_Either r1, Sym_Either r2) => Sym_Either (Dup r1 r2) Source # | |
Type
s
Term
s
teEither_either :: TermDef Either '[Proxy a, Proxy b, Proxy c] (() #> ((a -> c) -> (b -> c) -> Either a b -> c)) Source #