Safe Haskell	None
Language	Haskell2010

Ivory.Language.IBool

Synopsis

newtype IBool = IBool {
- getIBool :: Expr
}
ifte_ :: IBool -> Ivory eff a -> Ivory eff b -> Ivory eff ()
(?) :: IvoryExpr a => IBool -> (a, a) -> a
true :: IBool
false :: IBool
boolOp :: forall a. IvoryVar a => (Type -> ExpOp) -> a -> a -> IBool
class IvoryExpr a => IvoryEq a where
- (==?) :: a -> a -> IBool
- (/=?) :: a -> a -> IBool
class IvoryEq a => IvoryOrd a where
- (>?) :: a -> a -> IBool
- (>=?) :: a -> a -> IBool
- (<?) :: a -> a -> IBool
- (<=?) :: a -> a -> IBool
iNot :: IBool -> IBool
(.&&) :: IBool -> IBool -> IBool
(.||) :: IBool -> IBool -> IBool

Documentation

newtype IBool Source #

Constructors

IBool
Fields getIBool :: Expr

Instances

IvoryExpr IBool Source #
Instance details Defined in Ivory.Language.IBool Methods wrapExpr :: Expr -> IBool Source #
IvoryVar IBool Source #
Instance details Defined in Ivory.Language.IBool Methods wrapVar :: Var -> IBool Source # unwrapExpr :: IBool -> Expr Source #
IvoryType IBool Source #
Instance details Defined in Ivory.Language.IBool Methods ivoryType :: Proxy IBool -> Type Source #
IvoryOrd IBool Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: IBool -> IBool -> IBool Source # (>=?) :: IBool -> IBool -> IBool Source # (<?) :: IBool -> IBool -> IBool Source # (<=?) :: IBool -> IBool -> IBool Source #
IvoryEq IBool Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: IBool -> IBool -> IBool Source # (/=?) :: IBool -> IBool -> IBool Source #
IvoryStore IBool Source #
Instance details Defined in Ivory.Language.Ref
Ensures IBool Source #
Instance details Defined in Ivory.Language.Cond Methods ensures :: (WrapIvory m, IvoryVar r) => (r -> IBool) -> m r -> m r Source # ensures_ :: WrapIvory m => IBool -> m () -> m () Source #
Requires IBool Source #
Instance details Defined in Ivory.Language.Cond Methods requires :: (WrapIvory m, IvoryType r) => IBool -> m r -> m r Source #
CheckStored IBool Source #
Instance details Defined in Ivory.Language.Cond Methods checkStored :: (IvoryVar a, IvoryRef ref, IvoryVar (ref s (Stored a))) => ref s (Stored a) -> (a -> IBool) -> Cond Source #
IvoryZeroVal IBool Source #
Instance details Defined in Ivory.Language.Init Methods izeroval :: Init (Stored IBool) Source #
IvoryInit IBool Source #
Instance details Defined in Ivory.Language.Init Methods ival :: IBool -> Init (Stored IBool) Source #
SafeCast IBool IChar Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> IChar Source #
SafeCast IBool Sint64 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> Sint64 Source #
SafeCast IBool Sint32 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> Sint32 Source #
SafeCast IBool Sint16 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> Sint16 Source #
SafeCast IBool Sint8 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> Sint8 Source #
SafeCast IBool Uint64 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> Uint64 Source #
SafeCast IBool Uint32 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> Uint32 Source #
SafeCast IBool Uint16 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> Uint16 Source #
SafeCast IBool Uint8 Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> Uint8 Source #
SafeCast IBool IBool Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> IBool Source #
SafeCast IBool IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> IDouble Source #
SafeCast IBool IFloat Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> IFloat Source #

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

If-then-else.

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

Conditional expressions.

true :: IBool Source #

false :: IBool Source #

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

class IvoryExpr a => IvoryEq a where Source #

Minimal complete definition

Nothing

Methods

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

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

Instances

IvoryEq Sint64 Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: Sint64 -> Sint64 -> IBool Source # (/=?) :: Sint64 -> Sint64 -> IBool Source #
IvoryEq Sint32 Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: Sint32 -> Sint32 -> IBool Source # (/=?) :: Sint32 -> Sint32 -> IBool Source #
IvoryEq Sint16 Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: Sint16 -> Sint16 -> IBool Source # (/=?) :: Sint16 -> Sint16 -> IBool Source #
IvoryEq Sint8 Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: Sint8 -> Sint8 -> IBool Source # (/=?) :: Sint8 -> Sint8 -> IBool Source #
IvoryEq Uint64 Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: Uint64 -> Uint64 -> IBool Source # (/=?) :: Uint64 -> Uint64 -> IBool Source #
IvoryEq Uint32 Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: Uint32 -> Uint32 -> IBool Source # (/=?) :: Uint32 -> Uint32 -> IBool Source #
IvoryEq Uint16 Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: Uint16 -> Uint16 -> IBool Source # (/=?) :: Uint16 -> Uint16 -> IBool Source #
IvoryEq Uint8 Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: Uint8 -> Uint8 -> IBool Source # (/=?) :: Uint8 -> Uint8 -> IBool Source #
IvoryEq IBool Source #
Instance details Defined in Ivory.Language.IBool Methods (==?) :: IBool -> IBool -> IBool Source # (/=?) :: IBool -> IBool -> IBool Source #
IvoryEq IDouble Source #
Instance details Defined in Ivory.Language.Float Methods (==?) :: IDouble -> IDouble -> IBool Source # (/=?) :: IDouble -> IDouble -> IBool Source #
IvoryEq IFloat Source #
Instance details Defined in Ivory.Language.Float Methods (==?) :: IFloat -> IFloat -> IBool Source # (/=?) :: IFloat -> IFloat -> IBool Source #
ANat n => IvoryEq (Ix n) Source #
Instance details Defined in Ivory.Language.Array Methods (==?) :: Ix n -> Ix n -> IBool Source # (/=?) :: Ix n -> Ix n -> IBool Source #
IvoryRep (BitRep n) => IvoryEq (Bits n) Source #
Instance details Defined in Ivory.Language.BitData.Bits Methods (==?) :: Bits n -> Bits n -> IBool Source # (/=?) :: Bits n -> Bits n -> IBool Source #
(KnownNullability n, KnownConstancy c, IvoryArea a) => IvoryEq (Pointer n c s a) Source #
Instance details Defined in Ivory.Language.Pointer Methods (==?) :: Pointer n c s a -> Pointer n c s a -> IBool Source # (/=?) :: Pointer n c s a -> Pointer n c s a -> IBool Source #

class IvoryEq a => IvoryOrd a where 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 #

Instances

IvoryOrd Sint64 Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: Sint64 -> Sint64 -> IBool Source # (>=?) :: Sint64 -> Sint64 -> IBool Source # (<?) :: Sint64 -> Sint64 -> IBool Source # (<=?) :: Sint64 -> Sint64 -> IBool Source #
IvoryOrd Sint32 Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: Sint32 -> Sint32 -> IBool Source # (>=?) :: Sint32 -> Sint32 -> IBool Source # (<?) :: Sint32 -> Sint32 -> IBool Source # (<=?) :: Sint32 -> Sint32 -> IBool Source #
IvoryOrd Sint16 Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: Sint16 -> Sint16 -> IBool Source # (>=?) :: Sint16 -> Sint16 -> IBool Source # (<?) :: Sint16 -> Sint16 -> IBool Source # (<=?) :: Sint16 -> Sint16 -> IBool Source #
IvoryOrd Sint8 Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: Sint8 -> Sint8 -> IBool Source # (>=?) :: Sint8 -> Sint8 -> IBool Source # (<?) :: Sint8 -> Sint8 -> IBool Source # (<=?) :: Sint8 -> Sint8 -> IBool Source #
IvoryOrd Uint64 Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: Uint64 -> Uint64 -> IBool Source # (>=?) :: Uint64 -> Uint64 -> IBool Source # (<?) :: Uint64 -> Uint64 -> IBool Source # (<=?) :: Uint64 -> Uint64 -> IBool Source #
IvoryOrd Uint32 Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: Uint32 -> Uint32 -> IBool Source # (>=?) :: Uint32 -> Uint32 -> IBool Source # (<?) :: Uint32 -> Uint32 -> IBool Source # (<=?) :: Uint32 -> Uint32 -> IBool Source #
IvoryOrd Uint16 Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: Uint16 -> Uint16 -> IBool Source # (>=?) :: Uint16 -> Uint16 -> IBool Source # (<?) :: Uint16 -> Uint16 -> IBool Source # (<=?) :: Uint16 -> Uint16 -> IBool Source #
IvoryOrd Uint8 Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: Uint8 -> Uint8 -> IBool Source # (>=?) :: Uint8 -> Uint8 -> IBool Source # (<?) :: Uint8 -> Uint8 -> IBool Source # (<=?) :: Uint8 -> Uint8 -> IBool Source #
IvoryOrd IBool Source #
Instance details Defined in Ivory.Language.IBool Methods (>?) :: IBool -> IBool -> IBool Source # (>=?) :: IBool -> IBool -> IBool Source # (<?) :: IBool -> IBool -> IBool Source # (<=?) :: IBool -> IBool -> IBool Source #
IvoryOrd IDouble Source #
Instance details Defined in Ivory.Language.Float Methods (>?) :: IDouble -> IDouble -> IBool Source # (>=?) :: IDouble -> IDouble -> IBool Source # (<?) :: IDouble -> IDouble -> IBool Source # (<=?) :: IDouble -> IDouble -> IBool Source #
IvoryOrd IFloat Source #
Instance details Defined in Ivory.Language.Float Methods (>?) :: IFloat -> IFloat -> IBool Source # (>=?) :: IFloat -> IFloat -> IBool Source # (<?) :: IFloat -> IFloat -> IBool Source # (<=?) :: IFloat -> IFloat -> IBool Source #
ANat n => IvoryOrd (Ix n) Source #
Instance details Defined in Ivory.Language.Array Methods (>?) :: Ix n -> Ix n -> IBool Source # (>=?) :: Ix n -> Ix n -> IBool Source # (<?) :: Ix n -> Ix n -> IBool Source # (<=?) :: Ix n -> Ix n -> IBool Source #

iNot :: IBool -> IBool Source #

(.&&) :: IBool -> IBool -> IBool infixr 3 Source #

(.||) :: IBool -> IBool -> IBool infixr 2 Source #