ivory-0.1.0.0: 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