ivory-0.1.0.9: Safe embedded C programming.

Safe HaskellNone
LanguageHaskell2010

Ivory.Language.IBool

Synopsis

Documentation

newtype IBool Source #

Constructors

IBool 

Fields

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 #