cardano-ledger-byron-1.0.2.0: The blockchain layer of Cardano during the Byron era
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Chain.Epoch.Validation

Synopsis

Documentation

validateEpochFile ∷ ∀ m. MonadIO m ⇒ Tracer m EpochErrorValidationModeConfigChainValidationStateFilePath → 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.

validateEpochFilesValidationModeConfigChainValidationState → [FilePath] → IO (Either EpochError ChainValidationState) Source #

Check that a list of epochs Blocks are valid.