More shelleyBasedEraConstraint constraints

IntersectMBO · Jul 27, 2023 · 3d1a360 · 3d1a360
1 parent 84a690d
commit 3d1a360
Show file tree

Hide file tree

Showing 2 changed files with 76 additions and 1 deletion.
diff --git a/cardano-api/internal/Cardano/Api/Eras/Constraints.hs b/cardano-api/internal/Cardano/Api/Eras/Constraints.hs
@@ -68,6 +68,7 @@ type ShelleyBasedEraConstraints era ledgerera =
   , FromCBOR (Consensus.ChainDepState (ConsensusProtocol era))
   , FromCBOR (DebugLedgerState era)
   , IsShelleyBasedEra era
+  , ToJSON (Consensus.ChainDepState (ConsensusProtocol era))
   , ToJSON (DebugLedgerState era)
   , Typeable era
   )

diff --git a/cardano-api/internal/Cardano/Api/Orphans.hs b/cardano-api/internal/Cardano/Api/Orphans.hs
@@ -1,20 +1,46 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE DeriveAnyClass #-}
 {-# LANGUAGE DeriveDataTypeable #-}
+{-# LANGUAGE DerivingStrategies #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE NamedFieldPuns #-}
+{-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE UndecidableInstances #-}
 
 {-# OPTIONS_GHC -Wno-orphans #-}
 
 module Cardano.Api.Orphans () where
 
 import           Cardano.Binary (DecoderError (..))
+import qualified Cardano.Ledger.Crypto as CC (Crypto)
 import qualified Cardano.Ledger.Crypto as Crypto
+import qualified Cardano.Protocol.TPraos.API as Ledger
+import           Cardano.Protocol.TPraos.BHeader (HashHeader (..))
+import qualified Cardano.Protocol.TPraos.Rules.Prtcl as Ledger
+import qualified Cardano.Protocol.TPraos.Rules.Tickn as Ledger
+import           Ouroboros.Consensus.Byron.Ledger.Block (ByronHash (..))
+import           Ouroboros.Consensus.HardFork.Combinator (OneEraHash (..))
+import           Ouroboros.Consensus.Protocol.Praos (PraosState)
+import qualified Ouroboros.Consensus.Protocol.Praos as Consensus
+import           Ouroboros.Consensus.Protocol.TPraos (TPraosState)
+import qualified Ouroboros.Consensus.Protocol.TPraos as Consensus
+import           Ouroboros.Consensus.Shelley.Eras (StandardCrypto)
+import           Ouroboros.Consensus.Shelley.Ledger.Block (ShelleyHash (..))
 import qualified Ouroboros.Consensus.Shelley.Ledger.Query as Consensus
+import           Ouroboros.Network.Block (HeaderHash, Tip (..))
 
 import qualified Codec.Binary.Bech32 as Bech32
 import qualified Codec.CBOR.Read as CBOR
-import           Data.Aeson (ToJSON (..), object, pairs, (.=))
+import           Data.Aeson (KeyValue ((.=)), ToJSON (..), object, pairs, (.=))
 import qualified Data.Aeson as Aeson
+import qualified Data.ByteString.Base16 as Base16
+import qualified Data.ByteString.Short as SBS
 import           Data.Data (Data)
+import qualified Data.Text.Encoding as Text
 
 deriving instance Data DecoderError
 deriving instance Data CBOR.DeserialiseFailure
@@ -57,3 +83,51 @@ stakeSnapshotToPair Consensus.StakeSnapshot
     , "stakeSet" .= ssSetPool
     , "stakeGo" .= ssGoPool
     ]
+
+instance ToJSON (OneEraHash xs) where
+  toJSON = toJSON
+         . Text.decodeLatin1
+         . Base16.encode
+         . SBS.fromShort
+         . getOneEraHash
+
+deriving newtype instance ToJSON ByronHash
+
+-- This instance is temporarily duplicated in cardano-config
+
+instance ToJSON (HeaderHash blk) => ToJSON (Tip blk) where
+  toJSON TipGenesis = Aeson.object [ "genesis" .= True ]
+  toJSON (Tip slotNo headerHash blockNo) =
+    Aeson.object
+      [ "slotNo"     .= slotNo
+      , "headerHash" .= headerHash
+      , "blockNo"    .= blockNo
+      ]
+
+--
+-- Simple newtype wrappers JSON conversion
+--
+
+deriving newtype instance CC.Crypto crypto => ToJSON (ShelleyHash crypto)
+deriving newtype instance CC.Crypto crypto => ToJSON (HashHeader crypto)
+
+deriving instance ToJSON (Ledger.PrtclState StandardCrypto)
+deriving instance ToJSON Ledger.TicknState
+deriving instance ToJSON (Ledger.ChainDepState StandardCrypto)
+
+instance ToJSON (TPraosState StandardCrypto) where
+  toJSON s = Aeson.object
+    [ "lastSlot" .= Consensus.tpraosStateLastSlot s
+    , "chainDepState" .= Consensus.tpraosStateChainDepState s
+    ]
+
+instance ToJSON (PraosState StandardCrypto) where
+  toJSON s = Aeson.object
+    [ "lastSlot" .= Consensus.praosStateLastSlot s
+    , "oCertCounters" .= Consensus.praosStateOCertCounters s
+    , "evolvingNonce" .= Consensus.praosStateEvolvingNonce s
+    , "candidateNonce" .= Consensus.praosStateCandidateNonce s
+    , "epochNonce" .= Consensus.praosStateEpochNonce s
+    , "labNonce" .= Consensus.praosStateLabNonce s
+    , "lastEpochBlockNonce" .= Consensus.praosStateLastEpochBlockNonce s
+    ]