Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class (AlonzoEraTxOut era, AlonzoEraScript era) ⇒ BabbageEraTxOut era where Source #
referenceScriptTxOutL ∷ Lens' (TxOut era) (StrictMaybe (Script era)) Source #
dataTxOutL ∷ Lens' (TxOut era) (StrictMaybe (Data era)) Source #
Instances
BabbageEraTxOut BabbageEra Source # | |
Defined in Cardano.Ledger.Babbage.TxOut |
class (AlonzoEraTxBody era, BabbageEraTxOut era) ⇒ BabbageEraTxBody era where Source #
sizedOutputsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (Sized (TxOut era))) Source #
referenceInputsTxBodyL ∷ Lens' (TxBody era) (Set TxIn) 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
class AlonzoEraPParams era ⇒ BabbageEraPParams era where Source #
hkdCoinsPerUTxOByteL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f CoinPerByte) Source #
Instances
BabbageEraPParams BabbageEra Source # | |
Defined in Cardano.Ledger.Babbage.PParams hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f BabbageEra) (HKD f CoinPerByte) Source # |
newtype CoinPerByte Source #
Instances
ppCoinsPerUTxOByteL ∷ ∀ era. BabbageEraPParams era ⇒ Lens' (PParams era) CoinPerByte Source #
ppuCoinsPerUTxOByteL ∷ ∀ era. BabbageEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte) Source #
module Cardano.Ledger.Alonzo.Core