Safe Haskell	None
Language	Haskell2010

Cardano.Chain.Epoch.Validation

Synopsis

data EpochError
- = EpochParseError ParseError
- | EpochChainValidationError ( Maybe EpochAndSlotCount ) ChainValidationError
- | Initial
validateEpochFile :: forall 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

Eq EpochError Source #
Instance details Defined in Cardano.Chain.Epoch.Validation Methods (==) :: EpochError -> EpochError -> Bool Source # (/=) :: EpochError -> EpochError -> Bool Source #
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 #

validateEpochFile :: forall m. MonadIO m => Tracer m EpochError -> ValidationMode -> Config -> ChainValidationState -> FilePath -> m ChainValidationState Source #

Check that a single epoch's Block s 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 Block s are valid.