Effects | |
1 (Type/Class) | Ivory.Language.Effects, Ivory.Language |
2 (Data Constructor) | Ivory.Language.Effects, Ivory.Language |
emit | Ivory.Language.Monad |
emitPostCond | Ivory.Language.Cond |
emitPreCond | Ivory.Language.Cond |
emits | Ivory.Language.Monad |
Ensure | |
1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
Ensures | Ivory.Language.Cond |
ensures | Ivory.Language.Cond, Ivory.Language |
ensures' | Ivory.Language.Cond |
ExpAbs | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpAdd | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpAddrOfGlobal | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpAnd | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpBitAnd | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpBitComplement | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpBitOr | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpBitShiftL | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpBitShiftR | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpBitXor | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpCeilF | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpCond | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpDiv | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpEq | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFAcos | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFAcosh | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFAsin | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFAsinh | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFAtan | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFAtanh | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFCos | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFCosh | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFExp | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFLog | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFLogBase | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFloorF | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFPow | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFromFloat | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFSin | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFSinh | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFSqrt | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFTan | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpFTanh | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpGt | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpIndex | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpIsInf | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpIsNan | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpLabel | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpLit | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpLt | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpMaxMin | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpMod | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpMul | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpNegate | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpNeq | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpNot | Ivory.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 |
ExpOr | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
Expr | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
exprBinop | Ivory.Language.Type |
ExpRecip | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpRoundF | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
exprUnary | Ivory.Language.Type |
ExpSafeCast | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpSignum | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpSub | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpSym | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpToFloat | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpToIx | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
ExpVar | Ivory.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 |
extern | Ivory.Language.Const, Ivory.Language |
externArgs | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
externProc | Ivory.Language.Proc, Ivory.Language |
externRetType | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
externSym | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
extractByte | Ivory.Language.Bits, Ivory.Language |