ivory-0.1.0.3: Safe embedded C programming.
Ivory.Language.Assert
assert :: forall a eff. IvoryExpr a => a -> Ivory eff () Source
compilerAssert :: forall a eff. IvoryExpr a => a -> Ivory eff () Source
assume :: forall a eff. IvoryExpr a => a -> Ivory eff () Source