cardano-ledger-babbage-1.13.0.0: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellNone
LanguageHaskell2010

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

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 #

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 #

ToPlutusData CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

toPlutusData ∷ CoinPerByte → Data Source #

fromPlutusData ∷ Data → Maybe CoinPerByte Source #

NFData CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

rnf ∷ CoinPerByte → () #

Show CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

showsPrec ∷ Int → CoinPerByte → ShowS #

show ∷ CoinPerByte → String #

showList ∷ [CoinPerByte] → ShowS #

Eq CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

(==) ∷ CoinPerByte → CoinPerByte → Bool #

(/=) ∷ CoinPerByte → CoinPerByte → Bool #

Ord CoinPerByte Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

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 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 ∷ BabbageEraPParams era ⇒ Lens' (PParams era) CoinPerByte Source #

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

module Cardano.Ledger.Alonzo.Core