| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody
Contents
Synopsis
- type ShelleyTxBodyTypes era = '[Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, SlotNo, Maybe (Update era), Maybe TxAuxDataHash]
- fromShelleyBody ∷ ∀ era. EraTxBody era ⇒ ShelleyTxBody era → TxBody era
- type AllegraTxBodyTypes era = '[Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Maybe TxAuxDataHash]
- fromAllegraBody ∷ ∀ era. AllegraEraTxBody era ⇒ AllegraTxBody era → TxBody era
- type MaryTxBodyTypes era = '[Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Maybe TxAuxDataHash, MultiAsset]
- fromMaryBody ∷ ∀ era. MaryEraTxBody era ⇒ MaryTxBody era → TxBody era
- type AlonzoTxBodyTypes era = '[Set TxIn, Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, Maybe Network]
- fromAlonzoBody ∷ ∀ era. AlonzoEraTxBody era ⇒ AlonzoTxBody era → TxBody era
- type BabbageTxBodyTypes era = '[Set TxIn, Set TxIn, Set TxIn, [Sized (TxOut era)], Maybe (Sized (TxOut era)), Maybe Coin, [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, Maybe Network]
- fromBabbageBody ∷ ∀ era. BabbageEraTxBody era ⇒ BabbageTxBody era → TxBody era
Documentation
type ShelleyTxBodyTypes era = '[Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, SlotNo, Maybe (Update era), Maybe TxAuxDataHash] 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, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Maybe TxAuxDataHash] 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, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Maybe TxAuxDataHash, MultiAsset] 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, Set TxIn, [TxOut era], [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, 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, Set TxIn, Set TxIn, [Sized (TxOut era)], Maybe (Sized (TxOut era)), Maybe Coin, [TxCert era], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update era), Set (KeyHash 'Witness), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, 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 #