| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Util.NormalForm.Invariant
Contents
Description
NoThunks invariant.
Due to its expensive nature, this invariant is gated behind the
expensive-invariants flag from the ouroboros-consensus package.
Synopsis
- noThunksInvariant ∷ NoThunks a ⇒ a → Maybe String