Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Epoch.Validation

Synopsis

data EpochError
validateEpochFile ∷ ∀ m. MonadIO m ⇒ Tracer m EpochError → ValidationMode → Config → ChainValidationState → FilePath → m ChainValidationState
validateEpochFiles ∷ ValidationMode → Config → ChainValidationState → [FilePath] → IO (Either EpochError ChainValidationState)

Documentation

data EpochError Source #

Constructors

EpochParseError ParseError
EpochChainValidationError (Maybe EpochAndSlotCount) ChainValidationError
Initial

Instances

Instances details

Show EpochError Source #
Instance details Defined in Cardano.Chain.Epoch.Validation Methods showsPrec ∷ Int → EpochError → ShowS Source # show ∷ EpochError → String Source # showList ∷ [EpochError] → ShowS Source #
Eq EpochError Source #
Instance details Defined in Cardano.Chain.Epoch.Validation Methods (==) ∷ EpochError → EpochError → Bool Source # (/=) ∷ EpochError → EpochError → Bool Source #

validateEpochFile ∷ ∀ m. MonadIO m ⇒ Tracer m EpochError → ValidationMode → Config → ChainValidationState → FilePath → m ChainValidationState Source #

Check that a single epoch's Blocks are valid by folding over them TODO(KS): We should use contra-tracer here! tracing is orthogonal to throwing errors; it does not change the program flow.

validateEpochFiles ∷ ValidationMode → Config → ChainValidationState → [FilePath] → IO (Either EpochError ChainValidationState) Source #

Check that a list of epochs Blocks are valid.