Safe Haskell	None
Language	Haskell2010

Ivory.Language.IBool

Synopsis

Documentation

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

If-then-else.

(?) :: IvoryExpr a => IBool -> (a, a) -> a Source

Conditional expressions.

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

Minimal complete definition

Nothing

Methods

(==?) :: a -> a -> IBool infix 4 Source

(/=?) :: a -> a -> IBool infix 4 Source

Instances

IvoryEq Sint64 Source
IvoryEq Sint32 Source
IvoryEq Sint16 Source
IvoryEq Sint8 Source
IvoryEq Uint64 Source
IvoryEq Uint32 Source
IvoryEq Uint16 Source
IvoryEq Uint8 Source
IvoryEq IBool Source
IvoryEq IDouble Source
IvoryEq IFloat Source
ANat n => IvoryEq (Ix n) Source
IvoryRep (BitRep n) => IvoryEq (Bits n) Source
IvoryArea area => IvoryEq (Ptr s area) Source

Minimal complete definition

Nothing

Methods

(>?) :: a -> a -> IBool infix 4 Source

(>=?) :: a -> a -> IBool infix 4 Source

(<?) :: a -> a -> IBool infix 4 Source

(<=?) :: a -> a -> IBool infix 4 Source

IvoryExpr IBool Source
IvoryVar IBool Source
IvoryType IBool Source
IvoryOrd IBool Source
IvoryEq IBool Source
IvoryStore IBool Source
Ensures IBool Source
Requires IBool Source
CheckStored IBool Source
IvoryZeroVal IBool Source
IvoryInit IBool Source
SafeCast IBool Sint64 Source
SafeCast IBool Sint32 Source
SafeCast IBool Sint16 Source
SafeCast IBool Sint8 Source
SafeCast IBool Uint64 Source
SafeCast IBool Uint32 Source
SafeCast IBool Uint16 Source
SafeCast IBool Uint8 Source
SafeCast IBool IChar Source
SafeCast IBool IBool Source
SafeCast IBool IDouble Source
SafeCast IBool IFloat Source

IBool
Fields getIBool :: Expr