Safe Haskell | None |
---|
- newtype IBool = IBool {}
- ifte_ :: IBool -> Ivory eff a -> Ivory eff b -> Ivory eff ()
- (?) :: forall a. 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
- class IvoryEq a => IvoryOrd a where
- iNot :: IBool -> IBool
- (.&&) :: IBool -> IBool -> IBool
- (.||) :: IBool -> IBool -> IBool