Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Babbage.Core

Documentation

class (AlonzoEraTxOut era, AlonzoEraScript era) ⇒ BabbageEraTxOut era where Source #

Methods

referenceScriptTxOutL ∷ Lens' (TxOut era) (StrictMaybe (Script era)) Source #

dataTxOutL ∷ Lens' (TxOut era) (StrictMaybe (Data era)) Source #

datumTxOutL ∷ Lens' (TxOut era) (Datum era) Source #

Instances

Instances details

Crypto c ⇒ BabbageEraTxOut (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods referenceScriptTxOutL ∷ Lens' (TxOut (BabbageEra c)) (StrictMaybe (Script (BabbageEra c))) Source # dataTxOutL ∷ Lens' (TxOut (BabbageEra c)) (StrictMaybe (Data (BabbageEra c))) Source # datumTxOutL ∷ Lens' (TxOut (BabbageEra c)) (Datum (BabbageEra c)) Source #

class (AlonzoEraTxBody era, BabbageEraTxOut era) ⇒ BabbageEraTxBody era where Source #

Methods

sizedOutputsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (Sized (TxOut era))) Source #

referenceInputsTxBodyL ∷ Lens' (TxBody era) (Set (TxIn (EraCrypto era))) Source #

totalCollateralTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Coin) Source #

collateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (TxOut era)) Source #

sizedCollateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Sized (TxOut era))) Source #

allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era))) Source #

Instances

Instances details

Crypto c ⇒ BabbageEraTxBody (BabbageEra c) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

sizedOutputsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictSeq (Sized (TxOut (BabbageEra c)))) Source #

referenceInputsTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (Set (TxIn (EraCrypto (BabbageEra c)))) Source #

totalCollateralTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe Coin) Source #

collateralReturnTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe (TxOut (BabbageEra c))) Source #

sizedCollateralReturnTxBodyL ∷ Lens' (TxBody (BabbageEra c)) (StrictMaybe (Sized (TxOut (BabbageEra c)))) Source #

allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody (BabbageEra c)) (StrictSeq (Sized (TxOut (BabbageEra c)))) Source #

class AlonzoEraPParams era ⇒ BabbageEraPParams era where Source #

Methods

hkdCoinsPerUTxOByteL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f CoinPerByte) Source #

Instances

Instances details

Crypto c ⇒ BabbageEraPParams (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f CoinPerByte) Source #

newtype CoinPerByte Source #

Constructors

CoinPerByte
Fields unCoinPerByte ∷ Coin

Instances

Instances details

FromJSON CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods parseJSON ∷ Value → Parser CoinPerByte Source # parseJSONList ∷ Value → Parser [CoinPerByte] Source # omittedField ∷ Maybe CoinPerByte Source #
ToJSON CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods toJSON ∷ CoinPerByte → Value Source # toEncoding ∷ CoinPerByte → Encoding Source # toJSONList ∷ [CoinPerByte] → Value Source # toEncodingList ∷ [CoinPerByte] → Encoding Source # omitField ∷ CoinPerByte → Bool Source #
Show CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods showsPrec ∷ Int → CoinPerByte → ShowS Source # show ∷ CoinPerByte → String Source # showList ∷ [CoinPerByte] → ShowS Source #
DecCBOR CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods decCBOR ∷ Decoder s CoinPerByte Source # dropCBOR ∷ Proxy CoinPerByte → Decoder s () Source # label ∷ Proxy CoinPerByte → Text Source #
EncCBOR CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods encCBOR ∷ CoinPerByte → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy CoinPerByte → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CoinPerByte] → Size Source #
NFData CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods rnf ∷ CoinPerByte → () Source #
Eq CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods (==) ∷ CoinPerByte → CoinPerByte → Bool Source # (/=) ∷ CoinPerByte → CoinPerByte → Bool Source #
Ord CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods compare ∷ CoinPerByte → CoinPerByte → Ordering Source # (<) ∷ CoinPerByte → CoinPerByte → Bool Source # (<=) ∷ CoinPerByte → CoinPerByte → Bool Source # (>) ∷ CoinPerByte → CoinPerByte → Bool Source # (>=) ∷ CoinPerByte → CoinPerByte → Bool Source # max ∷ CoinPerByte → CoinPerByte → CoinPerByte Source # min ∷ CoinPerByte → CoinPerByte → CoinPerByte Source #
NoThunks CoinPerByte Source #
Instance details Defined in Cardano.Ledger.Babbage.PParams Methods noThunks ∷ Context → CoinPerByte → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CoinPerByte → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CoinPerByte → String Source #

ppCoinsPerUTxOByteL ∷ ∀ era. BabbageEraPParams era ⇒ Lens' (PParams era) CoinPerByte Source #

ppuCoinsPerUTxOByteL ∷ ∀ era. BabbageEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte) Source #

module Cardano.Ledger.Alonzo.Core