ivory-0.1.0.8: Safe embedded C programming.

Safe HaskellNone
LanguageHaskell2010

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 #