Modulecardano-ledger-core-1.21.0.0

Cardano.Ledger.Rules.ValidationMode

Synopsis

value(?!#) :: Bool -> PredicateFailure sts -> Rule sts ctx ()

value(?!#:) :: Either e () -> (e -> PredicateFailure sts) -> Rule sts ctx ()

valuefailBecauseS :: PredicateFailure sts -> Rule sts ctx ()

valuefailOnJustStatic

valuelblStatic :: Label

valuerunTest

valuerunTestOnSignal

classclass Inject t s where

Instances2Inject

Inject Coin DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Inject a aDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes

typetype Test failure = Validation (NonEmpty failure) ()