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
Eq EpochError Source # | |
Defined in Cardano.Chain.Epoch.Validation | |
Show EpochError Source # | |
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 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.