ouroboros-consensus-0.1.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Consensus.Util.Assert

Documentation

assertWithMsg :: HasCallStack => Either String () -> a -> a Source #

assertEqWithMsg :: (Eq b, Show b, HasCallStack) => (b, b) -> a -> a Source #