Language.Symantic.Lib.Maybe

Symantic for Maybe.

Class Sym_Maybe

class Sym_Maybe term where

Minimal complete definition

Nothing

Methods

_Nothing :: term (Maybe a)

_Just :: term a -> term (Maybe a)

maybe :: term b -> term (a -> b) -> term (Maybe a) -> term b

_Nothing :: Sym_Maybe (UnT term) => Trans term => term (Maybe a)

_Just :: Sym_Maybe (UnT term) => Trans term => term a -> term (Maybe a)

maybe :: Sym_Maybe (UnT term) => Trans term => term b -> term (a -> b) -> term (Maybe a) -> term b

Instances

Sym_Maybe View

Defined in Language.Symantic.Lib.Maybe

Methods

_Nothing :: View (Maybe a)

_Just :: View a -> View (Maybe a)

maybe :: View b -> View (a -> b) -> View (Maybe a) -> View b

Sym_Maybe Eval

Defined in Language.Symantic.Lib.Maybe

Methods

_Nothing :: Eval (Maybe a)

_Just :: Eval a -> Eval (Maybe a)

maybe :: Eval b -> Eval (a -> b) -> Eval (Maybe a) -> Eval b

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

Defined in Language.Symantic.Lib.Maybe

Methods

_Nothing :: BetaT term (Maybe a)

_Just :: BetaT term a -> BetaT term (Maybe a)

maybe :: BetaT term b -> BetaT term (a -> b) -> BetaT term (Maybe a) -> BetaT term b

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

Defined in Language.Symantic.Lib.Maybe

Methods

_Nothing :: Dup r1 r2 (Maybe a)

_Just :: Dup r1 r2 a -> Dup r1 r2 (Maybe a)

maybe :: Dup r1 r2 b -> Dup r1 r2 (a -> b) -> Dup r1 r2 (Maybe a) -> Dup r1 r2 b

Types

tyMaybe :: Source src => LenInj vs => Type src vs a -> Type src vs (Maybe a)

Terms

teMaybe_Nothing :: TermDef Maybe '[Proxy a] (() #> Maybe a)

teMaybe_Just :: TermDef Maybe '[Proxy a] (() #> (a -> Maybe a))

teMaybe_maybe :: TermDef Maybe '[Proxy a, Proxy b] (() #> (b -> (a -> b) -> Maybe a -> b))

Orphan instances

ClassInstancesFor Maybe

Methods

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

TypeInstancesFor Maybe

Methods

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

NameTyOf Maybe

Methods

nameTyOf :: proxy Maybe -> Mod NameTy

isNameTyOp :: proxy Maybe -> Bool

FixityOf Maybe

Methods

fixityOf :: proxy Maybe -> Maybe Fixity

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

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g Maybe

Methods

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