Language.Symantic.Lib.Bool

Symantic for Bool.

Class Sym_Bool

class Sym_Bool term where

Methods

bool :: Bool -> term Bool

not :: term Bool -> term Bool

(&&) :: term Bool -> term Bool -> term Bool infixr 3

(||) :: term Bool -> term Bool -> term Bool infixr 2

xor :: term Bool -> term Bool -> term Bool infixr 2

bool :: Sym_Bool (UnT term) => Trans term => Bool -> term Bool

not :: Sym_Bool (UnT term) => Trans term => term Bool -> term Bool

(&&) :: Sym_Bool (UnT term) => Trans term => term Bool -> term Bool -> term Bool infixr 3

(||) :: Sym_Bool (UnT term) => Trans term => term Bool -> term Bool -> term Bool infixr 2

Instances

Sym_Bool View

Methods

bool :: Bool -> View Bool

not :: View Bool -> View Bool

(&&) :: View Bool -> View Bool -> View Bool

(||) :: View Bool -> View Bool -> View Bool

xor :: View Bool -> View Bool -> View Bool

Sym_Bool Eval

Methods

bool :: Bool -> Eval Bool

not :: Eval Bool -> Eval Bool

(&&) :: Eval Bool -> Eval Bool -> Eval Bool

(||) :: Eval Bool -> Eval Bool -> Eval Bool

xor :: Eval Bool -> Eval Bool -> Eval Bool

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

Methods

bool :: Bool -> BetaT term Bool

not :: BetaT term Bool -> BetaT term Bool

(&&) :: BetaT term Bool -> BetaT term Bool -> BetaT term Bool

(||) :: BetaT term Bool -> BetaT term Bool -> BetaT term Bool

xor :: BetaT term Bool -> BetaT term Bool -> BetaT term Bool

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

Methods

bool :: Bool -> Dup r1 r2 Bool

not :: Dup r1 r2 Bool -> Dup r1 r2 Bool

(&&) :: Dup r1 r2 Bool -> Dup r1 r2 Bool -> Dup r1 r2 Bool

(||) :: Dup r1 r2 Bool -> Dup r1 r2 Bool -> Dup r1 r2 Bool

xor :: Dup r1 r2 Bool -> Dup r1 r2 Bool -> Dup r1 r2 Bool

Types

tyBool :: Source src => LenInj vs => Type src vs Bool

Terms

teBool :: Source src => SymInj ss Bool => Bool -> Term src ss ts '[] (() #> Bool)

teBool_not :: TermDef Bool '[] (() #> (Bool -> Bool))

teBool_and :: TermDef Bool '[] (() #> (Bool -> Bool -> Bool))

teBool_or :: TermDef Bool '[] (() #> (Bool -> Bool -> Bool))

teBool_xor :: TermDef Bool '[] (() #> (Bool -> Bool -> Bool))

Orphan instances

ClassInstancesFor * Bool

Methods

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

TypeInstancesFor * Bool

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 * Bool

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

(Source src, SymInj * ss Bool) => ModuleFor * src ss Bool

Methods

moduleFor :: (PathMod, Module ss Bool)

Gram_Term_AtomsFor * src ss g Bool

Methods

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