cardano-ledger-alonzo-0.1.0.0: Cardano ledger introducing Plutus Core
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Alonzo.Genesis

Synopsis

Documentation

data AlonzoGenesis Source #

Constructors

AlonzoGenesis

Fields

Instances

Instances details
Eq AlonzoGenesis Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

(==) :: AlonzoGenesis -> AlonzoGenesis -> Bool Source #

(/=) :: AlonzoGenesis -> AlonzoGenesis -> Bool Source #

Show AlonzoGenesis Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

showsPrec :: Int -> AlonzoGenesis -> ShowS Source #

show :: AlonzoGenesis -> String Source #

showList :: [ AlonzoGenesis ] -> ShowS Source #

Generic AlonzoGenesis Source #
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 Source #
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 Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

parseJSON :: Value -> Parser AlonzoGenesis Source #

parseJSONList :: Value -> Parser [ AlonzoGenesis ] Source #

ToCBOR AlonzoGenesis Source #
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 Source #
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

fromCBOR :: Decoder s AlonzoGenesis Source #

label :: Proxy AlonzoGenesis -> Text Source #

NoThunks AlonzoGenesis Source #
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 Source #
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'

Orphan instances

ToJSON Language Source #
Instance details

Methods

toJSON :: Language -> Value Source #

toEncoding :: Language -> Encoding Source #

toJSONList :: [ Language ] -> Value Source #

toEncodingList :: [ Language ] -> Encoding Source #

ToJSON Prices Source #
Instance details

Methods

toJSON :: Prices -> Value Source #

toEncoding :: Prices -> Encoding Source #

toJSONList :: [ Prices ] -> Value Source #

toEncodingList :: [ Prices ] -> Encoding Source #

ToJSON CostModels Source #
Instance details

Methods

toJSON :: CostModels -> Value Source #

toEncoding :: CostModels -> Encoding Source #

toJSONList :: [ CostModels ] -> Value Source #

toEncodingList :: [ CostModels ] -> Encoding Source #

ToJSON CostModel Source #
Instance details

Methods

toJSON :: CostModel -> Value Source #

toEncoding :: CostModel -> Encoding Source #

toJSONList :: [ CostModel ] -> Value Source #

toEncodingList :: [ CostModel ] -> Encoding Source #

ToJSON ExUnits Source #
Instance details

Methods

toJSON :: ExUnits -> Value Source #

toEncoding :: ExUnits -> Encoding Source #

toJSONList :: [ ExUnits ] -> Value Source #

toEncodingList :: [ ExUnits ] -> Encoding Source #

ToJSONKey Language Source #
Instance details

Methods

toJSONKey :: ToJSONKeyFunction Language Source #

toJSONKeyList :: ToJSONKeyFunction [ Language ] Source #

FromJSON Language Source #
Instance details

Methods

parseJSON :: Value -> Parser Language Source #

parseJSONList :: Value -> Parser [ Language ] Source #

FromJSON Prices Source #
Instance details

Methods

parseJSON :: Value -> Parser Prices Source #

parseJSONList :: Value -> Parser [ Prices ] Source #

FromJSON CostModels Source #
Instance details

Methods

parseJSON :: Value -> Parser CostModels Source #

parseJSONList :: Value -> Parser [ CostModels ] Source #

FromJSON ExUnits Source #
Instance details

Methods

parseJSON :: Value -> Parser ExUnits Source #

parseJSONList :: Value -> Parser [ ExUnits ] Source #

FromJSONKey Language Source #
Instance details

Methods

fromJSONKey :: FromJSONKeyFunction Language Source #

fromJSONKeyList :: FromJSONKeyFunction [ Language ] Source #

ToJSON a => ToJSON ( ExUnits' a) Source #
Instance details

Methods

toJSON :: ExUnits' a -> Value Source #

toEncoding :: ExUnits' a -> Encoding Source #

toJSONList :: [ ExUnits' a] -> Value Source #

toEncodingList :: [ ExUnits' a] -> Encoding Source #

ToJSON ( PParams era) Source #
Instance details

Methods

toJSON :: PParams era -> Value Source #

toEncoding :: PParams era -> Encoding Source #

toJSONList :: [ PParams era] -> Value Source #

toEncodingList :: [ PParams era] -> Encoding Source #

ToJSON ( PParamsUpdate era) Source #
Instance details

Methods

toJSON :: PParamsUpdate era -> Value Source #

toEncoding :: PParamsUpdate era -> Encoding Source #

toJSONList :: [ PParamsUpdate era] -> Value Source #

toEncodingList :: [ PParamsUpdate era] -> Encoding Source #

( Era era, Show ( Value era), ToJSON ( Value era)) => ToJSON ( TxOut era) Source #
Instance details

Methods

toJSON :: TxOut era -> Value Source #

toEncoding :: TxOut era -> Encoding Source #

toJSONList :: [ TxOut era] -> Value Source #

toEncodingList :: [ TxOut era] -> Encoding Source #

FromJSON a => FromJSON ( ExUnits' a) Source #
Instance details

Methods

parseJSON :: Value -> Parser ( ExUnits' a) Source #

parseJSONList :: Value -> Parser [ ExUnits' a] Source #

FromJSON ( PParams era) Source #
Instance details

Methods

parseJSON :: Value -> Parser ( PParams era) Source #

parseJSONList :: Value -> Parser [ PParams era] Source #