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