type ExtLedgerCfg_ = ExtLedgerCfg (HardForkBlock (CardanoEras StandardCrypto)) #

type ExtLedgerState_ = ExtLedgerState (HardForkBlock (CardanoEras StandardCrypto)) #

genesisExtLedgerState :: GenesisConfig -> ExtLedgerState_ #

genesisExtLedgerCfg :: GenesisConfig -> ExtLedgerCfg_ #

init_ :: NodeConfig -> IO (ExtLedgerCfg_, ExtLedgerState_) #

load :: NodeConfig -> FilePath -> IO (ExtLedgerCfg_, ExtLedgerState_) #

loadExtLedgerState :: CodecConfig (CardanoBlock StandardCrypto) -> FilePath -> IO (Either DeserialiseFailure (ByteString, ExtLedgerState_)) #

store :: FilePath -> SlotNoBhh -> ExtLedgerCfg_ -> ExtLedgerState_ -> IO FilePath #

writeExtLedgerState :: FilePath -> CodecConfig (CardanoBlock StandardCrypto) -> ExtLedgerState_ -> IO () #

applyBlock :: ExtLedgerCfg_ -> ExtLedgerState_ -> BlockInMode CardanoMode -> ExtLedgerState_ #

getGenesisConfig :: NodeConfig -> IO GenesisConfig #

getEpochNo :: ExtLedgerState_ -> Maybe EpochNo #

getEpochNonce :: ExtLedgerState_ -> Nonce #

getStakeMap :: ExtLedgerState_ -> Map PoolId Lovelace #