Safe Haskell	None
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

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

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

Methods

sizedOutputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (StrictSeq (Sized (TxOut era))) Source #

referenceInputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (Set TxIn) Source #

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

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

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

allSizedOutputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (StrictSeq (Sized (TxOut era))) Source #

Instances

Instances details

BabbageEraTxBody BabbageEra Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

sizedOutputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source #

referenceInputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (Set TxIn) Source #

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

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

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

allSizedOutputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source #

class AlonzoEraPParams era ⇒ BabbageEraPParams era where Source #

Methods

hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f CoinPerByte) Source #

Instances

Instances details

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

newtype CoinPerByte Source #

Constructors

CoinPerByte
Fields unCoinPerByte ∷ CompactForm Coin

Instances

Instances details

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

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

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

module Cardano.Ledger.Alonzo.Core