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