ivory-0.1.0.0: Safe embedded C programming.

Index - E

Effects 
1 (Type/Class)Ivory.Language.Effects, Ivory.Language
2 (Data Constructor)Ivory.Language.Effects, Ivory.Language
emitIvory.Language.Monad
emitPostCondIvory.Language.Cond
emitPreCondIvory.Language.Cond
emitsIvory.Language.Monad
Ensure 
1 (Type/Class)Ivory.Language.Syntax.AST, Ivory.Language.Syntax
2 (Data Constructor)Ivory.Language.Syntax.AST, Ivory.Language.Syntax
EnsuresIvory.Language.Cond
ensuresIvory.Language.Cond, Ivory.Language
ensures'Ivory.Language.Cond
ExpAbsIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpAddIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpAddrOfGlobalIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpAndIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpBitAndIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpBitComplementIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpBitOrIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpBitShiftLIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpBitShiftRIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpBitXorIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpCeilFIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpCondIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpDivIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpEqIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFAcosIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFAcoshIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFAsinIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFAsinhIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFAtanIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFAtanhIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFCosIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFCoshIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFExpIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFLogIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFLogBaseIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFloorFIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFPowIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFromFloatIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFSinIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFSinhIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFSqrtIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFTanIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpFTanhIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpGtIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpIndexIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpIsInfIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpIsNanIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpLabelIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpLitIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpLtIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpMaxMinIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpModIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpMulIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpNegateIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpNeqIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpNotIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpOp 
1 (Type/Class)Ivory.Language.Syntax.AST, Ivory.Language.Syntax
2 (Data Constructor)Ivory.Language.Syntax.AST, Ivory.Language.Syntax
ExpOrIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExprIvory.Language.Syntax.AST, Ivory.Language.Syntax
exprBinopIvory.Language.Type
ExpRecipIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpRoundFIvory.Language.Syntax.AST, Ivory.Language.Syntax
exprUnaryIvory.Language.Type
ExpSafeCastIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpSignumIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpSubIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpSymIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpToFloatIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpToIxIvory.Language.Syntax.AST, Ivory.Language.Syntax
ExpVarIvory.Language.Syntax.AST, Ivory.Language.Syntax
Extern 
1 (Type/Class)Ivory.Language.Syntax.AST, Ivory.Language.Syntax
2 (Data Constructor)Ivory.Language.Syntax.AST, Ivory.Language.Syntax
externIvory.Language.Const, Ivory.Language
externArgsIvory.Language.Syntax.AST, Ivory.Language.Syntax
externProcIvory.Language.Proc, Ivory.Language
externRetTypeIvory.Language.Syntax.AST, Ivory.Language.Syntax
externSymIvory.Language.Syntax.AST, Ivory.Language.Syntax
extractByteIvory.Language.Bits, Ivory.Language