cardano-ledger-dijkstra-0.4.0.0: Cardano ledger with nested transactions
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Dijkstra.Era

Documentation

module Test.Cardano.Ledger.Conway.Era

class (ConwayEraTest era, DijkstraEraPParams era, DijkstraEraTxBody era, DijkstraEraScript era, DijkstraEraUTxO era, Inject (DijkstraContextError era) (ContextError era)) ⇒ DijkstraEraTest era Source #

Instances

Instances details
DijkstraEraTest DijkstraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Dijkstra.Era

Orphan instances

AllegraEraTest DijkstraEra Source # 
Instance details

AlonzoEraTest DijkstraEra Source # 
Instance details

BabbageEraTest DijkstraEra Source # 
Instance details

ConwayEraTest DijkstraEra Source # 
Instance details

EraTest DijkstraEra Source # 
Instance details

Associated Types

type EraRulesWithFailures DijkstraEra 
Instance details

Defined in Test.Cardano.Ledger.Dijkstra.Era

type EraRulesWithFailures DijkstraEra = '["BBODY", "CERT", "CERTS", "DELEG", "GOVCERT", "GOV", "LEDGER", "LEDGERS", "MEMPOOL", "POOL", "UTXO", "UTXOS", "UTXOW", "SUBCERT", "SUBCERTS", "SUBDELEG", "SUBGOVCERT", "SUBGOV", "SUBLEDGER", "SUBLEDGERS", "SUBPOOL", "SUBUTXO", "SUBUTXOW"]

Methods

zeroCostModels ∷ CostModels Source #

mkTestAccountState ∷ Maybe Ptr → CompactForm Coin → Maybe (KeyHash 'StakePool) → Maybe DRep → AccountState DijkstraEra Source #

accountsFromAccountsMap ∷ Map (Credential 'Staking) (AccountState DijkstraEra) → Accounts DijkstraEra Source #

mkEraFullPath ∷ FilePath → IO FilePath Source #

exampleTx ∷ Tx 'TopTx DijkstraEra Source #

examplePParams ∷ PParams DijkstraEra Source #

examplePParamsUpdate ∷ PParamsUpdate DijkstraEra Source #

MaryEraTest DijkstraEra Source # 
Instance details

ShelleyEraTest DijkstraEra Source # 
Instance details

DijkstraEraBlockHeader TestBlockHeader DijkstraEra Source # 
Instance details

Methods

prevNonceBlockHeaderL ∷ Lens' (Block TestBlockHeader DijkstraEra) Nonce Source #