| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody
Contents
Synopsis
- type ShelleyTxBodyTypes = '[Set TxIn, [TxOut ShelleyEra], [TxCert ShelleyEra], Map RewardAccount Coin, Coin, SlotNo, Maybe (Update ShelleyEra), Maybe TxAuxDataHash]
- type AllegraTxBodyTypes = '[Set TxIn, [TxOut AllegraEra], [TxCert AllegraEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update AllegraEra), Maybe TxAuxDataHash]
- type MaryTxBodyTypes = '[Set TxIn, [TxOut MaryEra], [TxCert MaryEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update MaryEra), Maybe TxAuxDataHash, MultiAsset]
- type AlonzoTxBodyTypes = '[Set TxIn, Set TxIn, [TxOut AlonzoEra], [TxCert AlonzoEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update AlonzoEra), Set (KeyHash 'Guard), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, Maybe Network]
- type BabbageTxBodyTypes = '[Set TxIn, Set TxIn, Set TxIn, [Sized (TxOut BabbageEra)], Maybe (Sized (TxOut BabbageEra)), Maybe Coin, [TxCert BabbageEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update BabbageEra), Set (KeyHash 'Guard), MultiAsset, Maybe ScriptIntegrityHash, Maybe TxAuxDataHash, Maybe Network]
Documentation
type ShelleyTxBodyTypes = '[Set TxIn, [TxOut ShelleyEra], [TxCert ShelleyEra], Map RewardAccount Coin, Coin, SlotNo, Maybe (Update ShelleyEra), 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.
type AllegraTxBodyTypes = '[Set TxIn, [TxOut AllegraEra], [TxCert AllegraEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update AllegraEra), 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.
type MaryTxBodyTypes = '[Set TxIn, [TxOut MaryEra], [TxCert MaryEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update MaryEra), 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.
type AlonzoTxBodyTypes = '[Set TxIn, Set TxIn, [TxOut AlonzoEra], [TxCert AlonzoEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update AlonzoEra), Set (KeyHash 'Guard), 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.
type BabbageTxBodyTypes = '[Set TxIn, Set TxIn, Set TxIn, [Sized (TxOut BabbageEra)], Maybe (Sized (TxOut BabbageEra)), Maybe Coin, [TxCert BabbageEra], Map RewardAccount Coin, Coin, ValidityInterval, Maybe (Update BabbageEra), Set (KeyHash 'Guard), 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.