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

Safe Haskell	None
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 #