Merge pull request #806 from IntersectMBO/newhoggy/new-era-instances

New eon constraints

Author: newhoggy

cardano-api/src/Cardano/Api/Internal/Eon/AllegraEraOnwards.hs

@@ -98,6 +98,7 @@ type AllegraEraOnwardsConstraints era =
   , FromCBOR (DebugLedgerState era)
   , IsCardanoEra era
   , IsShelleyBasedEra era
+  , ToJSON (Consensus.ChainDepState (ConsensusProtocol era))
   , ToJSON (DebugLedgerState era)
   , Typeable era
   )

cardano-api/src/Cardano/Api/Internal/Eon/AlonzoEraOnwards.hs

@@ -112,6 +112,7 @@ type AlonzoEraOnwardsConstraints era =
   , FromCBOR (DebugLedgerState era)
   , IsCardanoEra era
   , IsShelleyBasedEra era
+  , ToJSON (Consensus.ChainDepState (ConsensusProtocol era))
   , ToJSON (DebugLedgerState era)
   , Typeable era
   )

cardano-api/src/Cardano/Api/Internal/Eon/BabbageEraOnwards.hs

@@ -116,6 +116,7 @@ type BabbageEraOnwardsConstraints era =
   , FromCBOR (DebugLedgerState era)
   , IsCardanoEra era
   , IsShelleyBasedEra era
+  , ToJSON (Consensus.ChainDepState (ConsensusProtocol era))
   , ToJSON (DebugLedgerState era)
   , Typeable era
   )

cardano-api/src/Cardano/Api/Internal/Eon/ConwayEraOnwards.hs

@@ -119,6 +119,7 @@ type ConwayEraOnwardsConstraints era =
   , FromCBOR (DebugLedgerState era)
   , IsCardanoEra era
   , IsShelleyBasedEra era
+  , ToJSON (Consensus.ChainDepState (ConsensusProtocol era))
   , ToJSON (DebugLedgerState era)
   , Typeable era
   )

cardano-api/src/Cardano/Api/Internal/Eon/MaryEraOnwards.hs

@@ -100,6 +100,7 @@ type MaryEraOnwardsConstraints era =
   , FromCBOR (DebugLedgerState era)
   , IsCardanoEra era
   , IsShelleyBasedEra era
+  , ToJSON (Consensus.ChainDepState (ConsensusProtocol era))
   , ToJSON (DebugLedgerState era)
   , Typeable era
   )

cardano-api/src/Cardano/Api/Internal/Eon/ShelleyBasedEra.hs

@@ -211,6 +211,9 @@ type ShelleyBasedEraConstraints era =
   , Consensus.PraosProtocolSupportsNode (ConsensusProtocol era)
   , Consensus.ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era
   , Consensus.ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era)
+  , FromCBOR (Consensus.ChainDepState (ConsensusProtocol era))
+  , IsCardanoEra era
+  , IsShelleyBasedEra era
   , L.ADDRHASH ~ Blake2b.Blake2b_224
   , L.Era (ShelleyLedgerEra era)
   , L.EraPParams (ShelleyLedgerEra era)
@@ -224,6 +227,7 @@ type ShelleyBasedEraConstraints era =
   , FromCBOR (Consensus.ChainDepState (ConsensusProtocol era))
   , IsCardanoEra era
   , IsShelleyBasedEra era
+  , ToJSON (Consensus.ChainDepState (ConsensusProtocol era))
   , ToJSON (L.PredicateFailure (L.EraRule "LEDGER" (ShelleyLedgerEra era)))
   , Typeable era
   )

cardano-api/src/Cardano/Api/Internal/Eon/ShelleyEraOnly.hs

@@ -94,6 +94,7 @@ type ShelleyEraOnlyConstraints era =
   , FromCBOR (DebugLedgerState era)
   , IsCardanoEra era
   , IsShelleyBasedEra era
+  , ToJSON (Consensus.ChainDepState (ConsensusProtocol era))
   , ToJSON (DebugLedgerState era)
   , Typeable era
   )

cardano-api/src/Cardano/Api/Internal/Eon/ShelleyToAllegraEra.hs

@@ -97,6 +97,7 @@ type ShelleyToAllegraEraConstraints era =
   , FromCBOR (DebugLedgerState era)
   , IsCardanoEra era
   , IsShelleyBasedEra era
+  , ToJSON (Consensus.ChainDepState (ConsensusProtocol era))
   , ToJSON (DebugLedgerState era)
   , Typeable era
   )

cardano-api/src/Cardano/Api/Internal/Eon/ShelleyToAlonzoEra.hs

@@ -98,6 +98,7 @@ type ShelleyToAlonzoEraConstraints era =
   , FromCBOR (DebugLedgerState era)
   , IsCardanoEra era
   , IsShelleyBasedEra era
+  , ToJSON (Consensus.ChainDepState (ConsensusProtocol era))
   , ToJSON (DebugLedgerState era)
   , Typeable era
   )

cardano-api/src/Cardano/Api/Internal/Eon/ShelleyToBabbageEra.hs

@@ -102,6 +102,7 @@ type ShelleyToBabbageEraConstraints era =
   , FromCBOR (DebugLedgerState era)
   , IsCardanoEra era
   , IsShelleyBasedEra era
+  , ToJSON (Consensus.ChainDepState (ConsensusProtocol era))
   , ToJSON (DebugLedgerState era)
   , Typeable era
   )