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

Ouroboros.Consensus.Util.Assert

Documentation

assertEqWithMsg ∷ (Eq b, Show b, HasCallStack) ⇒ (b, b) → a → a Source #

assertWithMsg ∷ HasCallStack ⇒ Either String () → a → a Source #