{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE TypeApplications #-}

module Ouroboros.Consensus.Shelley.Ledger.Query.LegacyPParams
  ( LegacyPParams (..)
  , decodeLegacyPParams
  , encodeLegacyPParams
  ) where

import Cardano.Ledger.Allegra
import Cardano.Ledger.Alonzo
import Cardano.Ledger.Alonzo.PParams
import Cardano.Ledger.Babbage
import Cardano.Ledger.Babbage.PParams
import Cardano.Ledger.BaseTypes
import Cardano.Ledger.Binary
import Cardano.Ledger.Binary.Coders
import qualified Cardano.Ledger.Binary.Plain as Plain
import Cardano.Ledger.Conway
import Cardano.Ledger.Core
import Cardano.Ledger.Dijkstra
import Cardano.Ledger.Mary
import Cardano.Ledger.Shelley
import Cardano.Ledger.Shelley.PParams
import Data.Functor.Identity

-- | After node 10.5, Ledger started encoding the protocol version in a TList
-- instead of as two contiguous terms. These codecs respect the old version.
--
-- This can be deleted once we cross a hard fork.
newtype LegacyPParams era = LegacyPParams
  { forall era. LegacyPParams era -> PParams era
unLegacyPParams :: PParams era
  }

encodeLegacyPParams :: ToCBOR (LegacyPParams era) => PParams era -> Plain.Encoding
encodeLegacyPParams :: forall era. ToCBOR (LegacyPParams era) => PParams era -> Encoding
encodeLegacyPParams PParams era
pp = LegacyPParams era -> Encoding
forall a. ToCBOR a => a -> Encoding
toCBOR (PParams era -> LegacyPParams era
forall era. PParams era -> LegacyPParams era
LegacyPParams PParams era
pp)

decodeLegacyPParams :: FromCBOR (LegacyPParams era) => Plain.Decoder s (PParams era)
decodeLegacyPParams :: forall era s.
FromCBOR (LegacyPParams era) =>
Decoder s (PParams era)
decodeLegacyPParams = LegacyPParams era -> PParams era
forall era. LegacyPParams era -> PParams era
unLegacyPParams (LegacyPParams era -> PParams era)
-> Decoder s (LegacyPParams era) -> Decoder s (PParams era)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Decoder s (LegacyPParams era)
forall s. Decoder s (LegacyPParams era)
forall a s. FromCBOR a => Decoder s a
fromCBOR

instance ToCBOR (LegacyPParams ShelleyEra) where
  toCBOR :: LegacyPParams ShelleyEra -> Encoding
toCBOR = forall era t. (Era era, EncCBOR t) => t -> Encoding
toEraCBOR @ShelleyEra

instance EncCBOR (LegacyPParams ShelleyEra) where
  encCBOR :: LegacyPParams ShelleyEra -> Encoding
encCBOR (LegacyPParams (PParams ShelleyPParams{HKD Identity Word16
HKD Identity Word32
HKD Identity CoinPerByte
HKD Identity EpochInterval
HKD Identity (CompactForm Coin)
HKD Identity NonNegativeInterval
HKD Identity Nonce
HKD Identity ProtVer
HKD Identity UnitInterval
sppTxFeePerByte :: HKD Identity CoinPerByte
sppTxFeeFixed :: HKD Identity (CompactForm Coin)
sppMaxBBSize :: HKD Identity Word32
sppMaxTxSize :: HKD Identity Word32
sppMaxBHSize :: HKD Identity Word16
sppKeyDeposit :: HKD Identity (CompactForm Coin)
sppPoolDeposit :: HKD Identity (CompactForm Coin)
sppEMax :: HKD Identity EpochInterval
sppNOpt :: HKD Identity Word16
sppA0 :: HKD Identity NonNegativeInterval
sppRho :: HKD Identity UnitInterval
sppTau :: HKD Identity UnitInterval
sppD :: HKD Identity UnitInterval
sppExtraEntropy :: HKD Identity Nonce
sppProtocolVersion :: HKD Identity ProtVer
sppMinUTxOValue :: HKD Identity (CompactForm Coin)
sppMinPoolCost :: HKD Identity (CompactForm Coin)
sppA0 :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f NonNegativeInterval
sppD :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
sppEMax :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f EpochInterval
sppExtraEntropy :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Nonce
sppKeyDeposit :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppMaxBBSize :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word32
sppMaxBHSize :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word16
sppMaxTxSize :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word32
sppMinPoolCost :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppMinUTxOValue :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppNOpt :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word16
sppPoolDeposit :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppProtocolVersion :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f ProtVer
sppRho :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
sppTau :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
sppTxFeeFixed :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppTxFeePerByte :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f CoinPerByte
..})) =
    Encode (Closed Dense) (LegacyPParams ShelleyEra) -> Encoding
forall (w :: Wrapped) t. Encode w t -> Encoding
encode
      ( (CoinPerByte
 -> CompactForm Coin
 -> Word32
 -> Word32
 -> Word16
 -> CompactForm Coin
 -> CompactForm Coin
 -> EpochInterval
 -> Word16
 -> NonNegativeInterval
 -> UnitInterval
 -> UnitInterval
 -> UnitInterval
 -> Nonce
 -> Version
 -> Word32
 -> CompactForm Coin
 -> CompactForm Coin
 -> LegacyPParams ShelleyEra)
-> Encode
     (Closed Dense)
     (CoinPerByte
      -> CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall t. t -> Encode (Closed Dense) t
Rec CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CompactForm Coin
-> LegacyPParams ShelleyEra
mkLegacyShelleyPParams
          Encode
  (Closed Dense)
  (CoinPerByte
   -> CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) CoinPerByte
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CoinPerByte -> Encode (Closed Dense) CoinPerByte
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CoinPerByte
HKD Identity CoinPerByte
sppTxFeePerByte
          Encode
  (Closed Dense)
  (CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppTxFeeFixed
          Encode
  (Closed Dense)
  (Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word32
HKD Identity Word32
sppMaxBBSize
          Encode
  (Closed Dense)
  (Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word32
HKD Identity Word32
sppMaxTxSize
          Encode
  (Closed Dense)
  (Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) Word16
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
sppMaxBHSize
          Encode
  (Closed Dense)
  (CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppKeyDeposit
          Encode
  (Closed Dense)
  (CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppPoolDeposit
          Encode
  (Closed Dense)
  (EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) EpochInterval
-> Encode
     (Closed Dense)
     (Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> EpochInterval -> Encode (Closed Dense) EpochInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To EpochInterval
HKD Identity EpochInterval
sppEMax
          Encode
  (Closed Dense)
  (Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) Word16
-> Encode
     (Closed Dense)
     (NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
sppNOpt
          Encode
  (Closed Dense)
  (NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) NonNegativeInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> NonNegativeInterval -> Encode (Closed Dense) NonNegativeInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity NonNegativeInterval
NonNegativeInterval
sppA0
          Encode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
sppRho
          Encode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
sppTau
          Encode
  (Closed Dense)
  (UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
sppD
          Encode
  (Closed Dense)
  (Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) Nonce
-> Encode
     (Closed Dense)
     (Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Nonce -> Encode (Closed Dense) Nonce
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity Nonce
Nonce
sppExtraEntropy
          Encode
  (Closed Dense)
  (Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) Version
-> Encode
     (Closed Dense)
     (Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Version -> Encode (Closed Dense) Version
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To (ProtVer -> Version
pvMajor HKD Identity ProtVer
ProtVer
sppProtocolVersion)
          Encode
  (Closed Dense)
  (Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (CompactForm Coin -> CompactForm Coin -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To (ProtVer -> Word32
pvMinor HKD Identity ProtVer
ProtVer
sppProtocolVersion)
          Encode
  (Closed Dense)
  (CompactForm Coin -> CompactForm Coin -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense) (CompactForm Coin -> LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppMinUTxOValue
          Encode
  (Closed Dense) (CompactForm Coin -> LegacyPParams ShelleyEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode (Closed Dense) (LegacyPParams ShelleyEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppMinPoolCost
      )
   where
    mkLegacyShelleyPParams :: CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CompactForm Coin
-> LegacyPParams ShelleyEra
mkLegacyShelleyPParams CoinPerByte
a CompactForm Coin
b Word32
c Word32
d Word16
e CompactForm Coin
f CompactForm Coin
g EpochInterval
h Word16
i NonNegativeInterval
j UnitInterval
k UnitInterval
l UnitInterval
m Nonce
n Version
o Word32
p CompactForm Coin
q CompactForm Coin
r =
      PParams ShelleyEra -> LegacyPParams ShelleyEra
forall era. PParams era -> LegacyPParams era
LegacyPParams (PParams ShelleyEra -> LegacyPParams ShelleyEra)
-> PParams ShelleyEra -> LegacyPParams ShelleyEra
forall a b. (a -> b) -> a -> b
$
        PParamsHKD Identity ShelleyEra -> PParams ShelleyEra
forall era. PParamsHKD Identity era -> PParams era
PParams (PParamsHKD Identity ShelleyEra -> PParams ShelleyEra)
-> PParamsHKD Identity ShelleyEra -> PParams ShelleyEra
forall a b. (a -> b) -> a -> b
$
          forall (f :: * -> *) era.
HKD f CoinPerByte
-> HKD f (CompactForm Coin)
-> HKD f Word32
-> HKD f Word32
-> HKD f Word16
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> HKD f EpochInterval
-> HKD f Word16
-> HKD f NonNegativeInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f Nonce
-> HKD f ProtVer
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> ShelleyPParams f era
ShelleyPParams @Identity @ShelleyEra CoinPerByte
HKD Identity CoinPerByte
a CompactForm Coin
HKD Identity (CompactForm Coin)
b Word32
HKD Identity Word32
c Word32
HKD Identity Word32
d Word16
HKD Identity Word16
e CompactForm Coin
HKD Identity (CompactForm Coin)
f CompactForm Coin
HKD Identity (CompactForm Coin)
g EpochInterval
HKD Identity EpochInterval
h Word16
HKD Identity Word16
i HKD Identity NonNegativeInterval
NonNegativeInterval
j HKD Identity UnitInterval
UnitInterval
k HKD Identity UnitInterval
UnitInterval
l HKD Identity UnitInterval
UnitInterval
m HKD Identity Nonce
Nonce
n (Version -> Word32 -> ProtVer
ProtVer Version
o Word32
p) CompactForm Coin
HKD Identity (CompactForm Coin)
q CompactForm Coin
HKD Identity (CompactForm Coin)
r

instance DecCBOR (LegacyPParams ShelleyEra) where
  decCBOR :: forall s. Decoder s (LegacyPParams ShelleyEra)
decCBOR =
    Decode (Closed Dense) (LegacyPParams ShelleyEra)
-> Decoder s (LegacyPParams ShelleyEra)
forall t (w :: Wrapped) s. Typeable t => Decode w t -> Decoder s t
decode
      ( (CoinPerByte
 -> CompactForm Coin
 -> Word32
 -> Word32
 -> Word16
 -> CompactForm Coin
 -> CompactForm Coin
 -> EpochInterval
 -> Word16
 -> NonNegativeInterval
 -> UnitInterval
 -> UnitInterval
 -> UnitInterval
 -> Nonce
 -> Version
 -> Word32
 -> CompactForm Coin
 -> CompactForm Coin
 -> LegacyPParams ShelleyEra)
-> Decode
     (Closed Dense)
     (CoinPerByte
      -> CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall t. t -> Decode (Closed Dense) t
RecD CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CompactForm Coin
-> LegacyPParams ShelleyEra
mkLegacyShelleyPParams
          Decode
  (Closed Dense)
  (CoinPerByte
   -> CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 17)) CoinPerByte
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 17)) CoinPerByte
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMinFeeA
          Decode
  (Closed Dense)
  (CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 16)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 16)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMinFeeB
          Decode
  (Closed Dense)
  (Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 15)) Word32
-> Decode
     (Closed Dense)
     (Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 15)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMaxBBSize
          Decode
  (Closed Dense)
  (Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 14)) Word32
-> Decode
     (Closed Dense)
     (Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 14)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMaxTxSize
          Decode
  (Closed Dense)
  (Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 13)) Word16
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 13)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMaxBHSize
          Decode
  (Closed Dense)
  (CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 12)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 12)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppKeyDeposit
          Decode
  (Closed Dense)
  (CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 11)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 11)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppPoolDeposit
          Decode
  (Closed Dense)
  (EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 10)) EpochInterval
-> Decode
     (Closed Dense)
     (Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 10)) EpochInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppEMax
          Decode
  (Closed Dense)
  (Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 9)) Word16
-> Decode
     (Closed Dense)
     (NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 9)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppNOpt
          Decode
  (Closed Dense)
  (NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 8)) NonNegativeInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 8)) NonNegativeInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppA0
          Decode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 7)) UnitInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 7)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppRho
          Decode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 6)) UnitInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 6)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppTau
          Decode
  (Closed Dense)
  (UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 5)) UnitInterval
-> Decode
     (Closed Dense)
     (Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 5)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppD
          Decode
  (Closed Dense)
  (Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 4)) Nonce
-> Decode
     (Closed Dense)
     (Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 4)) Nonce
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppExtraEntropy
          Decode
  (Closed Dense)
  (Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 3)) Version
-> Decode
     (Closed Dense)
     (Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 3)) Version
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- (pvMajor sppProtocolVersion)
          Decode
  (Closed Dense)
  (Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 2)) Word32
-> Decode
     (Closed Dense)
     (CompactForm Coin -> CompactForm Coin -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 2)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- (pvMinor sppProtocolVersion)
          Decode
  (Closed Dense)
  (CompactForm Coin -> CompactForm Coin -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 1)) (CompactForm Coin)
-> Decode
     (Closed Dense) (CompactForm Coin -> LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 1)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMinUTxOValue
          Decode
  (Closed Dense) (CompactForm Coin -> LegacyPParams ShelleyEra)
-> Decode (Closed (ZonkAny 0)) (CompactForm Coin)
-> Decode (Closed Dense) (LegacyPParams ShelleyEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 0)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMinPoolCost
      )
   where
    mkLegacyShelleyPParams :: CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CompactForm Coin
-> LegacyPParams ShelleyEra
mkLegacyShelleyPParams CoinPerByte
a CompactForm Coin
b Word32
c Word32
d Word16
e CompactForm Coin
f CompactForm Coin
g EpochInterval
h Word16
i NonNegativeInterval
j UnitInterval
k UnitInterval
l UnitInterval
m Nonce
n Version
o Word32
p CompactForm Coin
q CompactForm Coin
r =
      PParams ShelleyEra -> LegacyPParams ShelleyEra
forall era. PParams era -> LegacyPParams era
LegacyPParams (PParams ShelleyEra -> LegacyPParams ShelleyEra)
-> PParams ShelleyEra -> LegacyPParams ShelleyEra
forall a b. (a -> b) -> a -> b
$
        PParamsHKD Identity ShelleyEra -> PParams ShelleyEra
forall era. PParamsHKD Identity era -> PParams era
PParams (PParamsHKD Identity ShelleyEra -> PParams ShelleyEra)
-> PParamsHKD Identity ShelleyEra -> PParams ShelleyEra
forall a b. (a -> b) -> a -> b
$
          forall (f :: * -> *) era.
HKD f CoinPerByte
-> HKD f (CompactForm Coin)
-> HKD f Word32
-> HKD f Word32
-> HKD f Word16
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> HKD f EpochInterval
-> HKD f Word16
-> HKD f NonNegativeInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f Nonce
-> HKD f ProtVer
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> ShelleyPParams f era
ShelleyPParams @Identity @ShelleyEra CoinPerByte
HKD Identity CoinPerByte
a CompactForm Coin
HKD Identity (CompactForm Coin)
b Word32
HKD Identity Word32
c Word32
HKD Identity Word32
d Word16
HKD Identity Word16
e CompactForm Coin
HKD Identity (CompactForm Coin)
f CompactForm Coin
HKD Identity (CompactForm Coin)
g EpochInterval
HKD Identity EpochInterval
h Word16
HKD Identity Word16
i HKD Identity NonNegativeInterval
NonNegativeInterval
j HKD Identity UnitInterval
UnitInterval
k HKD Identity UnitInterval
UnitInterval
l HKD Identity UnitInterval
UnitInterval
m HKD Identity Nonce
Nonce
n (Version -> Word32 -> ProtVer
ProtVer Version
o Word32
p) CompactForm Coin
HKD Identity (CompactForm Coin)
q CompactForm Coin
HKD Identity (CompactForm Coin)
r

instance FromCBOR (LegacyPParams ShelleyEra) where
  fromCBOR :: forall s. Decoder s (LegacyPParams ShelleyEra)
fromCBOR = forall era t s. (Era era, DecCBOR t) => Decoder s t
fromEraCBOR @ShelleyEra

instance ToCBOR (LegacyPParams AllegraEra) where
  toCBOR :: LegacyPParams AllegraEra -> Encoding
toCBOR (LegacyPParams (PParams ShelleyPParams{HKD Identity Word16
HKD Identity Word32
HKD Identity CoinPerByte
HKD Identity EpochInterval
HKD Identity (CompactForm Coin)
HKD Identity NonNegativeInterval
HKD Identity Nonce
HKD Identity ProtVer
HKD Identity UnitInterval
sppA0 :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f NonNegativeInterval
sppD :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
sppEMax :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f EpochInterval
sppExtraEntropy :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Nonce
sppKeyDeposit :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppMaxBBSize :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word32
sppMaxBHSize :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word16
sppMaxTxSize :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word32
sppMinPoolCost :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppMinUTxOValue :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppNOpt :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word16
sppPoolDeposit :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppProtocolVersion :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f ProtVer
sppRho :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
sppTau :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
sppTxFeeFixed :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppTxFeePerByte :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f CoinPerByte
sppTxFeePerByte :: HKD Identity CoinPerByte
sppTxFeeFixed :: HKD Identity (CompactForm Coin)
sppMaxBBSize :: HKD Identity Word32
sppMaxTxSize :: HKD Identity Word32
sppMaxBHSize :: HKD Identity Word16
sppKeyDeposit :: HKD Identity (CompactForm Coin)
sppPoolDeposit :: HKD Identity (CompactForm Coin)
sppEMax :: HKD Identity EpochInterval
sppNOpt :: HKD Identity Word16
sppA0 :: HKD Identity NonNegativeInterval
sppRho :: HKD Identity UnitInterval
sppTau :: HKD Identity UnitInterval
sppD :: HKD Identity UnitInterval
sppExtraEntropy :: HKD Identity Nonce
sppProtocolVersion :: HKD Identity ProtVer
sppMinUTxOValue :: HKD Identity (CompactForm Coin)
sppMinPoolCost :: HKD Identity (CompactForm Coin)
..})) =
    Version -> Encoding -> Encoding
toPlainEncoding (forall era. Era era => Version
eraProtVerLow @AllegraEra) (Encoding -> Encoding) -> Encoding -> Encoding
forall a b. (a -> b) -> a -> b
$
      Encode (Closed Dense) (LegacyPParams AllegraEra) -> Encoding
forall (w :: Wrapped) t. Encode w t -> Encoding
encode
        ( (CoinPerByte
 -> CompactForm Coin
 -> Word32
 -> Word32
 -> Word16
 -> CompactForm Coin
 -> CompactForm Coin
 -> EpochInterval
 -> Word16
 -> NonNegativeInterval
 -> UnitInterval
 -> UnitInterval
 -> UnitInterval
 -> Nonce
 -> Version
 -> Word32
 -> CompactForm Coin
 -> CompactForm Coin
 -> LegacyPParams AllegraEra)
-> Encode
     (Closed Dense)
     (CoinPerByte
      -> CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall t. t -> Encode (Closed Dense) t
Rec CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CompactForm Coin
-> LegacyPParams AllegraEra
mkLegacyAllegraPParams
            Encode
  (Closed Dense)
  (CoinPerByte
   -> CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) CoinPerByte
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CoinPerByte -> Encode (Closed Dense) CoinPerByte
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CoinPerByte
HKD Identity CoinPerByte
sppTxFeePerByte
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppTxFeeFixed
            Encode
  (Closed Dense)
  (Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word32
HKD Identity Word32
sppMaxBBSize
            Encode
  (Closed Dense)
  (Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word32
HKD Identity Word32
sppMaxTxSize
            Encode
  (Closed Dense)
  (Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) Word16
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
sppMaxBHSize
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppKeyDeposit
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppPoolDeposit
            Encode
  (Closed Dense)
  (EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) EpochInterval
-> Encode
     (Closed Dense)
     (Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> EpochInterval -> Encode (Closed Dense) EpochInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To EpochInterval
HKD Identity EpochInterval
sppEMax
            Encode
  (Closed Dense)
  (Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) Word16
-> Encode
     (Closed Dense)
     (NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
sppNOpt
            Encode
  (Closed Dense)
  (NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) NonNegativeInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> NonNegativeInterval -> Encode (Closed Dense) NonNegativeInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity NonNegativeInterval
NonNegativeInterval
sppA0
            Encode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
sppRho
            Encode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
sppTau
            Encode
  (Closed Dense)
  (UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
sppD
            Encode
  (Closed Dense)
  (Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) Nonce
-> Encode
     (Closed Dense)
     (Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Nonce -> Encode (Closed Dense) Nonce
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity Nonce
Nonce
sppExtraEntropy
            Encode
  (Closed Dense)
  (Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) Version
-> Encode
     (Closed Dense)
     (Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Version -> Encode (Closed Dense) Version
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To (ProtVer -> Version
pvMajor HKD Identity ProtVer
ProtVer
sppProtocolVersion)
            Encode
  (Closed Dense)
  (Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (CompactForm Coin -> CompactForm Coin -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To (ProtVer -> Word32
pvMinor HKD Identity ProtVer
ProtVer
sppProtocolVersion)
            Encode
  (Closed Dense)
  (CompactForm Coin -> CompactForm Coin -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense) (CompactForm Coin -> LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppMinUTxOValue
            Encode
  (Closed Dense) (CompactForm Coin -> LegacyPParams AllegraEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode (Closed Dense) (LegacyPParams AllegraEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppMinPoolCost
        )
   where
    mkLegacyAllegraPParams :: CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CompactForm Coin
-> LegacyPParams AllegraEra
mkLegacyAllegraPParams CoinPerByte
a CompactForm Coin
b Word32
c Word32
d Word16
e CompactForm Coin
f CompactForm Coin
g EpochInterval
h Word16
i NonNegativeInterval
j UnitInterval
k UnitInterval
l UnitInterval
m Nonce
n Version
o Word32
p CompactForm Coin
q CompactForm Coin
r =
      PParams AllegraEra -> LegacyPParams AllegraEra
forall era. PParams era -> LegacyPParams era
LegacyPParams (PParams AllegraEra -> LegacyPParams AllegraEra)
-> PParams AllegraEra -> LegacyPParams AllegraEra
forall a b. (a -> b) -> a -> b
$
        PParamsHKD Identity AllegraEra -> PParams AllegraEra
forall era. PParamsHKD Identity era -> PParams era
PParams (PParamsHKD Identity AllegraEra -> PParams AllegraEra)
-> PParamsHKD Identity AllegraEra -> PParams AllegraEra
forall a b. (a -> b) -> a -> b
$
          forall (f :: * -> *) era.
HKD f CoinPerByte
-> HKD f (CompactForm Coin)
-> HKD f Word32
-> HKD f Word32
-> HKD f Word16
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> HKD f EpochInterval
-> HKD f Word16
-> HKD f NonNegativeInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f Nonce
-> HKD f ProtVer
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> ShelleyPParams f era
ShelleyPParams @Identity @AllegraEra CoinPerByte
HKD Identity CoinPerByte
a CompactForm Coin
HKD Identity (CompactForm Coin)
b Word32
HKD Identity Word32
c Word32
HKD Identity Word32
d Word16
HKD Identity Word16
e CompactForm Coin
HKD Identity (CompactForm Coin)
f CompactForm Coin
HKD Identity (CompactForm Coin)
g EpochInterval
HKD Identity EpochInterval
h Word16
HKD Identity Word16
i HKD Identity NonNegativeInterval
NonNegativeInterval
j HKD Identity UnitInterval
UnitInterval
k HKD Identity UnitInterval
UnitInterval
l HKD Identity UnitInterval
UnitInterval
m HKD Identity Nonce
Nonce
n (Version -> Word32 -> ProtVer
ProtVer Version
o Word32
p) CompactForm Coin
HKD Identity (CompactForm Coin)
q CompactForm Coin
HKD Identity (CompactForm Coin)
r

instance FromCBOR (LegacyPParams AllegraEra) where
  fromCBOR :: forall s. Decoder s (LegacyPParams AllegraEra)
fromCBOR =
    forall era t s. Era era => Decoder s t -> Decoder s t
eraDecoder @AllegraEra (Decoder s (LegacyPParams AllegraEra)
 -> Decoder s (LegacyPParams AllegraEra))
-> Decoder s (LegacyPParams AllegraEra)
-> Decoder s (LegacyPParams AllegraEra)
forall a b. (a -> b) -> a -> b
$
      Decode (Closed Dense) (LegacyPParams AllegraEra)
-> Decoder s (LegacyPParams AllegraEra)
forall t (w :: Wrapped) s. Typeable t => Decode w t -> Decoder s t
decode
        ( (CoinPerByte
 -> CompactForm Coin
 -> Word32
 -> Word32
 -> Word16
 -> CompactForm Coin
 -> CompactForm Coin
 -> EpochInterval
 -> Word16
 -> NonNegativeInterval
 -> UnitInterval
 -> UnitInterval
 -> UnitInterval
 -> Nonce
 -> Version
 -> Word32
 -> CompactForm Coin
 -> CompactForm Coin
 -> LegacyPParams AllegraEra)
-> Decode
     (Closed Dense)
     (CoinPerByte
      -> CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall t. t -> Decode (Closed Dense) t
RecD CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CompactForm Coin
-> LegacyPParams AllegraEra
mkLegacyAllegraPParams
            Decode
  (Closed Dense)
  (CoinPerByte
   -> CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 35)) CoinPerByte
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 35)) CoinPerByte
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMinFeeA
            Decode
  (Closed Dense)
  (CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 34)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 34)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMinFeeB
            Decode
  (Closed Dense)
  (Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 33)) Word32
-> Decode
     (Closed Dense)
     (Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 33)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMaxBBSize
            Decode
  (Closed Dense)
  (Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 32)) Word32
-> Decode
     (Closed Dense)
     (Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 32)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMaxTxSize
            Decode
  (Closed Dense)
  (Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 31)) Word16
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 31)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMaxBHSize
            Decode
  (Closed Dense)
  (CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 30)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 30)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppKeyDeposit
            Decode
  (Closed Dense)
  (CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 29)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 29)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppPoolDeposit
            Decode
  (Closed Dense)
  (EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 28)) EpochInterval
-> Decode
     (Closed Dense)
     (Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 28)) EpochInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppEMax
            Decode
  (Closed Dense)
  (Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 27)) Word16
-> Decode
     (Closed Dense)
     (NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 27)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppNOpt
            Decode
  (Closed Dense)
  (NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 26)) NonNegativeInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 26)) NonNegativeInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppA0
            Decode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 25)) UnitInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 25)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppRho
            Decode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 24)) UnitInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 24)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppTau
            Decode
  (Closed Dense)
  (UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 23)) UnitInterval
-> Decode
     (Closed Dense)
     (Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 23)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppD
            Decode
  (Closed Dense)
  (Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 22)) Nonce
-> Decode
     (Closed Dense)
     (Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 22)) Nonce
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppExtraEntropy
            Decode
  (Closed Dense)
  (Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 21)) Version
-> Decode
     (Closed Dense)
     (Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 21)) Version
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- (pvMajor sppProtocolVersion)
            Decode
  (Closed Dense)
  (Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 20)) Word32
-> Decode
     (Closed Dense)
     (CompactForm Coin -> CompactForm Coin -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 20)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- (pvMinor sppProtocolVersion)
            Decode
  (Closed Dense)
  (CompactForm Coin -> CompactForm Coin -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 19)) (CompactForm Coin)
-> Decode
     (Closed Dense) (CompactForm Coin -> LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 19)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMinUTxOValue
            Decode
  (Closed Dense) (CompactForm Coin -> LegacyPParams AllegraEra)
-> Decode (Closed (ZonkAny 18)) (CompactForm Coin)
-> Decode (Closed Dense) (LegacyPParams AllegraEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 18)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMinPoolCost
        )
   where
    mkLegacyAllegraPParams :: CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CompactForm Coin
-> LegacyPParams AllegraEra
mkLegacyAllegraPParams CoinPerByte
a CompactForm Coin
b Word32
c Word32
d Word16
e CompactForm Coin
f CompactForm Coin
g EpochInterval
h Word16
i NonNegativeInterval
j UnitInterval
k UnitInterval
l UnitInterval
m Nonce
n Version
o Word32
p CompactForm Coin
q CompactForm Coin
r =
      PParams AllegraEra -> LegacyPParams AllegraEra
forall era. PParams era -> LegacyPParams era
LegacyPParams (PParams AllegraEra -> LegacyPParams AllegraEra)
-> PParams AllegraEra -> LegacyPParams AllegraEra
forall a b. (a -> b) -> a -> b
$
        PParamsHKD Identity AllegraEra -> PParams AllegraEra
forall era. PParamsHKD Identity era -> PParams era
PParams (PParamsHKD Identity AllegraEra -> PParams AllegraEra)
-> PParamsHKD Identity AllegraEra -> PParams AllegraEra
forall a b. (a -> b) -> a -> b
$
          forall (f :: * -> *) era.
HKD f CoinPerByte
-> HKD f (CompactForm Coin)
-> HKD f Word32
-> HKD f Word32
-> HKD f Word16
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> HKD f EpochInterval
-> HKD f Word16
-> HKD f NonNegativeInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f Nonce
-> HKD f ProtVer
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> ShelleyPParams f era
ShelleyPParams @Identity @AllegraEra CoinPerByte
HKD Identity CoinPerByte
a CompactForm Coin
HKD Identity (CompactForm Coin)
b Word32
HKD Identity Word32
c Word32
HKD Identity Word32
d Word16
HKD Identity Word16
e CompactForm Coin
HKD Identity (CompactForm Coin)
f CompactForm Coin
HKD Identity (CompactForm Coin)
g EpochInterval
HKD Identity EpochInterval
h Word16
HKD Identity Word16
i HKD Identity NonNegativeInterval
NonNegativeInterval
j HKD Identity UnitInterval
UnitInterval
k HKD Identity UnitInterval
UnitInterval
l HKD Identity UnitInterval
UnitInterval
m HKD Identity Nonce
Nonce
n (Version -> Word32 -> ProtVer
ProtVer Version
o Word32
p) CompactForm Coin
HKD Identity (CompactForm Coin)
q CompactForm Coin
HKD Identity (CompactForm Coin)
r

instance ToCBOR (LegacyPParams MaryEra) where
  toCBOR :: LegacyPParams MaryEra -> Encoding
toCBOR (LegacyPParams (PParams ShelleyPParams{HKD Identity Word16
HKD Identity Word32
HKD Identity CoinPerByte
HKD Identity EpochInterval
HKD Identity (CompactForm Coin)
HKD Identity NonNegativeInterval
HKD Identity Nonce
HKD Identity ProtVer
HKD Identity UnitInterval
sppA0 :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f NonNegativeInterval
sppD :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
sppEMax :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f EpochInterval
sppExtraEntropy :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Nonce
sppKeyDeposit :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppMaxBBSize :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word32
sppMaxBHSize :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word16
sppMaxTxSize :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word32
sppMinPoolCost :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppMinUTxOValue :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppNOpt :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word16
sppPoolDeposit :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppProtocolVersion :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f ProtVer
sppRho :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
sppTau :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
sppTxFeeFixed :: forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
sppTxFeePerByte :: forall (f :: * -> *) era. ShelleyPParams f era -> HKD f CoinPerByte
sppTxFeePerByte :: HKD Identity CoinPerByte
sppTxFeeFixed :: HKD Identity (CompactForm Coin)
sppMaxBBSize :: HKD Identity Word32
sppMaxTxSize :: HKD Identity Word32
sppMaxBHSize :: HKD Identity Word16
sppKeyDeposit :: HKD Identity (CompactForm Coin)
sppPoolDeposit :: HKD Identity (CompactForm Coin)
sppEMax :: HKD Identity EpochInterval
sppNOpt :: HKD Identity Word16
sppA0 :: HKD Identity NonNegativeInterval
sppRho :: HKD Identity UnitInterval
sppTau :: HKD Identity UnitInterval
sppD :: HKD Identity UnitInterval
sppExtraEntropy :: HKD Identity Nonce
sppProtocolVersion :: HKD Identity ProtVer
sppMinUTxOValue :: HKD Identity (CompactForm Coin)
sppMinPoolCost :: HKD Identity (CompactForm Coin)
..})) =
    Version -> Encoding -> Encoding
toPlainEncoding (forall era. Era era => Version
eraProtVerLow @MaryEra) (Encoding -> Encoding) -> Encoding -> Encoding
forall a b. (a -> b) -> a -> b
$
      Encode (Closed Dense) (LegacyPParams MaryEra) -> Encoding
forall (w :: Wrapped) t. Encode w t -> Encoding
encode
        ( (CoinPerByte
 -> CompactForm Coin
 -> Word32
 -> Word32
 -> Word16
 -> CompactForm Coin
 -> CompactForm Coin
 -> EpochInterval
 -> Word16
 -> NonNegativeInterval
 -> UnitInterval
 -> UnitInterval
 -> UnitInterval
 -> Nonce
 -> Version
 -> Word32
 -> CompactForm Coin
 -> CompactForm Coin
 -> LegacyPParams MaryEra)
-> Encode
     (Closed Dense)
     (CoinPerByte
      -> CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall t. t -> Encode (Closed Dense) t
Rec CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CompactForm Coin
-> LegacyPParams MaryEra
mkLegacyMaryPParams
            Encode
  (Closed Dense)
  (CoinPerByte
   -> CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) CoinPerByte
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CoinPerByte -> Encode (Closed Dense) CoinPerByte
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CoinPerByte
HKD Identity CoinPerByte
sppTxFeePerByte
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppTxFeeFixed
            Encode
  (Closed Dense)
  (Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word32
HKD Identity Word32
sppMaxBBSize
            Encode
  (Closed Dense)
  (Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word32
HKD Identity Word32
sppMaxTxSize
            Encode
  (Closed Dense)
  (Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) Word16
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
sppMaxBHSize
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppKeyDeposit
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppPoolDeposit
            Encode
  (Closed Dense)
  (EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) EpochInterval
-> Encode
     (Closed Dense)
     (Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> EpochInterval -> Encode (Closed Dense) EpochInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To EpochInterval
HKD Identity EpochInterval
sppEMax
            Encode
  (Closed Dense)
  (Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) Word16
-> Encode
     (Closed Dense)
     (NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
sppNOpt
            Encode
  (Closed Dense)
  (NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) NonNegativeInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> NonNegativeInterval -> Encode (Closed Dense) NonNegativeInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity NonNegativeInterval
NonNegativeInterval
sppA0
            Encode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
sppRho
            Encode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
sppTau
            Encode
  (Closed Dense)
  (UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
sppD
            Encode
  (Closed Dense)
  (Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) Nonce
-> Encode
     (Closed Dense)
     (Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Nonce -> Encode (Closed Dense) Nonce
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity Nonce
Nonce
sppExtraEntropy
            Encode
  (Closed Dense)
  (Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Encode (Closed Dense) Version
-> Encode
     (Closed Dense)
     (Word32
      -> CompactForm Coin -> CompactForm Coin -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Version -> Encode (Closed Dense) Version
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To (ProtVer -> Version
pvMajor HKD Identity ProtVer
ProtVer
sppProtocolVersion)
            Encode
  (Closed Dense)
  (Word32
   -> CompactForm Coin -> CompactForm Coin -> LegacyPParams MaryEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (CompactForm Coin -> CompactForm Coin -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To (ProtVer -> Word32
pvMinor HKD Identity ProtVer
ProtVer
sppProtocolVersion)
            Encode
  (Closed Dense)
  (CompactForm Coin -> CompactForm Coin -> LegacyPParams MaryEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense) (CompactForm Coin -> LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppMinUTxOValue
            Encode (Closed Dense) (CompactForm Coin -> LegacyPParams MaryEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode (Closed Dense) (LegacyPParams MaryEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
sppMinPoolCost
        )
   where
    mkLegacyMaryPParams :: CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CompactForm Coin
-> LegacyPParams MaryEra
mkLegacyMaryPParams CoinPerByte
a CompactForm Coin
b Word32
c Word32
d Word16
e CompactForm Coin
f CompactForm Coin
g EpochInterval
h Word16
i NonNegativeInterval
j UnitInterval
k UnitInterval
l UnitInterval
m Nonce
n Version
o Word32
p CompactForm Coin
q CompactForm Coin
r =
      PParams MaryEra -> LegacyPParams MaryEra
forall era. PParams era -> LegacyPParams era
LegacyPParams (PParams MaryEra -> LegacyPParams MaryEra)
-> PParams MaryEra -> LegacyPParams MaryEra
forall a b. (a -> b) -> a -> b
$
        PParamsHKD Identity MaryEra -> PParams MaryEra
forall era. PParamsHKD Identity era -> PParams era
PParams (PParamsHKD Identity MaryEra -> PParams MaryEra)
-> PParamsHKD Identity MaryEra -> PParams MaryEra
forall a b. (a -> b) -> a -> b
$
          forall (f :: * -> *) era.
HKD f CoinPerByte
-> HKD f (CompactForm Coin)
-> HKD f Word32
-> HKD f Word32
-> HKD f Word16
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> HKD f EpochInterval
-> HKD f Word16
-> HKD f NonNegativeInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f Nonce
-> HKD f ProtVer
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> ShelleyPParams f era
ShelleyPParams @Identity @MaryEra CoinPerByte
HKD Identity CoinPerByte
a CompactForm Coin
HKD Identity (CompactForm Coin)
b Word32
HKD Identity Word32
c Word32
HKD Identity Word32
d Word16
HKD Identity Word16
e CompactForm Coin
HKD Identity (CompactForm Coin)
f CompactForm Coin
HKD Identity (CompactForm Coin)
g EpochInterval
HKD Identity EpochInterval
h Word16
HKD Identity Word16
i HKD Identity NonNegativeInterval
NonNegativeInterval
j HKD Identity UnitInterval
UnitInterval
k HKD Identity UnitInterval
UnitInterval
l HKD Identity UnitInterval
UnitInterval
m HKD Identity Nonce
Nonce
n (Version -> Word32 -> ProtVer
ProtVer Version
o Word32
p) CompactForm Coin
HKD Identity (CompactForm Coin)
q CompactForm Coin
HKD Identity (CompactForm Coin)
r

instance FromCBOR (LegacyPParams MaryEra) where
  fromCBOR :: forall s. Decoder s (LegacyPParams MaryEra)
fromCBOR =
    forall era t s. Era era => Decoder s t -> Decoder s t
eraDecoder @MaryEra (Decoder s (LegacyPParams MaryEra)
 -> Decoder s (LegacyPParams MaryEra))
-> Decoder s (LegacyPParams MaryEra)
-> Decoder s (LegacyPParams MaryEra)
forall a b. (a -> b) -> a -> b
$
      Decode (Closed Dense) (LegacyPParams MaryEra)
-> Decoder s (LegacyPParams MaryEra)
forall t (w :: Wrapped) s. Typeable t => Decode w t -> Decoder s t
decode
        ( (CoinPerByte
 -> CompactForm Coin
 -> Word32
 -> Word32
 -> Word16
 -> CompactForm Coin
 -> CompactForm Coin
 -> EpochInterval
 -> Word16
 -> NonNegativeInterval
 -> UnitInterval
 -> UnitInterval
 -> UnitInterval
 -> Nonce
 -> Version
 -> Word32
 -> CompactForm Coin
 -> CompactForm Coin
 -> LegacyPParams MaryEra)
-> Decode
     (Closed Dense)
     (CoinPerByte
      -> CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall t. t -> Decode (Closed Dense) t
RecD CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CompactForm Coin
-> LegacyPParams MaryEra
mkLegacyMaryPParams
            Decode
  (Closed Dense)
  (CoinPerByte
   -> CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 53)) CoinPerByte
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 53)) CoinPerByte
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMinFeeA
            Decode
  (Closed Dense)
  (CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 52)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 52)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMinFeeB
            Decode
  (Closed Dense)
  (Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 51)) Word32
-> Decode
     (Closed Dense)
     (Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 51)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMaxBBSize
            Decode
  (Closed Dense)
  (Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 50)) Word32
-> Decode
     (Closed Dense)
     (Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 50)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMaxTxSize
            Decode
  (Closed Dense)
  (Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 49)) Word16
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 49)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMaxBHSize
            Decode
  (Closed Dense)
  (CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 48)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 48)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppKeyDeposit
            Decode
  (Closed Dense)
  (CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 47)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 47)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppPoolDeposit
            Decode
  (Closed Dense)
  (EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 46)) EpochInterval
-> Decode
     (Closed Dense)
     (Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 46)) EpochInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppEMax
            Decode
  (Closed Dense)
  (Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 45)) Word16
-> Decode
     (Closed Dense)
     (NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 45)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppNOpt
            Decode
  (Closed Dense)
  (NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 44)) NonNegativeInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 44)) NonNegativeInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppA0
            Decode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 43)) UnitInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 43)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppRho
            Decode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 42)) UnitInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 42)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppTau
            Decode
  (Closed Dense)
  (UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 41)) UnitInterval
-> Decode
     (Closed Dense)
     (Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 41)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppD
            Decode
  (Closed Dense)
  (Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 40)) Nonce
-> Decode
     (Closed Dense)
     (Version
      -> Word32
      -> CompactForm Coin
      -> CompactForm Coin
      -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 40)) Nonce
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppExtraEntropy
            Decode
  (Closed Dense)
  (Version
   -> Word32
   -> CompactForm Coin
   -> CompactForm Coin
   -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 39)) Version
-> Decode
     (Closed Dense)
     (Word32
      -> CompactForm Coin -> CompactForm Coin -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 39)) Version
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- (pvMajor sppProtocolVersion)
            Decode
  (Closed Dense)
  (Word32
   -> CompactForm Coin -> CompactForm Coin -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 38)) Word32
-> Decode
     (Closed Dense)
     (CompactForm Coin -> CompactForm Coin -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 38)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- (pvMinor sppProtocolVersion)
            Decode
  (Closed Dense)
  (CompactForm Coin -> CompactForm Coin -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 37)) (CompactForm Coin)
-> Decode
     (Closed Dense) (CompactForm Coin -> LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 37)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMinUTxOValue
            Decode (Closed Dense) (CompactForm Coin -> LegacyPParams MaryEra)
-> Decode (Closed (ZonkAny 36)) (CompactForm Coin)
-> Decode (Closed Dense) (LegacyPParams MaryEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 36)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- sppMinPoolCost
        )
   where
    mkLegacyMaryPParams :: CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CompactForm Coin
-> LegacyPParams MaryEra
mkLegacyMaryPParams CoinPerByte
a CompactForm Coin
b Word32
c Word32
d Word16
e CompactForm Coin
f CompactForm Coin
g EpochInterval
h Word16
i NonNegativeInterval
j UnitInterval
k UnitInterval
l UnitInterval
m Nonce
n Version
o Word32
p CompactForm Coin
q CompactForm Coin
r =
      PParams MaryEra -> LegacyPParams MaryEra
forall era. PParams era -> LegacyPParams era
LegacyPParams (PParams MaryEra -> LegacyPParams MaryEra)
-> PParams MaryEra -> LegacyPParams MaryEra
forall a b. (a -> b) -> a -> b
$
        PParamsHKD Identity MaryEra -> PParams MaryEra
forall era. PParamsHKD Identity era -> PParams era
PParams (PParamsHKD Identity MaryEra -> PParams MaryEra)
-> PParamsHKD Identity MaryEra -> PParams MaryEra
forall a b. (a -> b) -> a -> b
$
          forall (f :: * -> *) era.
HKD f CoinPerByte
-> HKD f (CompactForm Coin)
-> HKD f Word32
-> HKD f Word32
-> HKD f Word16
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> HKD f EpochInterval
-> HKD f Word16
-> HKD f NonNegativeInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f Nonce
-> HKD f ProtVer
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> ShelleyPParams f era
ShelleyPParams @Identity @MaryEra CoinPerByte
HKD Identity CoinPerByte
a CompactForm Coin
HKD Identity (CompactForm Coin)
b Word32
HKD Identity Word32
c Word32
HKD Identity Word32
d Word16
HKD Identity Word16
e CompactForm Coin
HKD Identity (CompactForm Coin)
f CompactForm Coin
HKD Identity (CompactForm Coin)
g EpochInterval
HKD Identity EpochInterval
h Word16
HKD Identity Word16
i HKD Identity NonNegativeInterval
NonNegativeInterval
j HKD Identity UnitInterval
UnitInterval
k HKD Identity UnitInterval
UnitInterval
l HKD Identity UnitInterval
UnitInterval
m HKD Identity Nonce
Nonce
n (Version -> Word32 -> ProtVer
ProtVer Version
o Word32
p) CompactForm Coin
HKD Identity (CompactForm Coin)
q CompactForm Coin
HKD Identity (CompactForm Coin)
r

instance ToCBOR (LegacyPParams AlonzoEra) where
  toCBOR :: LegacyPParams AlonzoEra -> Encoding
toCBOR (LegacyPParams (PParams AlonzoPParams{HKD Identity Word16
HKD Identity Word32
HKD Identity CoinPerByte
HKD Identity CoinPerWord
HKD Identity OrdExUnits
HKD Identity CostModels
HKD Identity Prices
HKD Identity EpochInterval
HKD Identity (CompactForm Coin)
HKD Identity NonNegativeInterval
HKD Identity Nonce
HKD Identity ProtVer
HKD Identity UnitInterval
appTxFeePerByte :: HKD Identity CoinPerByte
appTxFeeFixed :: HKD Identity (CompactForm Coin)
appMaxBBSize :: HKD Identity Word32
appMaxTxSize :: HKD Identity Word32
appMaxBHSize :: HKD Identity Word16
appKeyDeposit :: HKD Identity (CompactForm Coin)
appPoolDeposit :: HKD Identity (CompactForm Coin)
appEMax :: HKD Identity EpochInterval
appNOpt :: HKD Identity Word16
appA0 :: HKD Identity NonNegativeInterval
appRho :: HKD Identity UnitInterval
appTau :: HKD Identity UnitInterval
appD :: HKD Identity UnitInterval
appExtraEntropy :: HKD Identity Nonce
appProtocolVersion :: HKD Identity ProtVer
appMinPoolCost :: HKD Identity (CompactForm Coin)
appCoinsPerUTxOWord :: HKD Identity CoinPerWord
appCostModels :: HKD Identity CostModels
appPrices :: HKD Identity Prices
appMaxTxExUnits :: HKD Identity OrdExUnits
appMaxBlockExUnits :: HKD Identity OrdExUnits
appMaxValSize :: HKD Identity Word32
appCollateralPercentage :: HKD Identity Word16
appMaxCollateralInputs :: HKD Identity Word16
appA0 :: forall (f :: * -> *) era.
AlonzoPParams f era -> HKD f NonNegativeInterval
appCoinsPerUTxOWord :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f CoinPerWord
appCollateralPercentage :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word16
appCostModels :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f CostModels
appD :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f UnitInterval
appEMax :: forall (f :: * -> *) era.
AlonzoPParams f era -> HKD f EpochInterval
appExtraEntropy :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Nonce
appKeyDeposit :: forall (f :: * -> *) era.
AlonzoPParams f era -> HKD f (CompactForm Coin)
appMaxBBSize :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word32
appMaxBHSize :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word16
appMaxBlockExUnits :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f OrdExUnits
appMaxCollateralInputs :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word16
appMaxTxExUnits :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f OrdExUnits
appMaxTxSize :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word32
appMaxValSize :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word32
appMinPoolCost :: forall (f :: * -> *) era.
AlonzoPParams f era -> HKD f (CompactForm Coin)
appNOpt :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word16
appPoolDeposit :: forall (f :: * -> *) era.
AlonzoPParams f era -> HKD f (CompactForm Coin)
appPrices :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Prices
appProtocolVersion :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f ProtVer
appRho :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f UnitInterval
appTau :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f UnitInterval
appTxFeeFixed :: forall (f :: * -> *) era.
AlonzoPParams f era -> HKD f (CompactForm Coin)
appTxFeePerByte :: forall (f :: * -> *) era. AlonzoPParams f era -> HKD f CoinPerByte
..})) =
    Version -> Encoding -> Encoding
toPlainEncoding (forall era. Era era => Version
eraProtVerLow @AlonzoEra) (Encoding -> Encoding) -> Encoding -> Encoding
forall a b. (a -> b) -> a -> b
$
      Encode (Closed Dense) (LegacyPParams AlonzoEra) -> Encoding
forall (w :: Wrapped) t. Encode w t -> Encoding
encode
        ( (CoinPerByte
 -> CompactForm Coin
 -> Word32
 -> Word32
 -> Word16
 -> CompactForm Coin
 -> CompactForm Coin
 -> EpochInterval
 -> Word16
 -> NonNegativeInterval
 -> UnitInterval
 -> UnitInterval
 -> UnitInterval
 -> Nonce
 -> Version
 -> Word32
 -> CompactForm Coin
 -> CoinPerWord
 -> CostModels
 -> Prices
 -> OrdExUnits
 -> OrdExUnits
 -> Word32
 -> Word16
 -> Word16
 -> LegacyPParams AlonzoEra)
-> Encode
     (Closed Dense)
     (CoinPerByte
      -> CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall t. t -> Encode (Closed Dense) t
Rec CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CoinPerWord
-> CostModels
-> Prices
-> OrdExUnits
-> OrdExUnits
-> Word32
-> Word16
-> Word16
-> LegacyPParams AlonzoEra
mkLegacyAlonzoPParams
            Encode
  (Closed Dense)
  (CoinPerByte
   -> CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) CoinPerByte
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CoinPerByte -> Encode (Closed Dense) CoinPerByte
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CoinPerByte
HKD Identity CoinPerByte
appTxFeePerByte
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
appTxFeeFixed
            Encode
  (Closed Dense)
  (Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word32
HKD Identity Word32
appMaxBBSize
            Encode
  (Closed Dense)
  (Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word32
HKD Identity Word32
appMaxTxSize
            Encode
  (Closed Dense)
  (Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) Word16
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
appMaxBHSize
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
appKeyDeposit
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
appPoolDeposit
            Encode
  (Closed Dense)
  (EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) EpochInterval
-> Encode
     (Closed Dense)
     (Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> EpochInterval -> Encode (Closed Dense) EpochInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To EpochInterval
HKD Identity EpochInterval
appEMax
            Encode
  (Closed Dense)
  (Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) Word16
-> Encode
     (Closed Dense)
     (NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
appNOpt
            Encode
  (Closed Dense)
  (NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) NonNegativeInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> NonNegativeInterval -> Encode (Closed Dense) NonNegativeInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity NonNegativeInterval
NonNegativeInterval
appA0
            Encode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
appRho
            Encode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
appTau
            Encode
  (Closed Dense)
  (UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
appD
            Encode
  (Closed Dense)
  (Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) Nonce
-> Encode
     (Closed Dense)
     (Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Nonce -> Encode (Closed Dense) Nonce
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity Nonce
Nonce
appExtraEntropy
            Encode
  (Closed Dense)
  (Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) Version
-> Encode
     (Closed Dense)
     (Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Version -> Encode (Closed Dense) Version
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To (ProtVer -> Version
pvMajor HKD Identity ProtVer
ProtVer
appProtocolVersion)
            Encode
  (Closed Dense)
  (Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To (ProtVer -> Word32
pvMinor HKD Identity ProtVer
ProtVer
appProtocolVersion)
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
appMinPoolCost
            -- new/updated for alonzo
            Encode
  (Closed Dense)
  (CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) CoinPerWord
-> Encode
     (Closed Dense)
     (CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CoinPerWord -> Encode (Closed Dense) CoinPerWord
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CoinPerWord
HKD Identity CoinPerWord
appCoinsPerUTxOWord
            Encode
  (Closed Dense)
  (CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) CostModels
-> Encode
     (Closed Dense)
     (Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CostModels -> Encode (Closed Dense) CostModels
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CostModels
HKD Identity CostModels
appCostModels
            Encode
  (Closed Dense)
  (Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) Prices
-> Encode
     (Closed Dense)
     (OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Prices -> Encode (Closed Dense) Prices
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Prices
HKD Identity Prices
appPrices
            Encode
  (Closed Dense)
  (OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) OrdExUnits
-> Encode
     (Closed Dense)
     (OrdExUnits
      -> Word32 -> Word16 -> Word16 -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> OrdExUnits -> Encode (Closed Dense) OrdExUnits
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To OrdExUnits
HKD Identity OrdExUnits
appMaxTxExUnits
            Encode
  (Closed Dense)
  (OrdExUnits
   -> Word32 -> Word16 -> Word16 -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) OrdExUnits
-> Encode
     (Closed Dense)
     (Word32 -> Word16 -> Word16 -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> OrdExUnits -> Encode (Closed Dense) OrdExUnits
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To OrdExUnits
HKD Identity OrdExUnits
appMaxBlockExUnits
            Encode
  (Closed Dense)
  (Word32 -> Word16 -> Word16 -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense) (Word16 -> Word16 -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word32
HKD Identity Word32
appMaxValSize
            Encode (Closed Dense) (Word16 -> Word16 -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) Word16
-> Encode (Closed Dense) (Word16 -> LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
appCollateralPercentage
            Encode (Closed Dense) (Word16 -> LegacyPParams AlonzoEra)
-> Encode (Closed Dense) Word16
-> Encode (Closed Dense) (LegacyPParams AlonzoEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
appMaxCollateralInputs
        )
   where
    mkLegacyAlonzoPParams :: CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CoinPerWord
-> CostModels
-> Prices
-> OrdExUnits
-> OrdExUnits
-> Word32
-> Word16
-> Word16
-> LegacyPParams AlonzoEra
mkLegacyAlonzoPParams CoinPerByte
a CompactForm Coin
b Word32
c Word32
d Word16
e CompactForm Coin
f CompactForm Coin
g EpochInterval
h Word16
i NonNegativeInterval
j UnitInterval
k UnitInterval
l UnitInterval
m Nonce
n Version
o Word32
p CompactForm Coin
q CoinPerWord
r CostModels
s Prices
t OrdExUnits
u OrdExUnits
v Word32
w Word16
x Word16
y =
      PParams AlonzoEra -> LegacyPParams AlonzoEra
forall era. PParams era -> LegacyPParams era
LegacyPParams (PParams AlonzoEra -> LegacyPParams AlonzoEra)
-> PParams AlonzoEra -> LegacyPParams AlonzoEra
forall a b. (a -> b) -> a -> b
$
        PParamsHKD Identity AlonzoEra -> PParams AlonzoEra
forall era. PParamsHKD Identity era -> PParams era
PParams (PParamsHKD Identity AlonzoEra -> PParams AlonzoEra)
-> PParamsHKD Identity AlonzoEra -> PParams AlonzoEra
forall a b. (a -> b) -> a -> b
$
          forall (f :: * -> *) era.
HKD f CoinPerByte
-> HKD f (CompactForm Coin)
-> HKD f Word32
-> HKD f Word32
-> HKD f Word16
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> HKD f EpochInterval
-> HKD f Word16
-> HKD f NonNegativeInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f Nonce
-> HKD f ProtVer
-> HKD f (CompactForm Coin)
-> HKD f CoinPerWord
-> HKD f CostModels
-> HKD f Prices
-> HKD f OrdExUnits
-> HKD f OrdExUnits
-> HKD f Word32
-> HKD f Word16
-> HKD f Word16
-> AlonzoPParams f era
AlonzoPParams @Identity @AlonzoEra CoinPerByte
HKD Identity CoinPerByte
a CompactForm Coin
HKD Identity (CompactForm Coin)
b Word32
HKD Identity Word32
c Word32
HKD Identity Word32
d Word16
HKD Identity Word16
e CompactForm Coin
HKD Identity (CompactForm Coin)
f CompactForm Coin
HKD Identity (CompactForm Coin)
g EpochInterval
HKD Identity EpochInterval
h Word16
HKD Identity Word16
i HKD Identity NonNegativeInterval
NonNegativeInterval
j HKD Identity UnitInterval
UnitInterval
k HKD Identity UnitInterval
UnitInterval
l HKD Identity UnitInterval
UnitInterval
m HKD Identity Nonce
Nonce
n (Version -> Word32 -> ProtVer
ProtVer Version
o Word32
p) CompactForm Coin
HKD Identity (CompactForm Coin)
q CoinPerWord
HKD Identity CoinPerWord
r CostModels
HKD Identity CostModels
s Prices
HKD Identity Prices
t OrdExUnits
HKD Identity OrdExUnits
u OrdExUnits
HKD Identity OrdExUnits
v Word32
HKD Identity Word32
w Word16
HKD Identity Word16
x Word16
HKD Identity Word16
y

instance FromCBOR (LegacyPParams AlonzoEra) where
  fromCBOR :: forall s. Decoder s (LegacyPParams AlonzoEra)
fromCBOR =
    forall era t s. Era era => Decoder s t -> Decoder s t
eraDecoder @AlonzoEra (Decoder s (LegacyPParams AlonzoEra)
 -> Decoder s (LegacyPParams AlonzoEra))
-> Decoder s (LegacyPParams AlonzoEra)
-> Decoder s (LegacyPParams AlonzoEra)
forall a b. (a -> b) -> a -> b
$
      Decode (Closed Dense) (LegacyPParams AlonzoEra)
-> Decoder s (LegacyPParams AlonzoEra)
forall t (w :: Wrapped) s. Typeable t => Decode w t -> Decoder s t
decode (Decode (Closed Dense) (LegacyPParams AlonzoEra)
 -> Decoder s (LegacyPParams AlonzoEra))
-> Decode (Closed Dense) (LegacyPParams AlonzoEra)
-> Decoder s (LegacyPParams AlonzoEra)
forall a b. (a -> b) -> a -> b
$
        (CoinPerByte
 -> CompactForm Coin
 -> Word32
 -> Word32
 -> Word16
 -> CompactForm Coin
 -> CompactForm Coin
 -> EpochInterval
 -> Word16
 -> NonNegativeInterval
 -> UnitInterval
 -> UnitInterval
 -> UnitInterval
 -> Nonce
 -> Version
 -> Word32
 -> CompactForm Coin
 -> CoinPerWord
 -> CostModels
 -> Prices
 -> OrdExUnits
 -> OrdExUnits
 -> Word32
 -> Word16
 -> Word16
 -> LegacyPParams AlonzoEra)
-> Decode
     (Closed Dense)
     (CoinPerByte
      -> CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall t. t -> Decode (Closed Dense) t
RecD CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CoinPerWord
-> CostModels
-> Prices
-> OrdExUnits
-> OrdExUnits
-> Word32
-> Word16
-> Word16
-> LegacyPParams AlonzoEra
mkLegacyAlonzoPParams
          Decode
  (Closed Dense)
  (CoinPerByte
   -> CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 78)) CoinPerByte
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 78)) CoinPerByte
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appMinFeeA
          Decode
  (Closed Dense)
  (CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 77)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 77)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appMinFeeB
          Decode
  (Closed Dense)
  (Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 76)) Word32
-> Decode
     (Closed Dense)
     (Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 76)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appMaxBBSize
          Decode
  (Closed Dense)
  (Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 75)) Word32
-> Decode
     (Closed Dense)
     (Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 75)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appMaxTxSize
          Decode
  (Closed Dense)
  (Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 74)) Word16
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 74)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appMaxBHSize
          Decode
  (Closed Dense)
  (CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 73)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 73)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appKeyDeposit
          Decode
  (Closed Dense)
  (CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 72)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 72)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appPoolDeposit
          Decode
  (Closed Dense)
  (EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 71)) EpochInterval
-> Decode
     (Closed Dense)
     (Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 71)) EpochInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appEMax
          Decode
  (Closed Dense)
  (Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 70)) Word16
-> Decode
     (Closed Dense)
     (NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 70)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appNOpt
          Decode
  (Closed Dense)
  (NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 69)) NonNegativeInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 69)) NonNegativeInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appA0
          Decode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 68)) UnitInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 68)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appRho
          Decode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 67)) UnitInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 67)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appTau
          Decode
  (Closed Dense)
  (UnitInterval
   -> Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 66)) UnitInterval
-> Decode
     (Closed Dense)
     (Nonce
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 66)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appD
          Decode
  (Closed Dense)
  (Nonce
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 65)) Nonce
-> Decode
     (Closed Dense)
     (Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 65)) Nonce
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appExtraEntropy
          Decode
  (Closed Dense)
  (Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 64)) Version
-> Decode
     (Closed Dense)
     (Word32
      -> CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 64)) Version
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- pvMajor appProtocolVersion
          Decode
  (Closed Dense)
  (Word32
   -> CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 63)) Word32
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 63)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- pvMinor
          Decode
  (Closed Dense)
  (CompactForm Coin
   -> CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 62)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (CoinPerWord
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 62)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appMinPoolCost
          -- new/updated for alonzo
          Decode
  (Closed Dense)
  (CoinPerWord
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 61)) CoinPerWord
-> Decode
     (Closed Dense)
     (CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 61)) CoinPerWord
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appCoinsPerUTxOWord
          Decode
  (Closed Dense)
  (CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 60)) CostModels
-> Decode
     (Closed Dense)
     (Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 60)) CostModels
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appCostModels
          Decode
  (Closed Dense)
  (Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 59)) Prices
-> Decode
     (Closed Dense)
     (OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 59)) Prices
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appPrices
          Decode
  (Closed Dense)
  (OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 58)) OrdExUnits
-> Decode
     (Closed Dense)
     (OrdExUnits
      -> Word32 -> Word16 -> Word16 -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 58)) OrdExUnits
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appMaxTxExUnits
          Decode
  (Closed Dense)
  (OrdExUnits
   -> Word32 -> Word16 -> Word16 -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 57)) OrdExUnits
-> Decode
     (Closed Dense)
     (Word32 -> Word16 -> Word16 -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 57)) OrdExUnits
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appMaxBlockExUnits
          Decode
  (Closed Dense)
  (Word32 -> Word16 -> Word16 -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 56)) Word32
-> Decode
     (Closed Dense) (Word16 -> Word16 -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 56)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appMaxValSize
          Decode (Closed Dense) (Word16 -> Word16 -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 55)) Word16
-> Decode (Closed Dense) (Word16 -> LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 55)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appCollateralPercentage
          Decode (Closed Dense) (Word16 -> LegacyPParams AlonzoEra)
-> Decode (Closed (ZonkAny 54)) Word16
-> Decode (Closed Dense) (LegacyPParams AlonzoEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 54)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- appMaxCollateralInputs
   where
    mkLegacyAlonzoPParams :: CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> UnitInterval
-> Nonce
-> Version
-> Word32
-> CompactForm Coin
-> CoinPerWord
-> CostModels
-> Prices
-> OrdExUnits
-> OrdExUnits
-> Word32
-> Word16
-> Word16
-> LegacyPParams AlonzoEra
mkLegacyAlonzoPParams CoinPerByte
a CompactForm Coin
b Word32
c Word32
d Word16
e CompactForm Coin
f CompactForm Coin
g EpochInterval
h Word16
i NonNegativeInterval
j UnitInterval
k UnitInterval
l UnitInterval
m Nonce
n Version
o Word32
p CompactForm Coin
q CoinPerWord
r CostModels
s Prices
t OrdExUnits
u OrdExUnits
v Word32
w Word16
x Word16
y =
      PParams AlonzoEra -> LegacyPParams AlonzoEra
forall era. PParams era -> LegacyPParams era
LegacyPParams (PParams AlonzoEra -> LegacyPParams AlonzoEra)
-> PParams AlonzoEra -> LegacyPParams AlonzoEra
forall a b. (a -> b) -> a -> b
$
        PParamsHKD Identity AlonzoEra -> PParams AlonzoEra
forall era. PParamsHKD Identity era -> PParams era
PParams (PParamsHKD Identity AlonzoEra -> PParams AlonzoEra)
-> PParamsHKD Identity AlonzoEra -> PParams AlonzoEra
forall a b. (a -> b) -> a -> b
$
          forall (f :: * -> *) era.
HKD f CoinPerByte
-> HKD f (CompactForm Coin)
-> HKD f Word32
-> HKD f Word32
-> HKD f Word16
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> HKD f EpochInterval
-> HKD f Word16
-> HKD f NonNegativeInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f Nonce
-> HKD f ProtVer
-> HKD f (CompactForm Coin)
-> HKD f CoinPerWord
-> HKD f CostModels
-> HKD f Prices
-> HKD f OrdExUnits
-> HKD f OrdExUnits
-> HKD f Word32
-> HKD f Word16
-> HKD f Word16
-> AlonzoPParams f era
AlonzoPParams @Identity @AlonzoEra CoinPerByte
HKD Identity CoinPerByte
a CompactForm Coin
HKD Identity (CompactForm Coin)
b Word32
HKD Identity Word32
c Word32
HKD Identity Word32
d Word16
HKD Identity Word16
e CompactForm Coin
HKD Identity (CompactForm Coin)
f CompactForm Coin
HKD Identity (CompactForm Coin)
g EpochInterval
HKD Identity EpochInterval
h Word16
HKD Identity Word16
i HKD Identity NonNegativeInterval
NonNegativeInterval
j HKD Identity UnitInterval
UnitInterval
k HKD Identity UnitInterval
UnitInterval
l HKD Identity UnitInterval
UnitInterval
m HKD Identity Nonce
Nonce
n (Version -> Word32 -> ProtVer
ProtVer Version
o Word32
p) CompactForm Coin
HKD Identity (CompactForm Coin)
q CoinPerWord
HKD Identity CoinPerWord
r CostModels
HKD Identity CostModels
s Prices
HKD Identity Prices
t OrdExUnits
HKD Identity OrdExUnits
u OrdExUnits
HKD Identity OrdExUnits
v Word32
HKD Identity Word32
w Word16
HKD Identity Word16
x Word16
HKD Identity Word16
y

instance ToCBOR (LegacyPParams BabbageEra) where
  toCBOR :: LegacyPParams BabbageEra -> Encoding
toCBOR (LegacyPParams (PParams BabbagePParams{HKD Identity Word16
HKD Identity Word32
HKD Identity CoinPerByte
HKD Identity OrdExUnits
HKD Identity CostModels
HKD Identity Prices
HKD Identity EpochInterval
HKD Identity (CompactForm Coin)
HKD Identity NonNegativeInterval
HKD Identity ProtVer
HKD Identity UnitInterval
bppTxFeePerByte :: HKD Identity CoinPerByte
bppTxFeeFixed :: HKD Identity (CompactForm Coin)
bppMaxBBSize :: HKD Identity Word32
bppMaxTxSize :: HKD Identity Word32
bppMaxBHSize :: HKD Identity Word16
bppKeyDeposit :: HKD Identity (CompactForm Coin)
bppPoolDeposit :: HKD Identity (CompactForm Coin)
bppEMax :: HKD Identity EpochInterval
bppNOpt :: HKD Identity Word16
bppA0 :: HKD Identity NonNegativeInterval
bppRho :: HKD Identity UnitInterval
bppTau :: HKD Identity UnitInterval
bppProtocolVersion :: HKD Identity ProtVer
bppMinPoolCost :: HKD Identity (CompactForm Coin)
bppCoinsPerUTxOByte :: HKD Identity CoinPerByte
bppCostModels :: HKD Identity CostModels
bppPrices :: HKD Identity Prices
bppMaxTxExUnits :: HKD Identity OrdExUnits
bppMaxBlockExUnits :: HKD Identity OrdExUnits
bppMaxValSize :: HKD Identity Word32
bppCollateralPercentage :: HKD Identity Word16
bppMaxCollateralInputs :: HKD Identity Word16
bppA0 :: forall (f :: * -> *) era.
BabbagePParams f era -> HKD f NonNegativeInterval
bppCoinsPerUTxOByte :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f CoinPerByte
bppCollateralPercentage :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word16
bppCostModels :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f CostModels
bppEMax :: forall (f :: * -> *) era.
BabbagePParams f era -> HKD f EpochInterval
bppKeyDeposit :: forall (f :: * -> *) era.
BabbagePParams f era -> HKD f (CompactForm Coin)
bppMaxBBSize :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word32
bppMaxBHSize :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word16
bppMaxBlockExUnits :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f OrdExUnits
bppMaxCollateralInputs :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word16
bppMaxTxExUnits :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f OrdExUnits
bppMaxTxSize :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word32
bppMaxValSize :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word32
bppMinPoolCost :: forall (f :: * -> *) era.
BabbagePParams f era -> HKD f (CompactForm Coin)
bppNOpt :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word16
bppPoolDeposit :: forall (f :: * -> *) era.
BabbagePParams f era -> HKD f (CompactForm Coin)
bppPrices :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f Prices
bppProtocolVersion :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f ProtVer
bppRho :: forall (f :: * -> *) era.
BabbagePParams f era -> HKD f UnitInterval
bppTau :: forall (f :: * -> *) era.
BabbagePParams f era -> HKD f UnitInterval
bppTxFeeFixed :: forall (f :: * -> *) era.
BabbagePParams f era -> HKD f (CompactForm Coin)
bppTxFeePerByte :: forall (f :: * -> *) era. BabbagePParams f era -> HKD f CoinPerByte
..})) =
    Version -> Encoding -> Encoding
toPlainEncoding (forall era. Era era => Version
eraProtVerLow @BabbageEra) (Encoding -> Encoding) -> Encoding -> Encoding
forall a b. (a -> b) -> a -> b
$
      Encode (Closed Dense) (LegacyPParams BabbageEra) -> Encoding
forall (w :: Wrapped) t. Encode w t -> Encoding
encode
        ( (CoinPerByte
 -> CompactForm Coin
 -> Word32
 -> Word32
 -> Word16
 -> CompactForm Coin
 -> CompactForm Coin
 -> EpochInterval
 -> Word16
 -> NonNegativeInterval
 -> UnitInterval
 -> UnitInterval
 -> Version
 -> Word32
 -> CompactForm Coin
 -> CoinPerByte
 -> CostModels
 -> Prices
 -> OrdExUnits
 -> OrdExUnits
 -> Word32
 -> Word16
 -> Word16
 -> LegacyPParams BabbageEra)
-> Encode
     (Closed Dense)
     (CoinPerByte
      -> CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall t. t -> Encode (Closed Dense) t
Rec CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> Version
-> Word32
-> CompactForm Coin
-> CoinPerByte
-> CostModels
-> Prices
-> OrdExUnits
-> OrdExUnits
-> Word32
-> Word16
-> Word16
-> LegacyPParams BabbageEra
mkLegacyBabbagePParams
            Encode
  (Closed Dense)
  (CoinPerByte
   -> CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) CoinPerByte
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CoinPerByte -> Encode (Closed Dense) CoinPerByte
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CoinPerByte
HKD Identity CoinPerByte
bppTxFeePerByte
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
bppTxFeeFixed
            Encode
  (Closed Dense)
  (Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word32
HKD Identity Word32
bppMaxBBSize
            Encode
  (Closed Dense)
  (Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word32
HKD Identity Word32
bppMaxTxSize
            Encode
  (Closed Dense)
  (Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) Word16
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
bppMaxBHSize
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
bppKeyDeposit
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
bppPoolDeposit
            Encode
  (Closed Dense)
  (EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) EpochInterval
-> Encode
     (Closed Dense)
     (Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> EpochInterval -> Encode (Closed Dense) EpochInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To EpochInterval
HKD Identity EpochInterval
bppEMax
            Encode
  (Closed Dense)
  (Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) Word16
-> Encode
     (Closed Dense)
     (NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
bppNOpt
            Encode
  (Closed Dense)
  (NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) NonNegativeInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> NonNegativeInterval -> Encode (Closed Dense) NonNegativeInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity NonNegativeInterval
NonNegativeInterval
bppA0
            Encode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
bppRho
            Encode
  (Closed Dense)
  (UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) UnitInterval
-> Encode
     (Closed Dense)
     (Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> UnitInterval -> Encode (Closed Dense) UnitInterval
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To HKD Identity UnitInterval
UnitInterval
bppTau
            Encode
  (Closed Dense)
  (Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) Version
-> Encode
     (Closed Dense)
     (Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Version -> Encode (Closed Dense) Version
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To (ProtVer -> Version
pvMajor HKD Identity ProtVer
ProtVer
bppProtocolVersion)
            Encode
  (Closed Dense)
  (Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense)
     (CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To (ProtVer -> Word32
pvMinor HKD Identity ProtVer
ProtVer
bppProtocolVersion)
            Encode
  (Closed Dense)
  (CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) (CompactForm Coin)
-> Encode
     (Closed Dense)
     (CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CompactForm Coin -> Encode (Closed Dense) (CompactForm Coin)
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CompactForm Coin
HKD Identity (CompactForm Coin)
bppMinPoolCost
            Encode
  (Closed Dense)
  (CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) CoinPerByte
-> Encode
     (Closed Dense)
     (CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CoinPerByte -> Encode (Closed Dense) CoinPerByte
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CoinPerByte
HKD Identity CoinPerByte
bppCoinsPerUTxOByte
            Encode
  (Closed Dense)
  (CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) CostModels
-> Encode
     (Closed Dense)
     (Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> CostModels -> Encode (Closed Dense) CostModels
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To CostModels
HKD Identity CostModels
bppCostModels
            Encode
  (Closed Dense)
  (Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) Prices
-> Encode
     (Closed Dense)
     (OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Prices -> Encode (Closed Dense) Prices
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Prices
HKD Identity Prices
bppPrices
            Encode
  (Closed Dense)
  (OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) OrdExUnits
-> Encode
     (Closed Dense)
     (OrdExUnits
      -> Word32 -> Word16 -> Word16 -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> OrdExUnits -> Encode (Closed Dense) OrdExUnits
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To OrdExUnits
HKD Identity OrdExUnits
bppMaxTxExUnits
            Encode
  (Closed Dense)
  (OrdExUnits
   -> Word32 -> Word16 -> Word16 -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) OrdExUnits
-> Encode
     (Closed Dense)
     (Word32 -> Word16 -> Word16 -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> OrdExUnits -> Encode (Closed Dense) OrdExUnits
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To OrdExUnits
HKD Identity OrdExUnits
bppMaxBlockExUnits
            Encode
  (Closed Dense)
  (Word32 -> Word16 -> Word16 -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) Word32
-> Encode
     (Closed Dense) (Word16 -> Word16 -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word32 -> Encode (Closed Dense) Word32
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word32
HKD Identity Word32
bppMaxValSize
            Encode
  (Closed Dense) (Word16 -> Word16 -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) Word16
-> Encode (Closed Dense) (Word16 -> LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
bppCollateralPercentage
            Encode (Closed Dense) (Word16 -> LegacyPParams BabbageEra)
-> Encode (Closed Dense) Word16
-> Encode (Closed Dense) (LegacyPParams BabbageEra)
forall (w :: Wrapped) a t (r :: Density).
Encode w (a -> t) -> Encode (Closed r) a -> Encode w t
!> Word16 -> Encode (Closed Dense) Word16
forall t. EncCBOR t => t -> Encode (Closed Dense) t
To Word16
HKD Identity Word16
bppMaxCollateralInputs
        )
   where
    mkLegacyBabbagePParams :: CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> Version
-> Word32
-> CompactForm Coin
-> CoinPerByte
-> CostModels
-> Prices
-> OrdExUnits
-> OrdExUnits
-> Word32
-> Word16
-> Word16
-> LegacyPParams BabbageEra
mkLegacyBabbagePParams CoinPerByte
a CompactForm Coin
b Word32
c Word32
d Word16
e CompactForm Coin
f CompactForm Coin
g EpochInterval
h Word16
i NonNegativeInterval
j UnitInterval
k UnitInterval
l Version
m Word32
n CompactForm Coin
o CoinPerByte
p CostModels
q Prices
r OrdExUnits
s OrdExUnits
t Word32
u Word16
v Word16
w =
      PParams BabbageEra -> LegacyPParams BabbageEra
forall era. PParams era -> LegacyPParams era
LegacyPParams (PParams BabbageEra -> LegacyPParams BabbageEra)
-> PParams BabbageEra -> LegacyPParams BabbageEra
forall a b. (a -> b) -> a -> b
$
        PParamsHKD Identity BabbageEra -> PParams BabbageEra
forall era. PParamsHKD Identity era -> PParams era
PParams (PParamsHKD Identity BabbageEra -> PParams BabbageEra)
-> PParamsHKD Identity BabbageEra -> PParams BabbageEra
forall a b. (a -> b) -> a -> b
$
          forall (f :: * -> *) era.
HKD f CoinPerByte
-> HKD f (CompactForm Coin)
-> HKD f Word32
-> HKD f Word32
-> HKD f Word16
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> HKD f EpochInterval
-> HKD f Word16
-> HKD f NonNegativeInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f ProtVer
-> HKD f (CompactForm Coin)
-> HKD f CoinPerByte
-> HKD f CostModels
-> HKD f Prices
-> HKD f OrdExUnits
-> HKD f OrdExUnits
-> HKD f Word32
-> HKD f Word16
-> HKD f Word16
-> BabbagePParams f era
BabbagePParams @Identity @BabbageEra CoinPerByte
HKD Identity CoinPerByte
a CompactForm Coin
HKD Identity (CompactForm Coin)
b Word32
HKD Identity Word32
c Word32
HKD Identity Word32
d Word16
HKD Identity Word16
e CompactForm Coin
HKD Identity (CompactForm Coin)
f CompactForm Coin
HKD Identity (CompactForm Coin)
g EpochInterval
HKD Identity EpochInterval
h Word16
HKD Identity Word16
i HKD Identity NonNegativeInterval
NonNegativeInterval
j HKD Identity UnitInterval
UnitInterval
k HKD Identity UnitInterval
UnitInterval
l (Version -> Word32 -> ProtVer
ProtVer Version
m Word32
n) CompactForm Coin
HKD Identity (CompactForm Coin)
o CoinPerByte
HKD Identity CoinPerByte
p CostModels
HKD Identity CostModels
q Prices
HKD Identity Prices
r OrdExUnits
HKD Identity OrdExUnits
s OrdExUnits
HKD Identity OrdExUnits
t Word32
HKD Identity Word32
u Word16
HKD Identity Word16
v Word16
HKD Identity Word16
w

instance FromCBOR (LegacyPParams BabbageEra) where
  fromCBOR :: forall s. Decoder s (LegacyPParams BabbageEra)
fromCBOR =
    forall era t s. Era era => Decoder s t -> Decoder s t
eraDecoder @BabbageEra (Decoder s (LegacyPParams BabbageEra)
 -> Decoder s (LegacyPParams BabbageEra))
-> Decoder s (LegacyPParams BabbageEra)
-> Decoder s (LegacyPParams BabbageEra)
forall a b. (a -> b) -> a -> b
$
      Decode (Closed Dense) (LegacyPParams BabbageEra)
-> Decoder s (LegacyPParams BabbageEra)
forall t (w :: Wrapped) s. Typeable t => Decode w t -> Decoder s t
decode (Decode (Closed Dense) (LegacyPParams BabbageEra)
 -> Decoder s (LegacyPParams BabbageEra))
-> Decode (Closed Dense) (LegacyPParams BabbageEra)
-> Decoder s (LegacyPParams BabbageEra)
forall a b. (a -> b) -> a -> b
$
        (CoinPerByte
 -> CompactForm Coin
 -> Word32
 -> Word32
 -> Word16
 -> CompactForm Coin
 -> CompactForm Coin
 -> EpochInterval
 -> Word16
 -> NonNegativeInterval
 -> UnitInterval
 -> UnitInterval
 -> Version
 -> Word32
 -> CompactForm Coin
 -> CoinPerByte
 -> CostModels
 -> Prices
 -> OrdExUnits
 -> OrdExUnits
 -> Word32
 -> Word16
 -> Word16
 -> LegacyPParams BabbageEra)
-> Decode
     (Closed Dense)
     (CoinPerByte
      -> CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall t. t -> Decode (Closed Dense) t
RecD CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> Version
-> Word32
-> CompactForm Coin
-> CoinPerByte
-> CostModels
-> Prices
-> OrdExUnits
-> OrdExUnits
-> Word32
-> Word16
-> Word16
-> LegacyPParams BabbageEra
mkLegacyBabbagePParams
          Decode
  (Closed Dense)
  (CoinPerByte
   -> CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 101)) CoinPerByte
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 101)) CoinPerByte
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppMinFeeA
          Decode
  (Closed Dense)
  (CompactForm Coin
   -> Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 100)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (Word32
      -> Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 100)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppMinFeeB
          Decode
  (Closed Dense)
  (Word32
   -> Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 99)) Word32
-> Decode
     (Closed Dense)
     (Word32
      -> Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 99)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppMaxBBSize
          Decode
  (Closed Dense)
  (Word32
   -> Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 98)) Word32
-> Decode
     (Closed Dense)
     (Word16
      -> CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 98)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppMaxTxSize
          Decode
  (Closed Dense)
  (Word16
   -> CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 97)) Word16
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 97)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppMaxBHSize
          Decode
  (Closed Dense)
  (CompactForm Coin
   -> CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 96)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 96)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppKeyDeposit
          Decode
  (Closed Dense)
  (CompactForm Coin
   -> EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 95)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (EpochInterval
      -> Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 95)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppPoolDeposit
          Decode
  (Closed Dense)
  (EpochInterval
   -> Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 94)) EpochInterval
-> Decode
     (Closed Dense)
     (Word16
      -> NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 94)) EpochInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppEMax
          Decode
  (Closed Dense)
  (Word16
   -> NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 93)) Word16
-> Decode
     (Closed Dense)
     (NonNegativeInterval
      -> UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 93)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppNOpt
          Decode
  (Closed Dense)
  (NonNegativeInterval
   -> UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 92)) NonNegativeInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 92)) NonNegativeInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppA0
          Decode
  (Closed Dense)
  (UnitInterval
   -> UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 91)) UnitInterval
-> Decode
     (Closed Dense)
     (UnitInterval
      -> Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 91)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppRho
          Decode
  (Closed Dense)
  (UnitInterval
   -> Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 90)) UnitInterval
-> Decode
     (Closed Dense)
     (Version
      -> Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 90)) UnitInterval
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppTau
          Decode
  (Closed Dense)
  (Version
   -> Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 89)) Version
-> Decode
     (Closed Dense)
     (Word32
      -> CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 89)) Version
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- pvMajor bppProtocolVersion
          Decode
  (Closed Dense)
  (Word32
   -> CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 88)) Word32
-> Decode
     (Closed Dense)
     (CompactForm Coin
      -> CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 88)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- pvMinor bppProtocolVersion
          Decode
  (Closed Dense)
  (CompactForm Coin
   -> CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 87)) (CompactForm Coin)
-> Decode
     (Closed Dense)
     (CoinPerByte
      -> CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 87)) (CompactForm Coin)
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppMinPoolCost
          Decode
  (Closed Dense)
  (CoinPerByte
   -> CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 86)) CoinPerByte
-> Decode
     (Closed Dense)
     (CostModels
      -> Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 86)) CoinPerByte
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppCoinsPerUTxOByte
          Decode
  (Closed Dense)
  (CostModels
   -> Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 85)) CostModels
-> Decode
     (Closed Dense)
     (Prices
      -> OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 85)) CostModels
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppCostModels
          Decode
  (Closed Dense)
  (Prices
   -> OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 84)) Prices
-> Decode
     (Closed Dense)
     (OrdExUnits
      -> OrdExUnits
      -> Word32
      -> Word16
      -> Word16
      -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 84)) Prices
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppPrices
          Decode
  (Closed Dense)
  (OrdExUnits
   -> OrdExUnits
   -> Word32
   -> Word16
   -> Word16
   -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 83)) OrdExUnits
-> Decode
     (Closed Dense)
     (OrdExUnits
      -> Word32 -> Word16 -> Word16 -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 83)) OrdExUnits
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppMaxTxExUnits
          Decode
  (Closed Dense)
  (OrdExUnits
   -> Word32 -> Word16 -> Word16 -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 82)) OrdExUnits
-> Decode
     (Closed Dense)
     (Word32 -> Word16 -> Word16 -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 82)) OrdExUnits
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- bppMaxBlockExUnits
          Decode
  (Closed Dense)
  (Word32 -> Word16 -> Word16 -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 81)) Word32
-> Decode
     (Closed Dense) (Word16 -> Word16 -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 81)) Word32
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- maxValSize
          Decode
  (Closed Dense) (Word16 -> Word16 -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 80)) Word16
-> Decode (Closed Dense) (Word16 -> LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 80)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- collateralPercentage
          Decode (Closed Dense) (Word16 -> LegacyPParams BabbageEra)
-> Decode (Closed (ZonkAny 79)) Word16
-> Decode (Closed Dense) (LegacyPParams BabbageEra)
forall a (w1 :: Wrapped) t (w :: Density).
Typeable a =>
Decode w1 (a -> t) -> Decode (Closed w) a -> Decode w1 t
<! Decode (Closed (ZonkAny 79)) Word16
forall t (w :: Wrapped). DecCBOR t => Decode w t
From -- maxCollateralInputs
   where
    mkLegacyBabbagePParams :: CoinPerByte
-> CompactForm Coin
-> Word32
-> Word32
-> Word16
-> CompactForm Coin
-> CompactForm Coin
-> EpochInterval
-> Word16
-> NonNegativeInterval
-> UnitInterval
-> UnitInterval
-> Version
-> Word32
-> CompactForm Coin
-> CoinPerByte
-> CostModels
-> Prices
-> OrdExUnits
-> OrdExUnits
-> Word32
-> Word16
-> Word16
-> LegacyPParams BabbageEra
mkLegacyBabbagePParams CoinPerByte
a CompactForm Coin
b Word32
c Word32
d Word16
e CompactForm Coin
f CompactForm Coin
g EpochInterval
h Word16
i NonNegativeInterval
j UnitInterval
k UnitInterval
l Version
m Word32
n CompactForm Coin
o CoinPerByte
p CostModels
q Prices
r OrdExUnits
s OrdExUnits
t Word32
u Word16
v Word16
w =
      PParams BabbageEra -> LegacyPParams BabbageEra
forall era. PParams era -> LegacyPParams era
LegacyPParams (PParams BabbageEra -> LegacyPParams BabbageEra)
-> PParams BabbageEra -> LegacyPParams BabbageEra
forall a b. (a -> b) -> a -> b
$
        PParamsHKD Identity BabbageEra -> PParams BabbageEra
forall era. PParamsHKD Identity era -> PParams era
PParams (PParamsHKD Identity BabbageEra -> PParams BabbageEra)
-> PParamsHKD Identity BabbageEra -> PParams BabbageEra
forall a b. (a -> b) -> a -> b
$
          forall (f :: * -> *) era.
HKD f CoinPerByte
-> HKD f (CompactForm Coin)
-> HKD f Word32
-> HKD f Word32
-> HKD f Word16
-> HKD f (CompactForm Coin)
-> HKD f (CompactForm Coin)
-> HKD f EpochInterval
-> HKD f Word16
-> HKD f NonNegativeInterval
-> HKD f UnitInterval
-> HKD f UnitInterval
-> HKD f ProtVer
-> HKD f (CompactForm Coin)
-> HKD f CoinPerByte
-> HKD f CostModels
-> HKD f Prices
-> HKD f OrdExUnits
-> HKD f OrdExUnits
-> HKD f Word32
-> HKD f Word16
-> HKD f Word16
-> BabbagePParams f era
BabbagePParams @Identity @BabbageEra CoinPerByte
HKD Identity CoinPerByte
a CompactForm Coin
HKD Identity (CompactForm Coin)
b Word32
HKD Identity Word32
c Word32
HKD Identity Word32
d Word16
HKD Identity Word16
e CompactForm Coin
HKD Identity (CompactForm Coin)
f CompactForm Coin
HKD Identity (CompactForm Coin)
g EpochInterval
HKD Identity EpochInterval
h Word16
HKD Identity Word16
i HKD Identity NonNegativeInterval
NonNegativeInterval
j HKD Identity UnitInterval
UnitInterval
k HKD Identity UnitInterval
UnitInterval
l (Version -> Word32 -> ProtVer
ProtVer Version
m Word32
n) CompactForm Coin
HKD Identity (CompactForm Coin)
o CoinPerByte
HKD Identity CoinPerByte
p CostModels
HKD Identity CostModels
q Prices
HKD Identity Prices
r OrdExUnits
HKD Identity OrdExUnits
s OrdExUnits
HKD Identity OrdExUnits
t Word32
HKD Identity Word32
u Word16
HKD Identity Word16
v Word16
HKD Identity Word16
w

instance ToCBOR (LegacyPParams ConwayEra) where
  toCBOR :: LegacyPParams ConwayEra -> Encoding
toCBOR = PParams ConwayEra -> Encoding
forall a. ToCBOR a => a -> Encoding
toCBOR (PParams ConwayEra -> Encoding)
-> (LegacyPParams ConwayEra -> PParams ConwayEra)
-> LegacyPParams ConwayEra
-> Encoding
forall b c a. (b -> c) -> (a -> b) -> a -> c
. LegacyPParams ConwayEra -> PParams ConwayEra
forall era. LegacyPParams era -> PParams era
unLegacyPParams

instance FromCBOR (LegacyPParams ConwayEra) where
  fromCBOR :: forall s. Decoder s (LegacyPParams ConwayEra)
fromCBOR = PParams ConwayEra -> LegacyPParams ConwayEra
forall era. PParams era -> LegacyPParams era
LegacyPParams (PParams ConwayEra -> LegacyPParams ConwayEra)
-> Decoder s (PParams ConwayEra)
-> Decoder s (LegacyPParams ConwayEra)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Decoder s (PParams ConwayEra)
forall s. Decoder s (PParams ConwayEra)
forall a s. FromCBOR a => Decoder s a
fromCBOR

instance ToCBOR (LegacyPParams DijkstraEra) where
  toCBOR :: LegacyPParams DijkstraEra -> Encoding
toCBOR = PParams DijkstraEra -> Encoding
forall a. ToCBOR a => a -> Encoding
toCBOR (PParams DijkstraEra -> Encoding)
-> (LegacyPParams DijkstraEra -> PParams DijkstraEra)
-> LegacyPParams DijkstraEra
-> Encoding
forall b c a. (b -> c) -> (a -> b) -> a -> c
. LegacyPParams DijkstraEra -> PParams DijkstraEra
forall era. LegacyPParams era -> PParams era
unLegacyPParams

instance FromCBOR (LegacyPParams DijkstraEra) where
  fromCBOR :: forall s. Decoder s (LegacyPParams DijkstraEra)
fromCBOR = PParams DijkstraEra -> LegacyPParams DijkstraEra
forall era. PParams era -> LegacyPParams era
LegacyPParams (PParams DijkstraEra -> LegacyPParams DijkstraEra)
-> Decoder s (PParams DijkstraEra)
-> Decoder s (LegacyPParams DijkstraEra)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Decoder s (PParams DijkstraEra)
forall s. Decoder s (PParams DijkstraEra)
forall a s. FromCBOR a => Decoder s a
fromCBOR