| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody
Contents
Synopsis
- type ShelleyTxBodyTypes era = '[Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, SlotNo, Maybe (Update era), Maybe (AuxiliaryDataHash (EraCrypto era))]
- fromShelleyBody ∷ ∀ era. EraTxBody era ⇒ ShelleyTxBody era → TxBody era
- type AllegraTxBodyTypes era = '[Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Maybe (AuxiliaryDataHash (EraCrypto era))]
- fromAllegraBody ∷ ∀ era. AllegraEraTxBody era ⇒ AllegraTxBody era → TxBody era
- type MaryTxBodyTypes era = '[Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Maybe (AuxiliaryDataHash (EraCrypto era)), MultiAsset (EraCrypto era)]
- fromMaryBody ∷ ∀ era. MaryEraTxBody era ⇒ MaryTxBody era → TxBody era
- type AlonzoTxBodyTypes era = '[Set (TxIn (EraCrypto era)), Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness (EraCrypto era)), MultiAsset (EraCrypto era), Maybe (ScriptIntegrityHash (EraCrypto era)), Maybe (AuxiliaryDataHash (EraCrypto era)), Maybe Network]
- fromAlonzoBody ∷ ∀ era. AlonzoEraTxBody era ⇒ AlonzoTxBody era → TxBody era
- type BabbageTxBodyTypes era = '[Set (TxIn (EraCrypto era)), Set (TxIn (EraCrypto era)), Set (TxIn (EraCrypto era)), [Sized (TxOut era)], Maybe (Sized (TxOut era)), Maybe Coin, [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness (EraCrypto era)), MultiAsset (EraCrypto era), Maybe (ScriptIntegrityHash (EraCrypto era)), Maybe (AuxiliaryDataHash (EraCrypto era)), Maybe Network]
- fromBabbageBody ∷ ∀ era. BabbageEraTxBody era ⇒ BabbageTxBody era → TxBody era
Documentation
type ShelleyTxBodyTypes era = '[Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, SlotNo, Maybe (Update era), Maybe (AuxiliaryDataHash (EraCrypto era))] Source #
This is an abstraction of the Pattern ShelleyTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms bewtween the two, in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
fromShelleyBody ∷ ∀ era. EraTxBody era ⇒ ShelleyTxBody era → TxBody era Source #
type AllegraTxBodyTypes era = '[Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Maybe (AuxiliaryDataHash (EraCrypto era))] Source #
This is an abstraction of the Pattern AllegraTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms bewtween the two, in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
fromAllegraBody ∷ ∀ era. AllegraEraTxBody era ⇒ AllegraTxBody era → TxBody era Source #
type MaryTxBodyTypes era = '[Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Maybe (AuxiliaryDataHash (EraCrypto era)), MultiAsset (EraCrypto era)] Source #
This is an abstraction of the Pattern MaryTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms between the abstractions and the real types in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
fromMaryBody ∷ ∀ era. MaryEraTxBody era ⇒ MaryTxBody era → TxBody era Source #
type AlonzoTxBodyTypes era = '[Set (TxIn (EraCrypto era)), Set (TxIn (EraCrypto era)), [TxOut era], [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness (EraCrypto era)), MultiAsset (EraCrypto era), Maybe (ScriptIntegrityHash (EraCrypto era)), Maybe (AuxiliaryDataHash (EraCrypto era)), Maybe Network] Source #
This is an abstraction of the Pattern AlonzoTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms between the abstractions and the real types in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
fromAlonzoBody ∷ ∀ era. AlonzoEraTxBody era ⇒ AlonzoTxBody era → TxBody era Source #
type BabbageTxBodyTypes era = '[Set (TxIn (EraCrypto era)), Set (TxIn (EraCrypto era)), Set (TxIn (EraCrypto era)), [Sized (TxOut era)], Maybe (Sized (TxOut era)), Maybe Coin, [TxCert era], Map (RewardAccount (EraCrypto era)) Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness (EraCrypto era)), MultiAsset (EraCrypto era), Maybe (ScriptIntegrityHash (EraCrypto era)), Maybe (AuxiliaryDataHash (EraCrypto era)), Maybe Network] Source #
This is an abstraction of the Pattern BabbageTxBody, that uses [x] instead of (StrictSeq x) and (Maybe x) instead of (StrictMaybe x). It transforms between the abstractions and the real types in the toSimpleRep and fromSimpleRep methods. This makes it much easier to write Specifications, because the Constrained packaage knows about Lists and Maybe.
fromBabbageBody ∷ ∀ era. BabbageEraTxBody era ⇒ BabbageTxBody era → TxBody era Source #