{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -Wno-orphans #-}

module Cardano.Api.Internal.Orphans.Misc
  (
  )
where

import Cardano.Api.Error
import Cardano.Api.Pretty

import Cardano.Chain.Genesis qualified as Byron
import Cardano.Ledger.Alonzo.PParams qualified as Ledger
import Cardano.Ledger.Babbage.PParams qualified as Ledger
import Cardano.Ledger.BaseTypes (strictMaybeToMaybe)
import Cardano.Ledger.BaseTypes qualified as Ledger
import Cardano.Ledger.Binary
import Cardano.Ledger.Binary qualified as CBOR
import Cardano.Ledger.Coin qualified as L
import Cardano.Ledger.Conway.PParams qualified as Ledger
import Cardano.Ledger.HKD (NoUpdate (..))
import Cardano.Ledger.Plutus.Language qualified as L
import Cardano.Ledger.Shelley.PParams qualified as Ledger
import Ouroboros.Consensus.Cardano.Block (EraMismatch (..))
import Ouroboros.Consensus.HardFork.History.Qry (PastHorizonException (..))
import Ouroboros.Consensus.HardFork.History.Summary
  ( Bound (..)
  , EraEnd (..)
  , EraSummary (..)
  )
import PlutusLedgerApi.Common qualified as P

import Codec.Binary.Bech32 qualified as Bech32
import Data.Bits (Bits)
import Data.Data (Data)
import Data.ListMap (ListMap)
import Data.ListMap qualified as ListMap
import Data.Maybe.Strict (StrictMaybe (..))
import Data.Monoid
import Data.Text.Encoding.Error qualified as T
import Data.Type.Equality
import Data.Typeable
import GHC.Exts (IsList (..))
import GHC.Stack (prettyCallStack)
import Network.Mux qualified as Mux
import Prettyprinter (indent)
import Text.Parsec.Error qualified as P

deriving instance Data DecoderError

deriving instance Data CBOR.DeserialiseFailure

deriving instance Data Bech32.DecodingError

deriving instance Data Bech32.CharPosition

-- | These instances originally existed on the Lovelace type.
-- As the Lovelace type is deleted and we use L.Coin instead,
-- these instances are added to L.Coin.  The instances are
-- purely for the convenience of writing expressions involving
-- L.Coin but be aware that not all uses of these typeclasses
-- are valid.
deriving newtype instance Real L.Coin

deriving newtype instance Integral L.Coin

deriving newtype instance Num L.Coin

deriving newtype instance Bits L.Coin

-- We wrap the individual records with Last and use Last's Semigroup instance.
-- In this instance we take the last 'Just' value or the only 'Just' value
instance Semigroup (Ledger.ShelleyPParams StrictMaybe era) where
  <> :: ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era
(<>) ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2 =
    let fsppTxFeePerByte :: StrictMaybe CoinPerByte
fsppTxFeePerByte = (ShelleyPParams StrictMaybe era -> StrictMaybe CoinPerByte)
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe CoinPerByte
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe CoinPerByte
ShelleyPParams StrictMaybe era -> HKD StrictMaybe CoinPerByte
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f CoinPerByte
Ledger.sppTxFeePerByte ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppTxFeeFixed :: StrictMaybe (CompactForm Coin)
fsppTxFeeFixed = (ShelleyPParams StrictMaybe era -> StrictMaybe (CompactForm Coin))
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe (CompactForm Coin)
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe (CompactForm Coin)
ShelleyPParams StrictMaybe era
-> HKD StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
Ledger.sppTxFeeFixed ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppMaxBBSize :: StrictMaybe Word32
fsppMaxBBSize = (ShelleyPParams StrictMaybe era -> StrictMaybe Word32)
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe Word32
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe Word32
ShelleyPParams StrictMaybe era -> HKD StrictMaybe Word32
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word32
Ledger.sppMaxBBSize ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppMaxTxSize :: StrictMaybe Word32
fsppMaxTxSize = (ShelleyPParams StrictMaybe era -> StrictMaybe Word32)
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe Word32
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe Word32
ShelleyPParams StrictMaybe era -> HKD StrictMaybe Word32
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word32
Ledger.sppMaxTxSize ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppMaxBHSize :: StrictMaybe Word16
fsppMaxBHSize = (ShelleyPParams StrictMaybe era -> StrictMaybe Word16)
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe Word16
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe Word16
ShelleyPParams StrictMaybe era -> HKD StrictMaybe Word16
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word16
Ledger.sppMaxBHSize ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppKeyDeposit :: StrictMaybe (CompactForm Coin)
fsppKeyDeposit = (ShelleyPParams StrictMaybe era -> StrictMaybe (CompactForm Coin))
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe (CompactForm Coin)
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe (CompactForm Coin)
ShelleyPParams StrictMaybe era
-> HKD StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
Ledger.sppKeyDeposit ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppPoolDeposit :: StrictMaybe (CompactForm Coin)
fsppPoolDeposit = (ShelleyPParams StrictMaybe era -> StrictMaybe (CompactForm Coin))
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe (CompactForm Coin)
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe (CompactForm Coin)
ShelleyPParams StrictMaybe era
-> HKD StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
Ledger.sppPoolDeposit ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppEMax :: StrictMaybe EpochInterval
fsppEMax = (ShelleyPParams StrictMaybe era -> StrictMaybe EpochInterval)
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe EpochInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe EpochInterval
ShelleyPParams StrictMaybe era -> HKD StrictMaybe EpochInterval
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f EpochInterval
Ledger.sppEMax ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppNOpt :: StrictMaybe Word16
fsppNOpt = (ShelleyPParams StrictMaybe era -> StrictMaybe Word16)
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe Word16
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe Word16
ShelleyPParams StrictMaybe era -> HKD StrictMaybe Word16
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Word16
Ledger.sppNOpt ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppA0 :: StrictMaybe NonNegativeInterval
fsppA0 = (ShelleyPParams StrictMaybe era -> StrictMaybe NonNegativeInterval)
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe NonNegativeInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe NonNegativeInterval
ShelleyPParams StrictMaybe era
-> HKD StrictMaybe NonNegativeInterval
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f NonNegativeInterval
Ledger.sppA0 ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppRho :: StrictMaybe UnitInterval
fsppRho = (ShelleyPParams StrictMaybe era -> StrictMaybe UnitInterval)
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe UnitInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe UnitInterval
ShelleyPParams StrictMaybe era -> HKD StrictMaybe UnitInterval
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
Ledger.sppRho ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppTau :: StrictMaybe UnitInterval
fsppTau = (ShelleyPParams StrictMaybe era -> StrictMaybe UnitInterval)
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe UnitInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe UnitInterval
ShelleyPParams StrictMaybe era -> HKD StrictMaybe UnitInterval
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
Ledger.sppTau ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppD :: StrictMaybe UnitInterval
fsppD = (ShelleyPParams StrictMaybe era -> StrictMaybe UnitInterval)
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe UnitInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe UnitInterval
ShelleyPParams StrictMaybe era -> HKD StrictMaybe UnitInterval
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f UnitInterval
Ledger.sppD ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppExtraEntropy :: StrictMaybe Nonce
fsppExtraEntropy = (ShelleyPParams StrictMaybe era -> StrictMaybe Nonce)
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe Nonce
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe Nonce
ShelleyPParams StrictMaybe era -> HKD StrictMaybe Nonce
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f Nonce
Ledger.sppExtraEntropy ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppProtocolVersion :: StrictMaybe ProtVer
fsppProtocolVersion = (ShelleyPParams StrictMaybe era -> StrictMaybe ProtVer)
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe ProtVer
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe ProtVer
ShelleyPParams StrictMaybe era -> HKD StrictMaybe ProtVer
forall (f :: * -> *) era. ShelleyPParams f era -> HKD f ProtVer
Ledger.sppProtocolVersion ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppMinUTxOValue :: StrictMaybe (CompactForm Coin)
fsppMinUTxOValue = (ShelleyPParams StrictMaybe era -> StrictMaybe (CompactForm Coin))
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe (CompactForm Coin)
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe (CompactForm Coin)
ShelleyPParams StrictMaybe era
-> HKD StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
Ledger.sppMinUTxOValue ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
        fsppMinPoolCost :: StrictMaybe (CompactForm Coin)
fsppMinPoolCost = (ShelleyPParams StrictMaybe era -> StrictMaybe (CompactForm Coin))
-> ShelleyPParams StrictMaybe era
-> ShelleyPParams StrictMaybe era
-> StrictMaybe (CompactForm Coin)
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith ShelleyPParams StrictMaybe era -> StrictMaybe (CompactForm Coin)
ShelleyPParams StrictMaybe era
-> HKD StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
ShelleyPParams f era -> HKD f (CompactForm Coin)
Ledger.sppMinPoolCost ShelleyPParams StrictMaybe era
pp1 ShelleyPParams StrictMaybe era
pp2
     in Ledger.ShelleyPParams
          { sppTxFeePerByte :: HKD StrictMaybe CoinPerByte
Ledger.sppTxFeePerByte = StrictMaybe CoinPerByte
HKD StrictMaybe CoinPerByte
fsppTxFeePerByte
          , sppTxFeeFixed :: HKD StrictMaybe (CompactForm Coin)
Ledger.sppTxFeeFixed = StrictMaybe (CompactForm Coin)
HKD StrictMaybe (CompactForm Coin)
fsppTxFeeFixed
          , sppMaxBBSize :: HKD StrictMaybe Word32
Ledger.sppMaxBBSize = StrictMaybe Word32
HKD StrictMaybe Word32
fsppMaxBBSize
          , sppMaxTxSize :: HKD StrictMaybe Word32
Ledger.sppMaxTxSize = StrictMaybe Word32
HKD StrictMaybe Word32
fsppMaxTxSize
          , sppMaxBHSize :: HKD StrictMaybe Word16
Ledger.sppMaxBHSize = StrictMaybe Word16
HKD StrictMaybe Word16
fsppMaxBHSize
          , sppKeyDeposit :: HKD StrictMaybe (CompactForm Coin)
Ledger.sppKeyDeposit = StrictMaybe (CompactForm Coin)
HKD StrictMaybe (CompactForm Coin)
fsppKeyDeposit
          , sppPoolDeposit :: HKD StrictMaybe (CompactForm Coin)
Ledger.sppPoolDeposit = StrictMaybe (CompactForm Coin)
HKD StrictMaybe (CompactForm Coin)
fsppPoolDeposit
          , sppEMax :: HKD StrictMaybe EpochInterval
Ledger.sppEMax = StrictMaybe EpochInterval
HKD StrictMaybe EpochInterval
fsppEMax
          , sppNOpt :: HKD StrictMaybe Word16
Ledger.sppNOpt = StrictMaybe Word16
HKD StrictMaybe Word16
fsppNOpt
          , sppA0 :: HKD StrictMaybe NonNegativeInterval
Ledger.sppA0 = StrictMaybe NonNegativeInterval
HKD StrictMaybe NonNegativeInterval
fsppA0
          , sppRho :: HKD StrictMaybe UnitInterval
Ledger.sppRho = StrictMaybe UnitInterval
HKD StrictMaybe UnitInterval
fsppRho
          , sppTau :: HKD StrictMaybe UnitInterval
Ledger.sppTau = StrictMaybe UnitInterval
HKD StrictMaybe UnitInterval
fsppTau
          , sppD :: HKD StrictMaybe UnitInterval
Ledger.sppD = StrictMaybe UnitInterval
HKD StrictMaybe UnitInterval
fsppD
          , sppExtraEntropy :: HKD StrictMaybe Nonce
Ledger.sppExtraEntropy = StrictMaybe Nonce
HKD StrictMaybe Nonce
fsppExtraEntropy
          , sppProtocolVersion :: HKD StrictMaybe ProtVer
Ledger.sppProtocolVersion = StrictMaybe ProtVer
HKD StrictMaybe ProtVer
fsppProtocolVersion
          , sppMinUTxOValue :: HKD StrictMaybe (CompactForm Coin)
Ledger.sppMinUTxOValue = StrictMaybe (CompactForm Coin)
HKD StrictMaybe (CompactForm Coin)
fsppMinUTxOValue
          , sppMinPoolCost :: HKD StrictMaybe (CompactForm Coin)
Ledger.sppMinPoolCost = StrictMaybe (CompactForm Coin)
HKD StrictMaybe (CompactForm Coin)
fsppMinPoolCost
          }

instance Semigroup (Ledger.AlonzoPParams StrictMaybe era) where
  <> :: AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era
(<>) AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2 =
    let fappTxFeePerByte :: StrictMaybe CoinPerByte
fappTxFeePerByte = (AlonzoPParams StrictMaybe era -> StrictMaybe CoinPerByte)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe CoinPerByte
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe CoinPerByte
AlonzoPParams StrictMaybe era -> HKD StrictMaybe CoinPerByte
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f CoinPerByte
Ledger.appTxFeePerByte AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappTxFeeFixed :: StrictMaybe (CompactForm Coin)
fappTxFeeFixed = (AlonzoPParams StrictMaybe era -> StrictMaybe (CompactForm Coin))
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe (CompactForm Coin)
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe (CompactForm Coin)
AlonzoPParams StrictMaybe era -> HKD StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
AlonzoPParams f era -> HKD f (CompactForm Coin)
Ledger.appTxFeeFixed AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappMaxBBSize :: StrictMaybe Word32
fappMaxBBSize = (AlonzoPParams StrictMaybe era -> StrictMaybe Word32)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe Word32
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe Word32
AlonzoPParams StrictMaybe era -> HKD StrictMaybe Word32
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word32
Ledger.appMaxBBSize AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappMaxTxSize :: StrictMaybe Word32
fappMaxTxSize = (AlonzoPParams StrictMaybe era -> StrictMaybe Word32)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe Word32
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe Word32
AlonzoPParams StrictMaybe era -> HKD StrictMaybe Word32
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word32
Ledger.appMaxTxSize AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappMaxBHSize :: StrictMaybe Word16
fappMaxBHSize = (AlonzoPParams StrictMaybe era -> StrictMaybe Word16)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe Word16
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe Word16
AlonzoPParams StrictMaybe era -> HKD StrictMaybe Word16
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word16
Ledger.appMaxBHSize AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappKeyDeposit :: StrictMaybe (CompactForm Coin)
fappKeyDeposit = (AlonzoPParams StrictMaybe era -> StrictMaybe (CompactForm Coin))
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe (CompactForm Coin)
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe (CompactForm Coin)
AlonzoPParams StrictMaybe era -> HKD StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
AlonzoPParams f era -> HKD f (CompactForm Coin)
Ledger.appKeyDeposit AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappPoolDeposit :: StrictMaybe (CompactForm Coin)
fappPoolDeposit = (AlonzoPParams StrictMaybe era -> StrictMaybe (CompactForm Coin))
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe (CompactForm Coin)
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe (CompactForm Coin)
AlonzoPParams StrictMaybe era -> HKD StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
AlonzoPParams f era -> HKD f (CompactForm Coin)
Ledger.appPoolDeposit AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappEMax :: StrictMaybe EpochInterval
fappEMax = (AlonzoPParams StrictMaybe era -> StrictMaybe EpochInterval)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe EpochInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe EpochInterval
AlonzoPParams StrictMaybe era -> HKD StrictMaybe EpochInterval
forall (f :: * -> *) era.
AlonzoPParams f era -> HKD f EpochInterval
Ledger.appEMax AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappNOpt :: StrictMaybe Word16
fappNOpt = (AlonzoPParams StrictMaybe era -> StrictMaybe Word16)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe Word16
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe Word16
AlonzoPParams StrictMaybe era -> HKD StrictMaybe Word16
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word16
Ledger.appNOpt AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappA0 :: StrictMaybe NonNegativeInterval
fappA0 = (AlonzoPParams StrictMaybe era -> StrictMaybe NonNegativeInterval)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe NonNegativeInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe NonNegativeInterval
AlonzoPParams StrictMaybe era
-> HKD StrictMaybe NonNegativeInterval
forall (f :: * -> *) era.
AlonzoPParams f era -> HKD f NonNegativeInterval
Ledger.appA0 AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappRho :: StrictMaybe UnitInterval
fappRho = (AlonzoPParams StrictMaybe era -> StrictMaybe UnitInterval)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe UnitInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe UnitInterval
AlonzoPParams StrictMaybe era -> HKD StrictMaybe UnitInterval
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f UnitInterval
Ledger.appRho AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappTau :: StrictMaybe UnitInterval
fappTau = (AlonzoPParams StrictMaybe era -> StrictMaybe UnitInterval)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe UnitInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe UnitInterval
AlonzoPParams StrictMaybe era -> HKD StrictMaybe UnitInterval
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f UnitInterval
Ledger.appTau AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappD :: StrictMaybe UnitInterval
fappD = (AlonzoPParams StrictMaybe era -> StrictMaybe UnitInterval)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe UnitInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe UnitInterval
AlonzoPParams StrictMaybe era -> HKD StrictMaybe UnitInterval
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f UnitInterval
Ledger.appD AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappExtraEntropy :: StrictMaybe Nonce
fappExtraEntropy = (AlonzoPParams StrictMaybe era -> StrictMaybe Nonce)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe Nonce
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe Nonce
AlonzoPParams StrictMaybe era -> HKD StrictMaybe Nonce
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Nonce
Ledger.appExtraEntropy AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappProtocolVersion :: StrictMaybe ProtVer
fappProtocolVersion = (AlonzoPParams StrictMaybe era -> StrictMaybe ProtVer)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe ProtVer
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe ProtVer
AlonzoPParams StrictMaybe era -> HKD StrictMaybe ProtVer
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f ProtVer
Ledger.appProtocolVersion AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappMinPoolCost :: StrictMaybe (CompactForm Coin)
fappMinPoolCost = (AlonzoPParams StrictMaybe era -> StrictMaybe (CompactForm Coin))
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe (CompactForm Coin)
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe (CompactForm Coin)
AlonzoPParams StrictMaybe era -> HKD StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
AlonzoPParams f era -> HKD f (CompactForm Coin)
Ledger.appMinPoolCost AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappCoinsPerUTxOWord :: StrictMaybe CoinPerWord
fappCoinsPerUTxOWord = (AlonzoPParams StrictMaybe era -> StrictMaybe CoinPerWord)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe CoinPerWord
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe CoinPerWord
AlonzoPParams StrictMaybe era -> HKD StrictMaybe CoinPerWord
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f CoinPerWord
Ledger.appCoinsPerUTxOWord AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappCostModels :: StrictMaybe CostModels
fappCostModels = (AlonzoPParams StrictMaybe era -> StrictMaybe CostModels)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe CostModels
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe CostModels
AlonzoPParams StrictMaybe era -> HKD StrictMaybe CostModels
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f CostModels
Ledger.appCostModels AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappPrices :: StrictMaybe Prices
fappPrices = (AlonzoPParams StrictMaybe era -> StrictMaybe Prices)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe Prices
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe Prices
AlonzoPParams StrictMaybe era -> HKD StrictMaybe Prices
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Prices
Ledger.appPrices AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappMaxTxExUnits :: StrictMaybe OrdExUnits
fappMaxTxExUnits = (AlonzoPParams StrictMaybe era -> StrictMaybe OrdExUnits)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe OrdExUnits
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe OrdExUnits
AlonzoPParams StrictMaybe era -> HKD StrictMaybe OrdExUnits
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f OrdExUnits
Ledger.appMaxTxExUnits AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappMaxBlockExUnits :: StrictMaybe OrdExUnits
fappMaxBlockExUnits = (AlonzoPParams StrictMaybe era -> StrictMaybe OrdExUnits)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe OrdExUnits
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe OrdExUnits
AlonzoPParams StrictMaybe era -> HKD StrictMaybe OrdExUnits
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f OrdExUnits
Ledger.appMaxBlockExUnits AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappMaxValSize :: StrictMaybe Word32
fappMaxValSize = (AlonzoPParams StrictMaybe era -> StrictMaybe Word32)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe Word32
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe Word32
AlonzoPParams StrictMaybe era -> HKD StrictMaybe Word32
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word32
Ledger.appMaxValSize AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappCollateralPercentage :: StrictMaybe Word16
fappCollateralPercentage = (AlonzoPParams StrictMaybe era -> StrictMaybe Word16)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe Word16
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe Word16
AlonzoPParams StrictMaybe era -> HKD StrictMaybe Word16
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word16
Ledger.appCollateralPercentage AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
        fappMaxCollateralInputs :: StrictMaybe Word16
fappMaxCollateralInputs = (AlonzoPParams StrictMaybe era -> StrictMaybe Word16)
-> AlonzoPParams StrictMaybe era
-> AlonzoPParams StrictMaybe era
-> StrictMaybe Word16
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith AlonzoPParams StrictMaybe era -> StrictMaybe Word16
AlonzoPParams StrictMaybe era -> HKD StrictMaybe Word16
forall (f :: * -> *) era. AlonzoPParams f era -> HKD f Word16
Ledger.appMaxCollateralInputs AlonzoPParams StrictMaybe era
p1 AlonzoPParams StrictMaybe era
p2
     in Ledger.AlonzoPParams
          { appTxFeePerByte :: HKD StrictMaybe CoinPerByte
Ledger.appTxFeePerByte = StrictMaybe CoinPerByte
HKD StrictMaybe CoinPerByte
fappTxFeePerByte
          , appTxFeeFixed :: HKD StrictMaybe (CompactForm Coin)
Ledger.appTxFeeFixed = StrictMaybe (CompactForm Coin)
HKD StrictMaybe (CompactForm Coin)
fappTxFeeFixed
          , appMaxBBSize :: HKD StrictMaybe Word32
Ledger.appMaxBBSize = StrictMaybe Word32
HKD StrictMaybe Word32
fappMaxBBSize
          , appMaxTxSize :: HKD StrictMaybe Word32
Ledger.appMaxTxSize = StrictMaybe Word32
HKD StrictMaybe Word32
fappMaxTxSize
          , appMaxBHSize :: HKD StrictMaybe Word16
Ledger.appMaxBHSize = StrictMaybe Word16
HKD StrictMaybe Word16
fappMaxBHSize
          , appKeyDeposit :: HKD StrictMaybe (CompactForm Coin)
Ledger.appKeyDeposit = StrictMaybe (CompactForm Coin)
HKD StrictMaybe (CompactForm Coin)
fappKeyDeposit
          , appPoolDeposit :: HKD StrictMaybe (CompactForm Coin)
Ledger.appPoolDeposit = StrictMaybe (CompactForm Coin)
HKD StrictMaybe (CompactForm Coin)
fappPoolDeposit
          , appEMax :: HKD StrictMaybe EpochInterval
Ledger.appEMax = StrictMaybe EpochInterval
HKD StrictMaybe EpochInterval
fappEMax
          , appNOpt :: HKD StrictMaybe Word16
Ledger.appNOpt = StrictMaybe Word16
HKD StrictMaybe Word16
fappNOpt
          , appA0 :: HKD StrictMaybe NonNegativeInterval
Ledger.appA0 = StrictMaybe NonNegativeInterval
HKD StrictMaybe NonNegativeInterval
fappA0
          , appRho :: HKD StrictMaybe UnitInterval
Ledger.appRho = StrictMaybe UnitInterval
HKD StrictMaybe UnitInterval
fappRho
          , appTau :: HKD StrictMaybe UnitInterval
Ledger.appTau = StrictMaybe UnitInterval
HKD StrictMaybe UnitInterval
fappTau
          , appD :: HKD StrictMaybe UnitInterval
Ledger.appD = StrictMaybe UnitInterval
HKD StrictMaybe UnitInterval
fappD
          , appExtraEntropy :: HKD StrictMaybe Nonce
Ledger.appExtraEntropy = StrictMaybe Nonce
HKD StrictMaybe Nonce
fappExtraEntropy
          , appProtocolVersion :: HKD StrictMaybe ProtVer
Ledger.appProtocolVersion = StrictMaybe ProtVer
HKD StrictMaybe ProtVer
fappProtocolVersion
          , appMinPoolCost :: HKD StrictMaybe (CompactForm Coin)
Ledger.appMinPoolCost = StrictMaybe (CompactForm Coin)
HKD StrictMaybe (CompactForm Coin)
fappMinPoolCost
          , appCoinsPerUTxOWord :: HKD StrictMaybe CoinPerWord
Ledger.appCoinsPerUTxOWord = StrictMaybe CoinPerWord
HKD StrictMaybe CoinPerWord
fappCoinsPerUTxOWord
          , appCostModels :: HKD StrictMaybe CostModels
Ledger.appCostModels = StrictMaybe CostModels
HKD StrictMaybe CostModels
fappCostModels
          , appPrices :: HKD StrictMaybe Prices
Ledger.appPrices = StrictMaybe Prices
HKD StrictMaybe Prices
fappPrices
          , appMaxTxExUnits :: HKD StrictMaybe OrdExUnits
Ledger.appMaxTxExUnits = StrictMaybe OrdExUnits
HKD StrictMaybe OrdExUnits
fappMaxTxExUnits
          , appMaxBlockExUnits :: HKD StrictMaybe OrdExUnits
Ledger.appMaxBlockExUnits = StrictMaybe OrdExUnits
HKD StrictMaybe OrdExUnits
fappMaxBlockExUnits
          , appMaxValSize :: HKD StrictMaybe Word32
Ledger.appMaxValSize = StrictMaybe Word32
HKD StrictMaybe Word32
fappMaxValSize
          , appCollateralPercentage :: HKD StrictMaybe Word16
Ledger.appCollateralPercentage = StrictMaybe Word16
HKD StrictMaybe Word16
fappCollateralPercentage
          , appMaxCollateralInputs :: HKD StrictMaybe Word16
Ledger.appMaxCollateralInputs = StrictMaybe Word16
HKD StrictMaybe Word16
fappMaxCollateralInputs
          }

-- We're not interested in trying to mappend the underlying `Maybe` types
-- we only want to select one or the other therefore we use `Last`.
lastMappend :: StrictMaybe a -> StrictMaybe a -> StrictMaybe a
lastMappend :: forall a. StrictMaybe a -> StrictMaybe a -> StrictMaybe a
lastMappend StrictMaybe a
a StrictMaybe a
b = Maybe a -> StrictMaybe a
forall a. Maybe a -> StrictMaybe a
Ledger.maybeToStrictMaybe (Maybe a -> StrictMaybe a)
-> (Last a -> Maybe a) -> Last a -> StrictMaybe a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Last a -> Maybe a
forall a. Last a -> Maybe a
getLast (Last a -> StrictMaybe a) -> Last a -> StrictMaybe a
forall a b. (a -> b) -> a -> b
$ StrictMaybe a -> Last a
forall a. StrictMaybe a -> Last a
strictMaybeToLast StrictMaybe a
a Last a -> Last a -> Last a
forall a. Semigroup a => a -> a -> a
<> StrictMaybe a -> Last a
forall a. StrictMaybe a -> Last a
strictMaybeToLast StrictMaybe a
b
 where
  strictMaybeToLast :: StrictMaybe a -> Last a
  strictMaybeToLast :: forall a. StrictMaybe a -> Last a
strictMaybeToLast = Maybe a -> Last a
forall a. Maybe a -> Last a
Last (Maybe a -> Last a)
-> (StrictMaybe a -> Maybe a) -> StrictMaybe a -> Last a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StrictMaybe a -> Maybe a
forall a. StrictMaybe a -> Maybe a
strictMaybeToMaybe

lastMappendWith :: (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith :: forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith a -> StrictMaybe b
l = (a -> StrictMaybe b)
-> (StrictMaybe b -> StrictMaybe b -> StrictMaybe b)
-> a
-> a
-> StrictMaybe b
forall a c. (a -> c) -> (c -> c -> c) -> a -> a -> c
under2 a -> StrictMaybe b
l StrictMaybe b -> StrictMaybe b -> StrictMaybe b
forall a. StrictMaybe a -> StrictMaybe a -> StrictMaybe a
lastMappend
 where
  under2 :: (a -> c) -> (c -> c -> c) -> a -> a -> c
  under2 :: forall a c. (a -> c) -> (c -> c -> c) -> a -> a -> c
under2 a -> c
f c -> c -> c
g a
x a
y = c -> c -> c
g (a -> c
f a
x) (a -> c
f a
y)

instance Semigroup (Ledger.BabbagePParams StrictMaybe era) where
  <> :: BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era
(<>) BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2 =
    let fbppTxFeePerByte :: StrictMaybe CoinPerByte
fbppTxFeePerByte = (BabbagePParams StrictMaybe era -> StrictMaybe CoinPerByte)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe CoinPerByte
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe CoinPerByte
BabbagePParams StrictMaybe era -> HKD StrictMaybe CoinPerByte
forall (f :: * -> *) era. BabbagePParams f era -> HKD f CoinPerByte
Ledger.bppTxFeePerByte BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppTxFeeFixed :: StrictMaybe (CompactForm Coin)
fbppTxFeeFixed = (BabbagePParams StrictMaybe era -> StrictMaybe (CompactForm Coin))
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe (CompactForm Coin)
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe (CompactForm Coin)
BabbagePParams StrictMaybe era
-> HKD StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
BabbagePParams f era -> HKD f (CompactForm Coin)
Ledger.bppTxFeeFixed BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppMaxBBSize :: StrictMaybe Word32
fbppMaxBBSize = (BabbagePParams StrictMaybe era -> StrictMaybe Word32)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe Word32
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe Word32
BabbagePParams StrictMaybe era -> HKD StrictMaybe Word32
forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word32
Ledger.bppMaxBBSize BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppMaxTxSize :: StrictMaybe Word32
fbppMaxTxSize = (BabbagePParams StrictMaybe era -> StrictMaybe Word32)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe Word32
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe Word32
BabbagePParams StrictMaybe era -> HKD StrictMaybe Word32
forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word32
Ledger.bppMaxTxSize BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppMaxBHSize :: StrictMaybe Word16
fbppMaxBHSize = (BabbagePParams StrictMaybe era -> StrictMaybe Word16)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe Word16
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe Word16
BabbagePParams StrictMaybe era -> HKD StrictMaybe Word16
forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word16
Ledger.bppMaxBHSize BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppKeyDeposit :: StrictMaybe (CompactForm Coin)
fbppKeyDeposit = (BabbagePParams StrictMaybe era -> StrictMaybe (CompactForm Coin))
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe (CompactForm Coin)
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe (CompactForm Coin)
BabbagePParams StrictMaybe era
-> HKD StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
BabbagePParams f era -> HKD f (CompactForm Coin)
Ledger.bppKeyDeposit BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppPoolDeposit :: StrictMaybe (CompactForm Coin)
fbppPoolDeposit = (BabbagePParams StrictMaybe era -> StrictMaybe (CompactForm Coin))
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe (CompactForm Coin)
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe (CompactForm Coin)
BabbagePParams StrictMaybe era
-> HKD StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
BabbagePParams f era -> HKD f (CompactForm Coin)
Ledger.bppPoolDeposit BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppEMax :: StrictMaybe EpochInterval
fbppEMax = (BabbagePParams StrictMaybe era -> StrictMaybe EpochInterval)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe EpochInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe EpochInterval
BabbagePParams StrictMaybe era -> HKD StrictMaybe EpochInterval
forall (f :: * -> *) era.
BabbagePParams f era -> HKD f EpochInterval
Ledger.bppEMax BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppNOpt :: StrictMaybe Word16
fbppNOpt = (BabbagePParams StrictMaybe era -> StrictMaybe Word16)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe Word16
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe Word16
BabbagePParams StrictMaybe era -> HKD StrictMaybe Word16
forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word16
Ledger.bppNOpt BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppA0 :: StrictMaybe NonNegativeInterval
fbppA0 = (BabbagePParams StrictMaybe era -> StrictMaybe NonNegativeInterval)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe NonNegativeInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe NonNegativeInterval
BabbagePParams StrictMaybe era
-> HKD StrictMaybe NonNegativeInterval
forall (f :: * -> *) era.
BabbagePParams f era -> HKD f NonNegativeInterval
Ledger.bppA0 BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppRho :: StrictMaybe UnitInterval
fbppRho = (BabbagePParams StrictMaybe era -> StrictMaybe UnitInterval)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe UnitInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe UnitInterval
BabbagePParams StrictMaybe era -> HKD StrictMaybe UnitInterval
forall (f :: * -> *) era.
BabbagePParams f era -> HKD f UnitInterval
Ledger.bppRho BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppTau :: StrictMaybe UnitInterval
fbppTau = (BabbagePParams StrictMaybe era -> StrictMaybe UnitInterval)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe UnitInterval
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe UnitInterval
BabbagePParams StrictMaybe era -> HKD StrictMaybe UnitInterval
forall (f :: * -> *) era.
BabbagePParams f era -> HKD f UnitInterval
Ledger.bppTau BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppProtocolVersion :: StrictMaybe ProtVer
fbppProtocolVersion = (BabbagePParams StrictMaybe era -> StrictMaybe ProtVer)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe ProtVer
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe ProtVer
BabbagePParams StrictMaybe era -> HKD StrictMaybe ProtVer
forall (f :: * -> *) era. BabbagePParams f era -> HKD f ProtVer
Ledger.bppProtocolVersion BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppMinPoolCost :: StrictMaybe (CompactForm Coin)
fbppMinPoolCost = (BabbagePParams StrictMaybe era -> StrictMaybe (CompactForm Coin))
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe (CompactForm Coin)
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe (CompactForm Coin)
BabbagePParams StrictMaybe era
-> HKD StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
BabbagePParams f era -> HKD f (CompactForm Coin)
Ledger.bppMinPoolCost BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppCoinsPerUTxOByte :: StrictMaybe CoinPerByte
fbppCoinsPerUTxOByte = (BabbagePParams StrictMaybe era -> StrictMaybe CoinPerByte)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe CoinPerByte
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe CoinPerByte
BabbagePParams StrictMaybe era -> HKD StrictMaybe CoinPerByte
forall (f :: * -> *) era. BabbagePParams f era -> HKD f CoinPerByte
Ledger.bppCoinsPerUTxOByte BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppCostModels :: StrictMaybe CostModels
fbppCostModels = (BabbagePParams StrictMaybe era -> StrictMaybe CostModels)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe CostModels
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe CostModels
BabbagePParams StrictMaybe era -> HKD StrictMaybe CostModels
forall (f :: * -> *) era. BabbagePParams f era -> HKD f CostModels
Ledger.bppCostModels BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppPrices :: StrictMaybe Prices
fbppPrices = (BabbagePParams StrictMaybe era -> StrictMaybe Prices)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe Prices
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe Prices
BabbagePParams StrictMaybe era -> HKD StrictMaybe Prices
forall (f :: * -> *) era. BabbagePParams f era -> HKD f Prices
Ledger.bppPrices BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppMaxTxExUnits :: StrictMaybe OrdExUnits
fbppMaxTxExUnits = (BabbagePParams StrictMaybe era -> StrictMaybe OrdExUnits)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe OrdExUnits
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe OrdExUnits
BabbagePParams StrictMaybe era -> HKD StrictMaybe OrdExUnits
forall (f :: * -> *) era. BabbagePParams f era -> HKD f OrdExUnits
Ledger.bppMaxTxExUnits BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppMaxBlockExUnits :: StrictMaybe OrdExUnits
fbppMaxBlockExUnits = (BabbagePParams StrictMaybe era -> StrictMaybe OrdExUnits)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe OrdExUnits
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe OrdExUnits
BabbagePParams StrictMaybe era -> HKD StrictMaybe OrdExUnits
forall (f :: * -> *) era. BabbagePParams f era -> HKD f OrdExUnits
Ledger.bppMaxBlockExUnits BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppMaxValSize :: StrictMaybe Word32
fbppMaxValSize = (BabbagePParams StrictMaybe era -> StrictMaybe Word32)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe Word32
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe Word32
BabbagePParams StrictMaybe era -> HKD StrictMaybe Word32
forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word32
Ledger.bppMaxValSize BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppCollateralPercentage :: StrictMaybe Word16
fbppCollateralPercentage = (BabbagePParams StrictMaybe era -> StrictMaybe Word16)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe Word16
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe Word16
BabbagePParams StrictMaybe era -> HKD StrictMaybe Word16
forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word16
Ledger.bppCollateralPercentage BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
        fbppMaxCollateralInputs :: StrictMaybe Word16
fbppMaxCollateralInputs = (BabbagePParams StrictMaybe era -> StrictMaybe Word16)
-> BabbagePParams StrictMaybe era
-> BabbagePParams StrictMaybe era
-> StrictMaybe Word16
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith BabbagePParams StrictMaybe era -> StrictMaybe Word16
BabbagePParams StrictMaybe era -> HKD StrictMaybe Word16
forall (f :: * -> *) era. BabbagePParams f era -> HKD f Word16
Ledger.bppMaxCollateralInputs BabbagePParams StrictMaybe era
p1 BabbagePParams StrictMaybe era
p2
     in Ledger.BabbagePParams
          { bppTxFeePerByte :: HKD StrictMaybe CoinPerByte
Ledger.bppTxFeePerByte = StrictMaybe CoinPerByte
HKD StrictMaybe CoinPerByte
fbppTxFeePerByte
          , bppTxFeeFixed :: HKD StrictMaybe (CompactForm Coin)
Ledger.bppTxFeeFixed = StrictMaybe (CompactForm Coin)
HKD StrictMaybe (CompactForm Coin)
fbppTxFeeFixed
          , bppMaxBBSize :: HKD StrictMaybe Word32
Ledger.bppMaxBBSize = StrictMaybe Word32
HKD StrictMaybe Word32
fbppMaxBBSize
          , bppMaxTxSize :: HKD StrictMaybe Word32
Ledger.bppMaxTxSize = StrictMaybe Word32
HKD StrictMaybe Word32
fbppMaxTxSize
          , bppMaxBHSize :: HKD StrictMaybe Word16
Ledger.bppMaxBHSize = StrictMaybe Word16
HKD StrictMaybe Word16
fbppMaxBHSize
          , bppKeyDeposit :: HKD StrictMaybe (CompactForm Coin)
Ledger.bppKeyDeposit = StrictMaybe (CompactForm Coin)
HKD StrictMaybe (CompactForm Coin)
fbppKeyDeposit
          , bppPoolDeposit :: HKD StrictMaybe (CompactForm Coin)
Ledger.bppPoolDeposit = StrictMaybe (CompactForm Coin)
HKD StrictMaybe (CompactForm Coin)
fbppPoolDeposit
          , bppEMax :: HKD StrictMaybe EpochInterval
Ledger.bppEMax = StrictMaybe EpochInterval
HKD StrictMaybe EpochInterval
fbppEMax
          , bppNOpt :: HKD StrictMaybe Word16
Ledger.bppNOpt = StrictMaybe Word16
HKD StrictMaybe Word16
fbppNOpt
          , bppA0 :: HKD StrictMaybe NonNegativeInterval
Ledger.bppA0 = StrictMaybe NonNegativeInterval
HKD StrictMaybe NonNegativeInterval
fbppA0
          , bppRho :: HKD StrictMaybe UnitInterval
Ledger.bppRho = StrictMaybe UnitInterval
HKD StrictMaybe UnitInterval
fbppRho
          , bppTau :: HKD StrictMaybe UnitInterval
Ledger.bppTau = StrictMaybe UnitInterval
HKD StrictMaybe UnitInterval
fbppTau
          , bppProtocolVersion :: HKD StrictMaybe ProtVer
Ledger.bppProtocolVersion = StrictMaybe ProtVer
HKD StrictMaybe ProtVer
fbppProtocolVersion
          , bppMinPoolCost :: HKD StrictMaybe (CompactForm Coin)
Ledger.bppMinPoolCost = StrictMaybe (CompactForm Coin)
HKD StrictMaybe (CompactForm Coin)
fbppMinPoolCost
          , bppCoinsPerUTxOByte :: HKD StrictMaybe CoinPerByte
Ledger.bppCoinsPerUTxOByte = StrictMaybe CoinPerByte
HKD StrictMaybe CoinPerByte
fbppCoinsPerUTxOByte
          , bppCostModels :: HKD StrictMaybe CostModels
Ledger.bppCostModels = StrictMaybe CostModels
HKD StrictMaybe CostModels
fbppCostModels
          , bppPrices :: HKD StrictMaybe Prices
Ledger.bppPrices = StrictMaybe Prices
HKD StrictMaybe Prices
fbppPrices
          , bppMaxTxExUnits :: HKD StrictMaybe OrdExUnits
Ledger.bppMaxTxExUnits = StrictMaybe OrdExUnits
HKD StrictMaybe OrdExUnits
fbppMaxTxExUnits
          , bppMaxBlockExUnits :: HKD StrictMaybe OrdExUnits
Ledger.bppMaxBlockExUnits = StrictMaybe OrdExUnits
HKD StrictMaybe OrdExUnits
fbppMaxBlockExUnits
          , bppMaxValSize :: HKD StrictMaybe Word32
Ledger.bppMaxValSize = StrictMaybe Word32
HKD StrictMaybe Word32
fbppMaxValSize
          , bppCollateralPercentage :: HKD StrictMaybe Word16
Ledger.bppCollateralPercentage = StrictMaybe Word16
HKD StrictMaybe Word16
fbppCollateralPercentage
          , bppMaxCollateralInputs :: HKD StrictMaybe Word16
Ledger.bppMaxCollateralInputs = StrictMaybe Word16
HKD StrictMaybe Word16
fbppMaxCollateralInputs
          }

instance Semigroup (Ledger.ConwayPParams StrictMaybe era) where
  <> :: ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era
(<>) ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2 =
    Ledger.ConwayPParams
      { cppTxFeePerByte :: THKD
  ('PPGroups 'EconomicGroup 'SecurityGroup) StrictMaybe CoinPerByte
Ledger.cppTxFeePerByte = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'EconomicGroup 'SecurityGroup) StrictMaybe CoinPerByte)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'SecurityGroup) StrictMaybe CoinPerByte
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'SecurityGroup) StrictMaybe CoinPerByte
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte
Ledger.cppTxFeePerByte ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppTxFeeFixed :: THKD
  ('PPGroups 'EconomicGroup 'SecurityGroup)
  StrictMaybe
  (CompactForm Coin)
Ledger.cppTxFeeFixed = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'EconomicGroup 'SecurityGroup)
      StrictMaybe
      (CompactForm Coin))
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'SecurityGroup)
     StrictMaybe
     (CompactForm Coin)
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'SecurityGroup)
     StrictMaybe
     (CompactForm Coin)
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'EconomicGroup 'SecurityGroup) f (CompactForm Coin)
Ledger.cppTxFeeFixed ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppMaxBBSize :: THKD ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word32
Ledger.cppMaxBBSize = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word32)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word32
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word32
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
Ledger.cppMaxBBSize ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppMaxTxSize :: THKD ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word32
Ledger.cppMaxTxSize = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word32)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word32
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word32
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
Ledger.cppMaxTxSize ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppMaxBHSize :: THKD ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word16
Ledger.cppMaxBHSize = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word16)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word16
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word16
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word16
Ledger.cppMaxBHSize ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppKeyDeposit :: THKD
  ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
  StrictMaybe
  (CompactForm Coin)
Ledger.cppKeyDeposit = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
      StrictMaybe
      (CompactForm Coin))
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
     StrictMaybe
     (CompactForm Coin)
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
     StrictMaybe
     (CompactForm Coin)
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f (CompactForm Coin)
Ledger.cppKeyDeposit ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppPoolDeposit :: THKD
  ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
  StrictMaybe
  (CompactForm Coin)
Ledger.cppPoolDeposit = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
      StrictMaybe
      (CompactForm Coin))
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
     StrictMaybe
     (CompactForm Coin)
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
     StrictMaybe
     (CompactForm Coin)
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f (CompactForm Coin)
Ledger.cppPoolDeposit ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppEMax :: THKD
  ('PPGroups 'TechnicalGroup 'NoStakePoolGroup)
  StrictMaybe
  EpochInterval
Ledger.cppEMax = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'TechnicalGroup 'NoStakePoolGroup)
      StrictMaybe
      EpochInterval)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup)
     StrictMaybe
     EpochInterval
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup)
     StrictMaybe
     EpochInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f EpochInterval
Ledger.cppEMax ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppNOpt :: THKD
  ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) StrictMaybe Word16
Ledger.cppNOpt = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) StrictMaybe Word16)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) StrictMaybe Word16
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) StrictMaybe Word16
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16
Ledger.cppNOpt ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppA0 :: THKD
  ('PPGroups 'TechnicalGroup 'NoStakePoolGroup)
  StrictMaybe
  NonNegativeInterval
Ledger.cppA0 = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'TechnicalGroup 'NoStakePoolGroup)
      StrictMaybe
      NonNegativeInterval)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup)
     StrictMaybe
     NonNegativeInterval
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup)
     StrictMaybe
     NonNegativeInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f NonNegativeInterval
Ledger.cppA0 ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppRho :: THKD
  ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
  StrictMaybe
  UnitInterval
Ledger.cppRho = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
      StrictMaybe
      UnitInterval)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
     StrictMaybe
     UnitInterval
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
     StrictMaybe
     UnitInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval
Ledger.cppRho ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppTau :: THKD
  ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
  StrictMaybe
  UnitInterval
Ledger.cppTau = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
      StrictMaybe
      UnitInterval)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
     StrictMaybe
     UnitInterval
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
     StrictMaybe
     UnitInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f UnitInterval
Ledger.cppTau ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppProtocolVersion :: HKDNoUpdate StrictMaybe ProtVer
Ledger.cppProtocolVersion = HKDNoUpdate StrictMaybe ProtVer
NoUpdate ProtVer
forall a. NoUpdate a
NoUpdate -- For conway, protocol version cannot be changed via `PParamsUpdate`
      , cppMinPoolCost :: THKD
  ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
  StrictMaybe
  (CompactForm Coin)
Ledger.cppMinPoolCost = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
      StrictMaybe
      (CompactForm Coin))
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
     StrictMaybe
     (CompactForm Coin)
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup)
     StrictMaybe
     (CompactForm Coin)
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f (CompactForm Coin)
Ledger.cppMinPoolCost ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppCoinsPerUTxOByte :: THKD
  ('PPGroups 'EconomicGroup 'SecurityGroup) StrictMaybe CoinPerByte
Ledger.cppCoinsPerUTxOByte = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'EconomicGroup 'SecurityGroup) StrictMaybe CoinPerByte)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'SecurityGroup) StrictMaybe CoinPerByte
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'SecurityGroup) StrictMaybe CoinPerByte
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'SecurityGroup) f CoinPerByte
Ledger.cppCoinsPerUTxOByte ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppCostModels :: THKD
  ('PPGroups 'TechnicalGroup 'NoStakePoolGroup)
  StrictMaybe
  CostModels
Ledger.cppCostModels = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'TechnicalGroup 'NoStakePoolGroup)
      StrictMaybe
      CostModels)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup)
     StrictMaybe
     CostModels
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup)
     StrictMaybe
     CostModels
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f CostModels
Ledger.cppCostModels ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppPrices :: THKD
  ('PPGroups 'EconomicGroup 'NoStakePoolGroup) StrictMaybe Prices
Ledger.cppPrices = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'EconomicGroup 'NoStakePoolGroup) StrictMaybe Prices)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup) StrictMaybe Prices
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'NoStakePoolGroup) StrictMaybe Prices
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'EconomicGroup 'NoStakePoolGroup) f Prices
Ledger.cppPrices ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppMaxTxExUnits :: THKD
  ('PPGroups 'NetworkGroup 'NoStakePoolGroup) StrictMaybe OrdExUnits
Ledger.cppMaxTxExUnits = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'NetworkGroup 'NoStakePoolGroup) StrictMaybe OrdExUnits)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'NetworkGroup 'NoStakePoolGroup) StrictMaybe OrdExUnits
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'NetworkGroup 'NoStakePoolGroup) StrictMaybe OrdExUnits
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f OrdExUnits
Ledger.cppMaxTxExUnits ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppMaxBlockExUnits :: THKD
  ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe OrdExUnits
Ledger.cppMaxBlockExUnits = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe OrdExUnits)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe OrdExUnits
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe OrdExUnits
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f OrdExUnits
Ledger.cppMaxBlockExUnits ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppMaxValSize :: THKD ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word32
Ledger.cppMaxValSize = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word32)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word32
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) StrictMaybe Word32
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'SecurityGroup) f Word32
Ledger.cppMaxValSize ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppCollateralPercentage :: THKD
  ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) StrictMaybe Word16
Ledger.cppCollateralPercentage = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) StrictMaybe Word16)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) StrictMaybe Word16
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) StrictMaybe Word16
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'TechnicalGroup 'NoStakePoolGroup) f Word16
Ledger.cppCollateralPercentage ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppMaxCollateralInputs :: THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) StrictMaybe Word16
Ledger.cppMaxCollateralInputs = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'NetworkGroup 'NoStakePoolGroup) StrictMaybe Word16)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'NetworkGroup 'NoStakePoolGroup) StrictMaybe Word16
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'NetworkGroup 'NoStakePoolGroup) StrictMaybe Word16
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'NetworkGroup 'NoStakePoolGroup) f Word16
Ledger.cppMaxCollateralInputs ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppPoolVotingThresholds :: THKD
  ('PPGroups 'GovGroup 'NoStakePoolGroup)
  StrictMaybe
  PoolVotingThresholds
Ledger.cppPoolVotingThresholds = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'GovGroup 'NoStakePoolGroup)
      StrictMaybe
      PoolVotingThresholds)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup)
     StrictMaybe
     PoolVotingThresholds
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup)
     StrictMaybe
     PoolVotingThresholds
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup) f PoolVotingThresholds
Ledger.cppPoolVotingThresholds ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppDRepVotingThresholds :: THKD
  ('PPGroups 'GovGroup 'NoStakePoolGroup)
  StrictMaybe
  DRepVotingThresholds
Ledger.cppDRepVotingThresholds = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'GovGroup 'NoStakePoolGroup)
      StrictMaybe
      DRepVotingThresholds)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup)
     StrictMaybe
     DRepVotingThresholds
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup)
     StrictMaybe
     DRepVotingThresholds
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup) f DRepVotingThresholds
Ledger.cppDRepVotingThresholds ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppCommitteeMinSize :: THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe Word16
Ledger.cppCommitteeMinSize = (ConwayPParams StrictMaybe era
 -> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe Word16)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe Word16
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe Word16
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f Word16
Ledger.cppCommitteeMinSize ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppCommitteeMaxTermLength :: THKD
  ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe EpochInterval
Ledger.cppCommitteeMaxTermLength = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe EpochInterval)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe EpochInterval
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe EpochInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
Ledger.cppCommitteeMaxTermLength ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppGovActionLifetime :: THKD
  ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe EpochInterval
Ledger.cppGovActionLifetime = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe EpochInterval)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe EpochInterval
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe EpochInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
Ledger.cppGovActionLifetime ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppGovActionDeposit :: THKD
  ('PPGroups 'GovGroup 'SecurityGroup) StrictMaybe (CompactForm Coin)
Ledger.cppGovActionDeposit = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'GovGroup 'SecurityGroup)
      StrictMaybe
      (CompactForm Coin))
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'SecurityGroup) StrictMaybe (CompactForm Coin)
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'SecurityGroup) StrictMaybe (CompactForm Coin)
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'GovGroup 'SecurityGroup) f (CompactForm Coin)
Ledger.cppGovActionDeposit ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppDRepDeposit :: THKD
  ('PPGroups 'GovGroup 'NoStakePoolGroup)
  StrictMaybe
  (CompactForm Coin)
Ledger.cppDRepDeposit = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'GovGroup 'NoStakePoolGroup)
      StrictMaybe
      (CompactForm Coin))
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup)
     StrictMaybe
     (CompactForm Coin)
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup)
     StrictMaybe
     (CompactForm Coin)
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup) f (CompactForm Coin)
Ledger.cppDRepDeposit ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppDRepActivity :: THKD
  ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe EpochInterval
Ledger.cppDRepActivity = (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe EpochInterval)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe EpochInterval
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'GovGroup 'NoStakePoolGroup) StrictMaybe EpochInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD ('PPGroups 'GovGroup 'NoStakePoolGroup) f EpochInterval
Ledger.cppDRepActivity ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      , cppMinFeeRefScriptCostPerByte :: THKD
  ('PPGroups 'EconomicGroup 'SecurityGroup)
  StrictMaybe
  NonNegativeInterval
Ledger.cppMinFeeRefScriptCostPerByte =
          (ConwayPParams StrictMaybe era
 -> THKD
      ('PPGroups 'EconomicGroup 'SecurityGroup)
      StrictMaybe
      NonNegativeInterval)
-> ConwayPParams StrictMaybe era
-> ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'SecurityGroup)
     StrictMaybe
     NonNegativeInterval
forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD ConwayPParams StrictMaybe era
-> THKD
     ('PPGroups 'EconomicGroup 'SecurityGroup)
     StrictMaybe
     NonNegativeInterval
forall (f :: * -> *) era.
ConwayPParams f era
-> THKD
     ('PPGroups 'EconomicGroup 'SecurityGroup) f NonNegativeInterval
Ledger.cppMinFeeRefScriptCostPerByte ConwayPParams StrictMaybe era
p1 ConwayPParams StrictMaybe era
p2
      }

lastMappendWithTHKD :: (a -> Ledger.THKD g StrictMaybe b) -> a -> a -> Ledger.THKD g StrictMaybe b
lastMappendWithTHKD :: forall a (g :: PPGroups) b.
(a -> THKD g StrictMaybe b) -> a -> a -> THKD g StrictMaybe b
lastMappendWithTHKD a -> THKD g StrictMaybe b
f a
a a
b = HKD StrictMaybe b -> THKD g StrictMaybe b
forall (t :: PPGroups) (f :: * -> *) a. HKD f a -> THKD t f a
Ledger.THKD (HKD StrictMaybe b -> THKD g StrictMaybe b)
-> HKD StrictMaybe b -> THKD g StrictMaybe b
forall a b. (a -> b) -> a -> b
$ (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
forall a b. (a -> StrictMaybe b) -> a -> a -> StrictMaybe b
lastMappendWith (THKD g StrictMaybe b -> StrictMaybe b
THKD g StrictMaybe b -> HKD StrictMaybe b
forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
Ledger.unTHKD (THKD g StrictMaybe b -> StrictMaybe b)
-> (a -> THKD g StrictMaybe b) -> a -> StrictMaybe b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a -> THKD g StrictMaybe b
f) a
a a
b

instance Pretty Mux.Error where
  pretty :: forall ann. Error -> Doc ann
pretty Error
err = Doc ann
"Mux layer error:" Doc ann -> Doc ann -> Doc ann
forall ann. Doc ann -> Doc ann -> Doc ann
<+> Error -> Doc ann
forall a ann. Exception a => a -> Doc ann
prettyException Error
err

-- TODO upstream to cardano-ledger
instance IsList (ListMap k a) where
  type Item (ListMap k a) = (k, a)
  fromList :: [Item (ListMap k a)] -> ListMap k a
fromList = [(k, a)] -> ListMap k a
[Item (ListMap k a)] -> ListMap k a
forall k v. [(k, v)] -> ListMap k v
ListMap.fromList
  toList :: ListMap k a -> [Item (ListMap k a)]
toList = ListMap k a -> [(k, a)]
ListMap k a -> [Item (ListMap k a)]
forall k v. ListMap k v -> [(k, v)]
ListMap.toList

instance Error CBOR.DecoderError where
  prettyError :: forall ann. DecoderError -> Doc ann
prettyError = DecoderError -> Doc ann
forall a ann. Show a => a -> Doc ann
pshow

instance Error P.ScriptDecodeError where
  prettyError :: forall ann. ScriptDecodeError -> Doc ann
prettyError = ScriptDecodeError -> Doc ann
forall a ann. Show a => a -> Doc ann
pshow

instance Error T.UnicodeException where
  prettyError :: forall ann. UnicodeException -> Doc ann
prettyError = UnicodeException -> Doc ann
forall a ann. Show a => a -> Doc ann
pshow

instance Error EraMismatch where
  prettyError :: forall ann. EraMismatch -> Doc ann
prettyError (EraMismatch Text
ledgerEraName' Text
otherEraName') =
    Doc ann
"The era of the node and the tx do not match. "
      Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Doc ann
"The node is running in the "
      Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Text -> Doc ann
forall a ann. Show a => a -> Doc ann
pshow Text
ledgerEraName'
      Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Doc ann
" era, but the transaction is for the "
      Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Text -> Doc ann
forall a ann. Show a => a -> Doc ann
pshow Text
otherEraName'
      Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Doc ann
" era."

instance Error Byron.GenesisDataGenerationError where
  prettyError :: forall ann. GenesisDataGenerationError -> Doc ann
prettyError = [Char] -> Doc ann
forall ann. [Char] -> Doc ann
forall a ann. Pretty a => a -> Doc ann
pretty ([Char] -> Doc ann)
-> (GenesisDataGenerationError -> [Char])
-> GenesisDataGenerationError
-> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. GenesisDataGenerationError -> [Char]
forall a. Show a => a -> [Char]
show

instance Error P.ParseError where
  prettyError :: forall ann. ParseError -> Doc ann
prettyError = [Char] -> Doc ann
forall ann. [Char] -> Doc ann
forall a ann. Pretty a => a -> Doc ann
pretty ([Char] -> Doc ann)
-> (ParseError -> [Char]) -> ParseError -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ParseError -> [Char]
forall a. Show a => a -> [Char]
show

instance Error PastHorizonException where
  prettyError :: forall ann. PastHorizonException -> Doc ann
prettyError PastHorizonException
e =
    [Doc ann] -> Doc ann
forall ann. [Doc ann] -> Doc ann
vsep
      [ Doc ann
"Past horizon! Tried to convert a slot/time past the point where the"
          Doc ann -> Doc ann -> Doc ann
forall ann. Doc ann -> Doc ann -> Doc ann
<+> Doc ann
"hard fork history is known."
      , Doc ann
forall a. Monoid a => a
mempty
      , Doc ann
"Expression:" Doc ann -> Doc ann -> Doc ann
forall ann. Doc ann -> Doc ann -> Doc ann
<+> Some ClosedExpr -> Doc ann
forall a ann. Show a => a -> Doc ann
pshow (PastHorizonException -> Some ClosedExpr
pastHorizonExpression PastHorizonException
e)
      , Doc ann
forall a. Monoid a => a
mempty
      , Doc ann
"Era summary (" Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Int -> Doc ann
forall ann. Int -> Doc ann
forall a ann. Pretty a => a -> Doc ann
pretty ([EraSummary] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length ([EraSummary] -> Int) -> [EraSummary] -> Int
forall a b. (a -> b) -> a -> b
$ PastHorizonException -> [EraSummary]
pastHorizonSummary PastHorizonException
e) Doc ann -> Doc ann -> Doc ann
forall ann. Doc ann -> Doc ann -> Doc ann
<+> Doc ann
"eras):"
      , Int -> Doc ann -> Doc ann
forall ann. Int -> Doc ann -> Doc ann
indent Int
2 (Doc ann -> Doc ann)
-> ([Doc ann] -> Doc ann) -> [Doc ann] -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Doc ann] -> Doc ann
forall ann. [Doc ann] -> Doc ann
vsep ([Doc ann] -> Doc ann) -> [Doc ann] -> Doc ann
forall a b. (a -> b) -> a -> b
$ (Int -> EraSummary -> Doc ann)
-> [Int] -> [EraSummary] -> [Doc ann]
forall a b c. (a -> b -> c) -> [a] -> [b] -> [c]
zipWith Int -> EraSummary -> Doc ann
forall {a} {ann}. Pretty a => a -> EraSummary -> Doc ann
prettyEraSummary [Int
1 :: Int ..] (PastHorizonException -> [EraSummary]
pastHorizonSummary PastHorizonException
e)
      , Doc ann
forall a. Monoid a => a
mempty
      , Doc ann
"Call stack:"
      , Int -> Doc ann -> Doc ann
forall ann. Int -> Doc ann -> Doc ann
indent Int
2 (Doc ann -> Doc ann)
-> (CallStack -> Doc ann) -> CallStack -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> Doc ann
forall ann. [Char] -> Doc ann
forall a ann. Pretty a => a -> Doc ann
pretty ([Char] -> Doc ann)
-> (CallStack -> [Char]) -> CallStack -> Doc ann
forall b c a. (b -> c) -> (a -> b) -> a -> c
. CallStack -> [Char]
prettyCallStack (CallStack -> Doc ann) -> CallStack -> Doc ann
forall a b. (a -> b) -> a -> b
$ PastHorizonException -> CallStack
pastHorizonCallStack PastHorizonException
e
      ]
   where
    prettyEraSummary :: a -> EraSummary -> Doc ann
prettyEraSummary a
i EraSummary
era =
      Doc ann
"Era" Doc ann -> Doc ann -> Doc ann
forall ann. Doc ann -> Doc ann -> Doc ann
<+> a -> Doc ann
forall ann. a -> Doc ann
forall a ann. Pretty a => a -> Doc ann
pretty a
i Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Doc ann
":" Doc ann -> Doc ann -> Doc ann
forall ann. Doc ann -> Doc ann -> Doc ann
<+> Bound -> Doc ann
forall {ann}. Bound -> Doc ann
prettyBound (EraSummary -> Bound
eraStart EraSummary
era) Doc ann -> Doc ann -> Doc ann
forall ann. Doc ann -> Doc ann -> Doc ann
<+> Doc ann
"-" Doc ann -> Doc ann -> Doc ann
forall ann. Doc ann -> Doc ann -> Doc ann
<+> EraEnd -> Doc ann
forall {ann}. EraEnd -> Doc ann
prettyEraEnd (EraSummary -> EraEnd
eraEnd EraSummary
era)
    prettyBound :: Bound -> Doc ann
prettyBound Bound
bound =
      Doc ann
"slot" Doc ann -> Doc ann -> Doc ann
forall ann. Doc ann -> Doc ann -> Doc ann
<+> SlotNo -> Doc ann
forall a ann. Show a => a -> Doc ann
pshow (Bound -> SlotNo
boundSlot Bound
bound) Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Doc ann
"," Doc ann -> Doc ann -> Doc ann
forall ann. Doc ann -> Doc ann -> Doc ann
<+> Doc ann
"epoch" Doc ann -> Doc ann -> Doc ann
forall ann. Doc ann -> Doc ann -> Doc ann
<+> EpochNo -> Doc ann
forall a ann. Show a => a -> Doc ann
pshow (Bound -> EpochNo
boundEpoch Bound
bound)
    prettyEraEnd :: EraEnd -> Doc ann
prettyEraEnd EraEnd
EraUnbounded = Doc ann
"unbounded"
    prettyEraEnd (EraEnd Bound
bound) = Bound -> Doc ann
forall {ann}. Bound -> Doc ann
prettyBound Bound
bound

deriving via ShowOf TypeRep instance Pretty TypeRep

instance TestEquality L.SLanguage where
  testEquality :: forall (a :: Language) (b :: Language).
SLanguage a -> SLanguage b -> Maybe (a :~: b)
testEquality SLanguage a
s1 SLanguage b
s2 = case (SLanguage a
s1, SLanguage b
s2) of
    (SLanguage a
L.SPlutusV1, SLanguage b
L.SPlutusV1) -> (a :~: b) -> Maybe (a :~: b)
forall a. a -> Maybe a
Just a :~: a
a :~: b
forall {k} (a :: k). a :~: a
Refl
    (SLanguage a
L.SPlutusV2, SLanguage b
L.SPlutusV2) -> (a :~: b) -> Maybe (a :~: b)
forall a. a -> Maybe a
Just a :~: a
a :~: b
forall {k} (a :: k). a :~: a
Refl
    (SLanguage a
L.SPlutusV3, SLanguage b
L.SPlutusV3) -> (a :~: b) -> Maybe (a :~: b)
forall a. a -> Maybe a
Just a :~: a
a :~: b
forall {k} (a :: k). a :~: a
Refl
    (SLanguage a
L.SPlutusV4, SLanguage b
L.SPlutusV4) -> (a :~: b) -> Maybe (a :~: b)
forall a. a -> Maybe a
Just a :~: a
a :~: b
forall {k} (a :: k). a :~: a
Refl
    (SLanguage a, SLanguage b)
_ -> Maybe (a :~: b)
forall a. Maybe a
Nothing