Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Babbage.Genesis

Synopsis

data AlonzoGenesis = AlonzoGenesis {
- coinsPerUTxOWord :: ! Coin
- costmdls :: ! CostModels
- prices :: ! Prices
- maxTxExUnits :: ! ExUnits
- maxBlockExUnits :: ! ExUnits
- maxValSize :: ! Natural
- collateralPercentage :: ! Natural
- maxCollateralInputs :: ! Natural
}
extendPPWithGenesis :: PParams' Identity era1 -> AlonzoGenesis -> PParams' Identity era2

Documentation

data AlonzoGenesis Source #

Constructors

AlonzoGenesis
Fields coinsPerUTxOWord :: ! Coin costmdls :: ! CostModels prices :: ! Prices maxTxExUnits :: ! ExUnits maxBlockExUnits :: ! ExUnits maxValSize :: ! Natural collateralPercentage :: ! Natural maxCollateralInputs :: ! Natural

Instances

Instances details

Eq AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods (==) :: AlonzoGenesis -> AlonzoGenesis -> Bool Source # (/=) :: AlonzoGenesis -> AlonzoGenesis -> Bool Source #
Show AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods showsPrec :: Int -> AlonzoGenesis -> ShowS Source # show :: AlonzoGenesis -> String Source # showList :: [ AlonzoGenesis ] -> ShowS Source #
Generic AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Associated Types type Rep AlonzoGenesis :: Type -> Type Source # Methods from :: AlonzoGenesis -> Rep AlonzoGenesis x Source # to :: Rep AlonzoGenesis x -> AlonzoGenesis Source #
ToJSON AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods toJSON :: AlonzoGenesis -> Value Source # toEncoding :: AlonzoGenesis -> Encoding Source # toJSONList :: [ AlonzoGenesis ] -> Value Source # toEncodingList :: [ AlonzoGenesis ] -> Encoding Source #
FromJSON AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods parseJSON :: Value -> Parser AlonzoGenesis Source # parseJSONList :: Value -> Parser [ AlonzoGenesis ] Source #
ToCBOR AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods toCBOR :: AlonzoGenesis -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy AlonzoGenesis -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ AlonzoGenesis ] -> Size Source #
FromCBOR AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods fromCBOR :: Decoder s AlonzoGenesis Source # label :: Proxy AlonzoGenesis -> Text Source #
NoThunks AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods noThunks :: Context -> AlonzoGenesis -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> AlonzoGenesis -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy AlonzoGenesis -> String Source #
type Rep AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis type Rep AlonzoGenesis = D1 (' MetaData "AlonzoGenesis" "Cardano.Ledger.Alonzo.Genesis" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) ( C1 (' MetaCons "AlonzoGenesis" ' PrefixI ' True ) ((( S1 (' MetaSel (' Just "coinsPerUTxOWord") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ) :: S1 (' MetaSel (' Just "costmdls") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 CostModels )) :: ( S1 (' MetaSel (' Just "prices") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Prices ) :: S1 (' MetaSel (' Just "maxTxExUnits") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ExUnits ))) :: (( S1 (' MetaSel (' Just "maxBlockExUnits") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ExUnits ) :: S1 (' MetaSel (' Just "maxValSize") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural )) :: ( S1 (' MetaSel (' Just "collateralPercentage") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural ) :*: S1 (' MetaSel (' Just "maxCollateralInputs") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural )))))

extendPPWithGenesis :: PParams' Identity era1 -> AlonzoGenesis -> PParams' Identity era2 Source #

Given the missing pieces turn a Shelley.PParams' into an Params'