Skip to content

Commit 2bc46f0

Browse files
committed
Temporary Cardano.Api.LedgerState Dijkstra update
Dijkstra genesis file needs to be parseable
1 parent 201b2a3 commit 2bc46f0

File tree

1 file changed

+9
-3
lines changed

1 file changed

+9
-3
lines changed

cardano-api/src/Cardano/Api/LedgerState.hs

Lines changed: 9 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -159,6 +159,7 @@ import Cardano.Ledger.BaseTypes qualified as Ledger
159159
import Cardano.Ledger.Binary (DecoderError)
160160
import Cardano.Ledger.Coin qualified as SL
161161
import Cardano.Ledger.Conway.Genesis (ConwayGenesis (..))
162+
import Cardano.Ledger.Dijkstra.Genesis
162163
import Cardano.Ledger.Keys qualified as SL
163164
import Cardano.Ledger.Shelley.API qualified as ShelleyAPI
164165
import Cardano.Ledger.Shelley.Core qualified as Core
@@ -1147,6 +1148,7 @@ instance FromJSON NodeConfig where
11471148
<*> parseAlonzoHardForkEpoch o
11481149
<*> parseBabbageHardForkEpoch o
11491150
<*> parseConwayHardForkEpoch o
1151+
<*> error "dijkstra"
11501152

11511153
parseShelleyHardForkEpoch :: Object -> Parser (Consensus.CardanoHardForkTrigger blk)
11521154
parseShelleyHardForkEpoch o =
@@ -1363,7 +1365,7 @@ encodeLedgerState (LedgerState hst@(HFC.HardForkLedgerState st) tbs) =
13631365
mconcat
13641366
[ CBOR.encodeListLen 2
13651367
, HFC.encodeTelescope
1366-
(byron :* shelley :* allegra :* mary :* alonzo :* babbage :* conway :* Nil)
1368+
(byron :* shelley :* allegra :* mary :* alonzo :* babbage :* conway :* dijkstra :* Nil)
13671369
st
13681370
, Ledger.valuesMKEncoder hst tbs
13691371
]
@@ -1375,13 +1377,15 @@ encodeLedgerState (LedgerState hst@(HFC.HardForkLedgerState st) tbs) =
13751377
alonzo = fn (K . Shelley.encodeShelleyLedgerState . unFlip)
13761378
babbage = fn (K . Shelley.encodeShelleyLedgerState . unFlip)
13771379
conway = fn (K . Shelley.encodeShelleyLedgerState . unFlip)
1380+
dijkstra = fn (K . Shelley.encodeShelleyLedgerState . unFlip)
13781381

13791382
decodeLedgerState :: forall s. CBOR.Decoder s LedgerState
13801383
decodeLedgerState = do
13811384
2 <- CBOR.decodeListLen
13821385
hst <-
13831386
HFC.HardForkLedgerState
1384-
<$> HFC.decodeTelescope (byron :* shelley :* allegra :* mary :* alonzo :* babbage :* conway :* Nil)
1387+
<$> HFC.decodeTelescope
1388+
(byron :* shelley :* allegra :* mary :* alonzo :* babbage :* conway :* dijkstra :* Nil)
13851389
tbs <- Ledger.valuesMKDecoder hst
13861390
pure (LedgerState hst tbs)
13871391
where
@@ -1392,6 +1396,7 @@ decodeLedgerState = do
13921396
alonzo = Comp $ Flip <$> Shelley.decodeShelleyLedgerState
13931397
babbage = Comp $ Flip <$> Shelley.decodeShelleyLedgerState
13941398
conway = Comp $ Flip <$> Shelley.decodeShelleyLedgerState
1399+
dijkstra = Comp $ Flip <$> Shelley.decodeShelleyLedgerState
13951400

13961401
type LedgerStateEvents = (LedgerState, [LedgerEvent])
13971402

@@ -1477,7 +1482,8 @@ readCardanoGenesisConfig mEra enc = do
14771482
ShelleyConfig shelleyGenesis shelleyGenesisHash <- readShelleyGenesisConfig enc
14781483
alonzoGenesis <- readAlonzoGenesisConfig mEra enc
14791484
conwayGenesis <- readConwayGenesisConfig enc
1480-
let transCfg = Ledger.mkLatestTransitionConfig shelleyGenesis alonzoGenesis conwayGenesis
1485+
let dijkstraGenesis = DijkstraGenesis $ error "dijkstra"
1486+
let transCfg = Ledger.mkLatestTransitionConfig shelleyGenesis alonzoGenesis conwayGenesis dijkstraGenesis
14811487
pure $ GenesisCardano enc byronGenesis shelleyGenesisHash transCfg
14821488

14831489
data GenesisConfigError

0 commit comments

Comments
 (0)