| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Mary.Core
Documentation
class AllegraEraTxBody era ⇒ MaryEraTxBody era where Source #
Minimal complete definition
Methods
mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) MultiAsset Source #
mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Set PolicyID) Source #
mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Value era) Source #
default mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). Value era ~ MaryValue ⇒ SimpleGetter (TxBody l era) (Value era) Source #
Instances
| MaryEraTxBody MaryEra Source # | |
Defined in Cardano.Ledger.Mary.TxBody Methods mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) MultiAsset Source # mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Set PolicyID) Source # mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Value MaryEra) Source # | |
module Cardano.Ledger.Allegra.Core