ivory-0.1.0.0: Safe embedded C programming.

Safe HaskellNone

Ivory.Language.Assert

Documentation

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