Ivory.Language.IBool

Documentation

newtype IBool

Constructors

IBool

Fields

getIBool :: Expr

Instances

IvoryExpr IBool

IvoryVar IBool

IvoryType IBool

IvoryOrd IBool

IvoryEq IBool

IvoryStore IBool

Ensures IBool

Requires IBool

IvoryInit IBool

SafeCast IBool IChar

SafeCast IBool Sint64

SafeCast IBool Sint32

SafeCast IBool Sint16

SafeCast IBool Sint8

SafeCast IBool Uint64

SafeCast IBool Uint32

SafeCast IBool Uint16

SafeCast IBool Uint8

SafeCast IBool IBool

SafeCast IBool IDouble

SafeCast IBool IFloat

IvoryZero (Stored * IBool)

ifte_ :: IBool -> Ivory eff a -> Ivory eff b -> Ivory eff ()

If-then-else.

(?) :: forall a. IvoryExpr a => IBool -> (a, a) -> a

Conditional expressions.

true :: IBool

false :: IBool

boolOp :: forall a. IvoryVar a => (Type -> ExpOp) -> a -> a -> IBool

class IvoryExpr a => IvoryEq a where

Methods

(==?) :: a -> a -> IBool

(/=?) :: a -> a -> IBool

Instances

IvoryEq Sint64

IvoryEq Sint32

IvoryEq Sint16

IvoryEq Sint8

IvoryEq Uint64

IvoryEq Uint32

IvoryEq Uint16

IvoryEq Uint8

IvoryEq IBool

IvoryEq IDouble

IvoryEq IFloat

SingI Nat n => IvoryEq (Ix n)

IvoryArea area => IvoryEq (Ptr s area)

class IvoryEq a => IvoryOrd a where

Methods

(>?) :: a -> a -> IBool

(>=?) :: a -> a -> IBool

(<?) :: a -> a -> IBool

(<=?) :: a -> a -> IBool

Instances

IvoryOrd Sint64

IvoryOrd Sint32

IvoryOrd Sint16

IvoryOrd Sint8

IvoryOrd Uint64

IvoryOrd Uint32

IvoryOrd Uint16

IvoryOrd Uint8

IvoryOrd IBool

IvoryOrd IDouble

IvoryOrd IFloat

SingI Nat n => IvoryOrd (Ix n)

iNot :: IBool -> IBool

(.&&) :: IBool -> IBool -> IBool

(.||) :: IBool -> IBool -> IBool