Safe Haskell | None |
---|---|

Language | Haskell2010 |

## Synopsis

- newtype IBool = IBool {}
- 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
- class IvoryEq a => IvoryOrd a where
- iNot :: IBool -> IBool
- (.&&) :: IBool -> IBool -> IBool
- (.||) :: IBool -> IBool -> IBool

# Documentation

## Instances

class IvoryExpr a => IvoryEq a where Source #

## Instances

IvoryEq Sint64 Source # | |

IvoryEq Sint32 Source # | |

IvoryEq Sint16 Source # | |

IvoryEq Sint8 Source # | |

IvoryEq Uint64 Source # | |

IvoryEq Uint32 Source # | |

IvoryEq Uint16 Source # | |

IvoryEq Uint8 Source # | |

IvoryEq IBool Source # | |

IvoryEq IDouble Source # | |

IvoryEq IFloat Source # | |

ANat n => IvoryEq (Ix n) Source # | |

IvoryRep (BitRep n) => IvoryEq (Bits n) Source # | |

(KnownNullability n, KnownConstancy c, IvoryArea a) => IvoryEq (Pointer n c s a) Source # | |

class IvoryEq a => IvoryOrd a where Source #

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

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