cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Constrained.Conway.Instances

Synopsis

Documentation

class (Eq (PParamsHKD Identity era), Show (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), EraPParams era, EraTxOut era, EraGov era, EraTx era) ⇒ EraSpecPParams era where Source #

Instances

Instances details
EraSpecPParams AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraSpecPParams AlonzoEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraSpecPParams BabbageEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraSpecPParams ConwayEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraSpecPParams MaryEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

EraSpecPParams ShelleyEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.PParams

data SimplePPUpdate Source #

Use this as the SimpleRep of (PParamsUpdate era)

Instances

Instances details
Generic SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Associated Types

type Rep SimplePPUpdateTypeType #

Show SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

HasSpec SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

HasSimpleRep SimplePPUpdate Source #

Use the generic HasSimpleRep and HasSpec instances for SimplePParams

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Eq SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type Rep SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type Rep SimplePPUpdate = D1 ('MetaData "SimplePPUpdate" "Test.Cardano.Ledger.Constrained.Conway.Instances.Basic" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "SimplePPUpdate" 'PrefixI 'True) (((((S1 ('MetaSel ('Just "uminFeeA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :*: S1 ('MetaSel ('Just "uminFeeB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))) :*: (S1 ('MetaSel ('Just "umaxBBSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Word32)) :*: S1 ('MetaSel ('Just "umaxTxSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Word32)))) :*: ((S1 ('MetaSel ('Just "umaxBHSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Word32)) :*: S1 ('MetaSel ('Just "ukeyDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))) :*: (S1 ('MetaSel ('Just "upoolDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :*: S1 ('MetaSel ('Just "ueMax") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EpochInterval))))) :*: (((S1 ('MetaSel ('Just "unOpt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Word16)) :*: S1 ('MetaSel ('Just "ua0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe NonNegativeInterval))) :*: (S1 ('MetaSel ('Just "urho") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe UnitInterval)) :*: S1 ('MetaSel ('Just "utau") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe UnitInterval)))) :*: ((S1 ('MetaSel ('Just "udecentral") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe UnitInterval)) :*: S1 ('MetaSel ('Just "uprotocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ProtVer))) :*: (S1 ('MetaSel ('Just "uminUTxOValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :*: (S1 ('MetaSel ('Just "uminPoolCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :*: S1 ('MetaSel ('Just "ucoinsPerUTxOWord") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))))))) :*: ((((S1 ('MetaSel ('Just "ucostModels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe CostModels)) :*: S1 ('MetaSel ('Just "uprices") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Prices))) :*: (S1 ('MetaSel ('Just "umaxTxExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ExUnits)) :*: S1 ('MetaSel ('Just "umaxBlockExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ExUnits)))) :*: ((S1 ('MetaSel ('Just "umaxValSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Natural)) :*: S1 ('MetaSel ('Just "ucollateralPercentage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Natural))) :*: (S1 ('MetaSel ('Just "umaxCollateralInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Natural)) :*: S1 ('MetaSel ('Just "ucoinsPerUTxOByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))))) :*: (((S1 ('MetaSel ('Just "upoolVotingThresholds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe PoolVotingThresholds)) :*: S1 ('MetaSel ('Just "udrepVotingThresholds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe DRepVotingThresholds))) :*: (S1 ('MetaSel ('Just "ucommitteeMinSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Natural)) :*: S1 ('MetaSel ('Just "ucommitteeMaxTermLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EpochInterval)))) :*: ((S1 ('MetaSel ('Just "ugovActionLifetime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EpochInterval)) :*: S1 ('MetaSel ('Just "ugovActionDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin))) :*: (S1 ('MetaSel ('Just "udRepDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe Coin)) :*: (S1 ('MetaSel ('Just "udRepActivity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe EpochInterval)) :*: S1 ('MetaSel ('Just "uminFeeRefScriptCostPerByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe NonNegativeInterval)))))))))
type Prerequisites SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type TypeSpec SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type SimpleRep SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type TheSop SimplePPUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

data SimplePParams era Source #

Use this as the SimpleRep of (PParams era). It is polymorphic enough to encode PParams in EVERY Era. The EraPParams instances remove the fields that do not appear in that Era.

Instances

Instances details
Generic (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Associated Types

type Rep (SimplePParams era) ∷ TypeType #

Methods

fromSimplePParams era → Rep (SimplePParams era) x #

toRep (SimplePParams era) x → SimplePParams era #

(EraSpecPParams era, EraGov era, EraTxOut era) ⇒ Show (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Methods

showsPrecIntSimplePParams era → ShowS #

showSimplePParams era → String #

showList ∷ [SimplePParams era] → ShowS #

(EraSpecPParams era, EraGov era, EraTxOut era) ⇒ HasSpec (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Associated Types

type TypeSpec (SimplePParams era) Source #

type Prerequisites (SimplePParams era) Source #

HasSimpleRep (SimplePParams era) Source #

Use then generic HasSimpleRep and HasSpec instances for SimplePParams

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Associated Types

type SimpleRep (SimplePParams era) Source #

type TheSop (SimplePParams era) ∷ [Type] Source #

Eq (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Methods

(==)SimplePParams era → SimplePParams era → Bool #

(/=)SimplePParams era → SimplePParams era → Bool #

type Rep (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type Rep (SimplePParams era) = D1 ('MetaData "SimplePParams" "Test.Cardano.Ledger.Constrained.Conway.Instances.Basic" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "SimplePParams" 'PrefixI 'True) (((((S1 ('MetaSel ('Just "minFeeA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "minFeeB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just "maxBBSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: S1 ('MetaSel ('Just "maxTxSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32))) :*: ((S1 ('MetaSel ('Just "maxBHSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32) :*: S1 ('MetaSel ('Just "keyDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just "poolDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "eMax") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochInterval)))) :*: (((S1 ('MetaSel ('Just "nOpt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16) :*: S1 ('MetaSel ('Just "a0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NonNegativeInterval)) :*: (S1 ('MetaSel ('Just "rho") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "tau") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval))) :*: ((S1 ('MetaSel ('Just "decentral") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "protocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer)) :*: (S1 ('MetaSel ('Just "minUTxOValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: (S1 ('MetaSel ('Just "minPoolCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "coinsPerUTxOWord") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)))))) :*: ((((S1 ('MetaSel ('Just "costModels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostModels) :*: S1 ('MetaSel ('Just "prices") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Prices)) :*: (S1 ('MetaSel ('Just "maxTxExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExUnits) :*: S1 ('MetaSel ('Just "maxBlockExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExUnits))) :*: ((S1 ('MetaSel ('Just "maxValSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "collateralPercentage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)) :*: (S1 ('MetaSel ('Just "maxCollateralInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "coinsPerUTxOByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)))) :*: (((S1 ('MetaSel ('Just "poolVotingThresholds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolVotingThresholds) :*: S1 ('MetaSel ('Just "drepVotingThresholds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepVotingThresholds)) :*: (S1 ('MetaSel ('Just "committeeMinSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "committeeMaxTermLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochInterval))) :*: ((S1 ('MetaSel ('Just "govActionLifetime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochInterval) :*: S1 ('MetaSel ('Just "govActionDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :*: (S1 ('MetaSel ('Just "dRepDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: (S1 ('MetaSel ('Just "dRepActivity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochInterval) :*: S1 ('MetaSel ('Just "minFeeRefScriptCostPerByte") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NonNegativeInterval))))))))
type Prerequisites (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type TypeSpec (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type SimpleRep (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

type TheSop (SimplePParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

prettyEToExpr x ⇒ x → Doc Source #

simplePParamsSpec ∷ ∀ era. EraSpecPParams era ⇒ Specification (SimplePParams era) Source #

A sample of how to constrain (PParams era) for every Era, by writing a specification for SimplePParams. Constrained but not applicable fields (for that era) are elided in the result. Missing fields are left unconstrained and will appear as random values in the result. This can easily be lifted to PParams: see Test.Cardano.Ledger.Constrained.Conway.PParams(pparamsSpec)

data ProposalsSplit Source #

Instances

Instances details
Generic ProposalsSplit Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

Associated Types

type Rep ProposalsSplitTypeType #

Show ProposalsSplit Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

DecCBOR ProposalsSplit Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

EncCBOR ProposalsSplit Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

NFData ProposalsSplit Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

Methods

rnfProposalsSplit → () #

Eq ProposalsSplit Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

ToExpr ProposalsSplit Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

type Rep ProposalsSplit Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

type Rep ProposalsSplit = D1 ('MetaData "ProposalsSplit" "Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "ProposalsSplit" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psPPChange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "psHFInitiation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :*: (S1 ('MetaSel ('Just "psUpdateCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: (S1 ('MetaSel ('Just "psNewConstitution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "psOthers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))))

type ProposalTree era = (StrictMaybe GovActionId, [Tree (GAS era)]) Source #

data StringW ∷ [Type] → TypeType Source #

Instances

Instances details
Logic StringW Source #

In this instance there is no way to bring the type variable s into scope so we introduce some local functions that have a signature that bring it into scope.

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

Methods

propagateTypeSpec ∷ ∀ (as ∷ [Type]) b a. (AppRequires StringW as b, HasSpec a) ⇒ StringW as b → ListCtx Value as (HOLE a) → TypeSpec b → [b] → Specification a Source #

propagateMemberSpec ∷ ∀ (as ∷ [Type]) b a. (AppRequires StringW as b, HasSpec a) ⇒ StringW as b → ListCtx Value as (HOLE a) → NonEmpty b → Specification a Source #

propagate ∷ ∀ (as ∷ [Type]) b a. (AppRequires StringW as b, HasSpec a) ⇒ StringW as b → ListCtx Value as (HOLE a) → Specification b → Specification a Source #

rewriteRules ∷ ∀ (dom ∷ [Type]) rng. (TypeList dom, Typeable dom, HasSpec rng, All HasSpec dom) ⇒ StringW dom rng → List Term dom → Evidence (AppRequires StringW dom rng) → Maybe (Term rng) Source #

mapTypeSpec ∷ (HasSpec a, HasSpec b) ⇒ StringW '[a] b → TypeSpec a → Specification b Source #

saturate ∷ ∀ (dom ∷ [Type]). StringW dom BoolList Term dom → [Pred] Source #

Semantics StringW Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

Methods

semantics ∷ ∀ (d ∷ [Type]) r. StringW d r → FunTy d r Source #

Syntax StringW Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

Methods

inFix ∷ ∀ (dom ∷ [Type]) rng. StringW dom rng → Bool Source #

prettyWit ∷ ∀ (dom ∷ [Type]) rng ann. (All HasSpec dom, HasSpec rng) ⇒ StringW dom rng → List Term dom → IntMaybe (Doc ann) Source #

Show (StringW as b) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

Methods

showsPrecIntStringW as b → ShowS #

showStringW as b → String #

showList ∷ [StringW as b] → ShowS #

Eq (StringW as b) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

Methods

(==)StringW as b → StringW as b → Bool #

(/=)StringW as b → StringW as b → Bool #

sizedValue_ ∷ (HasSpec (Sized a), HasSpec a) ⇒ Term (Sized a) → Term a Source #

txOutVal_ ∷ (HasSpec (Value era), Era era, HasSpec (Data era), Val (Value era), HasSpec (Script era), HasSpec (BabbageTxOut era), IsNormalType (Script era)) ⇒ Term (BabbageTxOut era) → Term (Value era) Source #

strLen_ ∷ (HasSpec s, StringLike s) ⇒ Term s → Term Int Source #

onJust' ∷ (HasSpec a, IsNormalType a, IsPred p) ⇒ Term (StrictMaybe a) → (Term a → p) → Pred Source #

onSized ∷ (HasSpec a, IsPred p) ⇒ Term (Sized a) → (Term a → p) → Pred Source #

coerce_ ∷ ∀ a b. (HasSpec a, HasSpec b, CoercibleLike a b) ⇒ Term a → Term b 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.

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.

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.

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.

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 #

fromAllegraBody ∷ ∀ era. AllegraEraTxBody era ⇒ AllegraTxBody era → TxBody era Source #

fromMaryBody ∷ ∀ era. MaryEraTxBody era ⇒ MaryTxBody era → TxBody era Source #

fromAlonzoBody ∷ ∀ era. AlonzoEraTxBody era ⇒ AlonzoTxBody era → TxBody era Source #

fromBabbageBody ∷ ∀ era. BabbageEraTxBody era ⇒ BabbageTxBody era → TxBody era Source #