Feldspar.Core.Frontend.Error

Documentation

undef :: Syntax a => a

assertMsg :: Syntax a => String -> Data Bool -> a -> a

Assert that the condition holds or fail with message

assert :: Syntax a => Data Bool -> a -> a

Assert that the condition holds, the conditions string representation is used as the message

err :: Syntax a => String -> a