Module

Type.Eval.Boolean

Package: purescript-typelevel-eval
Repository: natefaubion/purescript-typelevel-eval

#And Source

data And :: TypeExpr -> TypeExpr -> TypeExpr

Instances

(Eval (App (Bool b FalseExpr) a') c) => Eval (And a b) c

#Assert Source

data Assert :: Symbol -> Type -> TypeExpr

Instances

Eval (Assert sym (BProxy True)) Unit
(Eval (Throw "Assert" (Text sym)) a) => Eval (Assert sym (BProxy False)) a
(EvalTypeError "Assert" "second argument" "BProxy" c) => Eval (Assert a b) c

#Bool Source

data Bool :: TypeExpr -> TypeExpr -> Type -> TypeExpr

Instances

(Eval a c) => Eval (Bool a b (BProxy True)) c
(Eval b c) => Eval (Bool a b (BProxy False)) c
(EvalTypeError "Bool" "third argument" "BProxy" c) => Eval (Bool a b c) d

#Eq Source

data Eq :: Type -> Type -> TypeExpr

Instances

Eval (Eq a a) (BProxy True)
Eval (Eq a b) (BProxy False)

#FalseExpr Source

type FalseExpr = Lift (BProxy False)

#Not Source

data Not :: Type -> TypeExpr

Instances

Eval (Not (BProxy True)) (BProxy False)
Eval (Not (BProxy False)) (BProxy True)
(EvalTypeError "Not" "first argument" "BProxy" c) => Eval (Not a) b

#NotEq Source

data NotEq :: Type -> Type -> TypeExpr

Instances

Eval (NotEq a a) (BProxy False)
Eval (NotEq a b) (BProxy True)

#Or Source

data Or :: TypeExpr -> TypeExpr -> TypeExpr

Instances

(Eval (App (Bool TrueExpr b) a) c) => Eval (Or a b) c

#TrueExpr Source

type TrueExpr = Lift (BProxy True)

#Xor Source

data Xor :: TypeExpr -> TypeExpr -> TypeExpr

Instances

(Eval (App (Bool (App Not b) b) a) c) => Eval (Xor a b) c

#type (&&) Source

Operator alias for Type.Eval.Boolean.And (right-associative / precedence 3)

#type (/=) Source

Operator alias for Type.Eval.Boolean.NotEq (non-associative / precedence 4)

#type (==) Source

Operator alias for Type.Eval.Boolean.Eq (non-associative / precedence 4)

#type (||) Source

Operator alias for Type.Eval.Boolean.Or (right-associative / precedence 2)

Re-exports from Type.Data.Boolean

#True Source

data True :: Boolean

Instances

IsBoolean True
And True rhs rhs
Or True rhs True
Not True False
Not False True
If True onTrue onFalse onTrue

#False Source

data False :: Boolean

Instances

IsBoolean False
And False rhs False
Or False rhs rhs
Not True False
Not False True
If False onTrue onFalse onFalse

#BProxy Source

data BProxy (bool :: Boolean)

Value proxy for Boolean types

#Boolean Source

data Boolean :: Type

Modules: Type.Eval; Type.Eval.Boolean; Type.Eval.Foldable; Type.Eval.Function; Type.Eval.Functor; Type.Eval.Row; Type.Eval.RowList; Type.Eval.Tuple