Safe Haskell	None
Language	Haskell2010

Cardano.Chain.Epoch.Validation

Synopsis

data EpochError
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 # (/=) :: EpochError -> EpochError -> Bool #
Show EpochError Source #
Instance details Defined in Cardano.Chain.Epoch.Validation Methods showsPrec :: Int -> EpochError -> ShowS # show :: EpochError -> String # showList :: [EpochError] -> ShowS #

validateEpochFile :: forall 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.