Module

Type.Eval.Boolean

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

#And Source

data And :: TypeExpr -> TypeExpr -> TypeExpr

Instances

#Assert Source

data Assert :: Symbol -> Type -> TypeExpr

Instances

#Bool Source

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

Instances

#Eq Source

data Eq :: Type -> Type -> TypeExpr

Instances

#FalseExpr Source

#Not Source

data Not :: Type -> TypeExpr

Instances

#NotEq Source

data NotEq :: Type -> Type -> TypeExpr

Instances

#Or Source

data Or :: TypeExpr -> TypeExpr -> TypeExpr

Instances

#TrueExpr Source

#Xor Source

data Xor :: TypeExpr -> TypeExpr -> TypeExpr

Instances

#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

#False Source

data False :: Boolean

Instances

#BProxy Source

data BProxy (bool :: Boolean)

Value proxy for Boolean types

#Boolean Source

kind Boolean