cardano-ledger-byron-1.0.1.0: The blockchain layer of Cardano during the Byron era

Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.ValidationMode

Synopsis

data ValidationMode = ValidationMode {
- blockValidationMode ∷ !BlockValidationMode
- txValidationMode ∷ !TxValidationMode
}
fromBlockValidationMode ∷ BlockValidationMode → ValidationMode
orThrowErrorInBlockValidationMode ∷ (MonadError e m, MonadReader ValidationMode m) ⇒ Bool → e → m ()
askBlockValidationMode ∷ MonadReader ValidationMode m ⇒ m BlockValidationMode
askTxValidationMode ∷ MonadReader ValidationMode m ⇒ m TxValidationMode
whenBlockValidation ∷ (MonadError err m, MonadReader ValidationMode m) ⇒ m () → m ()
whenTxValidation ∷ (MonadError err m, MonadReader ValidationMode m) ⇒ m () → m ()
unlessNoTxValidation ∷ (MonadError err m, MonadReader ValidationMode m) ⇒ m () → m ()
wrapErrorWithValidationMode ∷ (MonadError e' m, MonadReader ValidationMode m) ⇒ ReaderT ValidationMode (Either e) a → (e → e') → m a

Documentation

data ValidationMode Source #

Constructors

ValidationMode
Fields blockValidationMode ∷ !BlockValidationMode txValidationMode ∷ !TxValidationMode

Instances

Instances details

Show ValidationMode Source #
Instance details Defined in Cardano.Chain.ValidationMode Methods showsPrec ∷ Int → ValidationMode → ShowS Source # show ∷ ValidationMode → String Source # showList ∷ [ValidationMode] → ShowS Source #

fromBlockValidationMode ∷ BlockValidationMode → ValidationMode Source #

Helper function which accepts a BlockValidationMode, constructs a sensible TxValidationMode based on that, and constructs a ValidationMode

orThrowErrorInBlockValidationMode ∷ (MonadError e m, MonadReader ValidationMode m) ⇒ Bool → e → m () infix 1 Source #

askBlockValidationMode ∷ MonadReader ValidationMode m ⇒ m BlockValidationMode Source #

askTxValidationMode ∷ MonadReader ValidationMode m ⇒ m TxValidationMode Source #

whenBlockValidation ∷ (MonadError err m, MonadReader ValidationMode m) ⇒ m () → m () Source #

Perform an action only when in the BlockValidation mode. Otherwise, do nothing.

whenTxValidation ∷ (MonadError err m, MonadReader ValidationMode m) ⇒ m () → m () Source #

Perform an action only when in the TxValidation mode. Otherwise, do nothing.

unlessNoTxValidation ∷ (MonadError err m, MonadReader ValidationMode m) ⇒ m () → m () Source #

Perform an action unless in the NoTxValidation mode.

wrapErrorWithValidationMode ∷ (MonadError e' m, MonadReader ValidationMode m) ⇒ ReaderT ValidationMode (Either e) a → (e → e') → m a infix 1 Source #