Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse

Contents

Orphan instances

Synopsis

genSigningKey ∷ Gen SigningKey
genAddrPair ∷ Network → Gen (BootstrapAddress, SigningKey)
class (Eq (ProofType hashtype era), EncCBOR (ProofType hashtype era), ToExpr (ProofType hashtype era), NFData (ProofType hashtype era), NFData hashtype, Eq hashtype) ⇒ HasWitness hashtype era where
- type ProofType hashtype era
- type WitnessType hashtype era
- type TypeHashed hashtype era
- hash ∷ TypeHashed hashtype era → hashtype
- mkWitness ∷ ProofType hashtype era → WitnessType hashtype era
- getTypeHashed ∷ ProofType hashtype era → TypeHashed hashtype era
- prettyHash ∷ hashtype → Doc
data WitBlock t era where
- WitBlock ∷ ∀ era t. (Era era, HasWitness t era) ⇒ Set t → Map t (ProofType t era) → WitBlock t era
wbHash ∷ WitBlock t era → Set t
wbMap ∷ WitBlock t era → Map t (ProofType t era)
type BodyHash = SafeHash EraIndependentTxBody
data WitUniv era = WitUniv {
- wvSize ∷ Int
- wvVKey ∷ WitBlock (KeyHash 'Witness) era
- wvBoot ∷ WitBlock BootstrapAddress era
- wvScript ∷ WitBlock ScriptHash era
- wvDats ∷ WitBlock DataHash era
}
explainWit ∷ String → WitUniv era → Specification t → Specification t
witKeyHashSpec ∷ ∀ era (krole ∷ KeyRole). Typeable krole ⇒ WitUniv era → Specification (KeyHash krole)
witScriptHashSpec ∷ WitUniv era → Specification ScriptHash
witBootstrapAddress ∷ WitUniv era → Specification BootstrapAddress
witCredSpec ∷ ∀ era (krole ∷ KeyRole). Typeable krole ⇒ WitUniv era → Specification (Credential krole)
witDRepSpec ∷ WitUniv era → Specification DRep
witAccountAddressSpec ∷ WitUniv era → Specification AccountAddress
owners_ ∷ Era era ⇒ Term (StakePoolParams era) → Term (Set (KeyHash 'Staking))
witStakePoolParamsSpec ∷ Era era ⇒ WitUniv era → Specification (StakePoolParams era)
witPoolStateSpec ∷ WitUniv era → Specification StakePoolState
witGenDelegPairSpec ∷ WitUniv era → Specification GenDelegPair
witShelleyTxCert ∷ Era era ⇒ WitUniv era → Specification (ShelleyTxCert era)
witConwayTxCert ∷ Era era ⇒ WitUniv era → Specification (ConwayTxCert era)
witnessBootAddr ∷ EraTxWits era ⇒ BodyHash → BootstrapAddress → WitUniv era → TxWits era
witnessKeyHash ∷ EraTxWits era ⇒ BodyHash → KeyHash 'Witness → WitUniv era → TxWits era
witnessScriptHash ∷ EraTxWits era ⇒ ScriptHash → WitUniv era → TxWits era
witnessDataHash ∷ AlonzoEraTxWits era ⇒ DataHash → WitUniv era → TxWits era
blockFromProofList ∷ ∀ t era. (Era era, Ord t, HasWitness t era) ⇒ [ProofType t era] → WitBlock t era
genWitBlock ∷ ∀ t era. (Era era, Ord t, HasWitness t era) ⇒ Int → Gen (ProofType t era) → Gen (WitBlock t era)
genWitUniv ∷ (GenScript era, HasWitness ScriptHash era) ⇒ Int → Gen (WitUniv era)
genNestedMultiSig ∷ ShelleyEraScript era ⇒ Int → Gen (NativeScript era)
genNestedTimelock ∷ AllegraEraScript era ⇒ Int → Gen (NativeScript era)
class Witnessed era t where
- witness ∷ WitUniv era → Term t → Pred
class (EraTxCert era, HasSpec (TxCert era)) ⇒ EraSpecTxCert era where
- witTxCert ∷ WitUniv era → Specification (TxCert era)
class (EraScript era, ToExpr (NativeScript era), NFData (Script era), ToExpr (Script era)) ⇒ GenScript era where
- genScript ∷ Gen (Script era)
spec1 ∷ WitUniv ShelleyEra → Specification (Set ScriptHash)
go1 ∷ IO ()
spec2 ∷ WitUniv ShelleyEra → Set ScriptHash → Specification (Set ScriptHash)
go2 ∷ IO ()
conwayWitUniv ∷ Int → WitUniv ConwayEra
babbageWitUniv ∷ Int → WitUniv BabbageEra
alonzoWitUniv ∷ Int → WitUniv AlonzoEra
maryWitUniv ∷ Int → WitUniv MaryEra
allegraWitUniv ∷ Int → WitUniv AllegraEra
shelleyWitUniv ∷ Int → WitUniv ShelleyEra
class EraUniverse era where
- eraWitUniv ∷ Int → WitUniv era
govActionStateWitness ∷ EraSpecPParams era ⇒ WitUniv era → Specification (GovActionState era)
govActionWitness ∷ EraSpecPParams era ⇒ WitUniv era → Specification (GovAction era)
proposalProcedureWitness ∷ EraSpecPParams era ⇒ WitUniv era → Specification (ProposalProcedure era)
committeeWitness ∷ EraSpecPParams era ⇒ WitUniv era → Specification (Committee era)
go9 ∷ IO ()

Documentation

genSigningKey ∷ Gen SigningKey Source #

Turn a random bytestring into a SigningKey

genAddrPair ∷ Network → Gen (BootstrapAddress, SigningKey) Source #

Generate a pair, A Byron address, and the key that can sign it.

class (Eq (ProofType hashtype era), EncCBOR (ProofType hashtype era), ToExpr (ProofType hashtype era), NFData (ProofType hashtype era), NFData hashtype, Eq hashtype) ⇒ HasWitness hashtype era where Source #

Associated Types

type ProofType hashtype era Source #

type WitnessType hashtype era Source #

type TypeHashed hashtype era Source #

Methods

hash ∷ TypeHashed hashtype era → hashtype Source #

mkWitness ∷ ProofType hashtype era → WitnessType hashtype era Source #

getTypeHashed ∷ ProofType hashtype era → TypeHashed hashtype era Source #

prettyHash ∷ hashtype → Doc Source #

Instances

Instances details

Era era ⇒ HasWitness BootstrapAddress era Source #

Instance details

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

Associated Types

type ProofType BootstrapAddress era
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type ProofType BootstrapAddress era = SigningKey
type WitnessType BootstrapAddress era
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type WitnessType BootstrapAddress era = BodyHash → BootstrapWitness
type TypeHashed BootstrapAddress era
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type TypeHashed BootstrapAddress era = SigningKey

Methods

hash ∷ TypeHashed BootstrapAddress era → BootstrapAddress Source #

mkWitness ∷ ProofType BootstrapAddress era → WitnessType BootstrapAddress era Source #

getTypeHashed ∷ ProofType BootstrapAddress era → TypeHashed BootstrapAddress era Source #

prettyHash ∷ BootstrapAddress → Doc Source #

EraScript era ⇒ HasWitness DataHash era Source #

Instance details

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

Associated Types

type ProofType DataHash era
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type ProofType DataHash era = Data era
type WitnessType DataHash era
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type WitnessType DataHash era = Data era
type TypeHashed DataHash era
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type TypeHashed DataHash era = Data era

Methods

hash ∷ TypeHashed DataHash era → DataHash Source #

mkWitness ∷ ProofType DataHash era → WitnessType DataHash era Source #

getTypeHashed ∷ ProofType DataHash era → TypeHashed DataHash era Source #

prettyHash ∷ DataHash → Doc Source #

GenScript era ⇒ HasWitness ScriptHash era Source #

Instance details

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

Associated Types

type ProofType ScriptHash era
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type ProofType ScriptHash era = Script era
type WitnessType ScriptHash era
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type WitnessType ScriptHash era = Script era
type TypeHashed ScriptHash era
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type TypeHashed ScriptHash era = ProofType ScriptHash era

Methods

hash ∷ TypeHashed ScriptHash era → ScriptHash Source #

mkWitness ∷ ProofType ScriptHash era → WitnessType ScriptHash era Source #

getTypeHashed ∷ ProofType ScriptHash era → TypeHashed ScriptHash era Source #

prettyHash ∷ ScriptHash → Doc Source #

Era era ⇒ HasWitness (KeyHash 'Witness) era Source #

Instance details

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

Associated Types

type ProofType (KeyHash 'Witness) era
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type ProofType (KeyHash 'Witness) era = KeyPair 'Witness
type WitnessType (KeyHash 'Witness) era
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type WitnessType (KeyHash 'Witness) era = BodyHash → WitVKey 'Witness
type TypeHashed (KeyHash 'Witness) era
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type TypeHashed (KeyHash 'Witness) era = VKey 'Witness

Methods

hash ∷ TypeHashed (KeyHash 'Witness) era → KeyHash 'Witness Source #

mkWitness ∷ ProofType (KeyHash 'Witness) era → WitnessType (KeyHash 'Witness) era Source #

getTypeHashed ∷ ProofType (KeyHash 'Witness) era → TypeHashed (KeyHash 'Witness) era Source #

prettyHash ∷ KeyHash 'Witness → Doc Source #

data WitBlock t era where Source #

A WitBlock is designed to have five purposes 1) To efficiently constrain objects to be witnessed when using constraint generators the (Set hashtype) allows efficient constraints like :: (member_ t) (lit (wbHash witblock)) 2) To efficiently compute witnesses from a hashtype the (Map hashtype (ProofType hashtype era)) can be used like this case Map.lookup hash (wbMap witblock) of Just base -> mkWitness base Nothing -> error "Missing hash. perhaps generator did not constrain the hash to be witnessed?" 3) When (HasWitness hashtype era) holds, the WitBlock can be computed from only [ProofType hashtype era] using getTypeHashed. This makes Gen and CBOR instances, especially easy. We compute only with [ProofType hashtype era] and then reconstruct the rest 4) WitBlock is a Monoid, so we can combine them easily 5) We can easily make (Gen (WitBlock t era)), so we can make them for testing.

Constructors

WitBlock ∷ ∀ era t. (Era era, HasWitness t era) ⇒ Set t → Map t (ProofType t era) → WitBlock t era

Instances

Instances details

Era era ⇒ EncCBOR (WitBlock t era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods encCBOR ∷ WitBlock t era → Encoding Source #
NFData (WitBlock t era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods rnf ∷ WitBlock t era → () #
(Era era, Ord t, HasWitness t era) ⇒ Monoid (WitBlock t era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods mempty ∷ WitBlock t era # mappend ∷ WitBlock t era → WitBlock t era → WitBlock t era # mconcat ∷ [WitBlock t era] → WitBlock t era #
Ord t ⇒ Semigroup (WitBlock t era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods (<>) ∷ WitBlock t era → WitBlock t era → WitBlock t era # sconcat ∷ NonEmpty (WitBlock t era) → WitBlock t era # stimes ∷ Integral b ⇒ b → WitBlock t era → WitBlock t era #
(Show t, ToExpr t) ⇒ Show (WitBlock t era) Source #	when we print a WitBlock, we are only interested in the hashes, not the witnesses
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods showsPrec ∷ Int → WitBlock t era → ShowS # show ∷ WitBlock t era → String # showList ∷ [WitBlock t era] → ShowS #
Eq (WitBlock t era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods (==) ∷ WitBlock t era → WitBlock t era → Bool # (/=) ∷ WitBlock t era → WitBlock t era → Bool #
ToExpr t ⇒ ToExpr (WitBlock t era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods toExpr ∷ WitBlock t era → Expr Source # listToExpr ∷ [WitBlock t era] → Expr Source #

wbHash ∷ WitBlock t era → Set t Source #

wbMap ∷ WitBlock t era → Map t (ProofType t era) Source #

type BodyHash = SafeHash EraIndependentTxBody Source #

data WitUniv era Source #

Constructors

WitUniv
Fields wvSize ∷ Int wvVKey ∷ WitBlock (KeyHash 'Witness) era wvBoot ∷ WitBlock BootstrapAddress era wvScript ∷ WitBlock ScriptHash era wvDats ∷ WitBlock DataHash era

Instances

Instances details

(HasWitness ScriptHash era, GenScript era) ⇒ Arbitrary (WitUniv era) Source #

Instance details

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

Methods

arbitrary ∷ Gen (WitUniv era) Source #

shrink ∷ WitUniv era → [WitUniv era] Source #

Era era ⇒ EncCBOR (WitUniv era) Source #

Instance details

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

Methods

encCBOR ∷ WitUniv era → Encoding Source #

NFData (WitUniv era) Source #

Instance details

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

Methods

rnf ∷ WitUniv era → () #

(EraScript era, HasWitness ScriptHash era) ⇒ Monoid (WitUniv era) Source #

Instance details

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

Methods

mempty ∷ WitUniv era #

mappend ∷ WitUniv era → WitUniv era → WitUniv era #

mconcat ∷ [WitUniv era] → WitUniv era #

Era era ⇒ Semigroup (WitUniv era) Source #

Easy to extend Monoid from WitBlock to WitUniv

Instance details

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

Methods

(<>) ∷ WitUniv era → WitUniv era → WitUniv era #

sconcat ∷ NonEmpty (WitUniv era) → WitUniv era #

stimes ∷ Integral b ⇒ b → WitUniv era → WitUniv era #

Generic (WitUniv era) Source #

Instance details

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

Associated Types

type Rep (WitUniv era)

Instance details

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

type Rep (WitUniv era) = D1 ('MetaData "WitUniv" "Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "WitUniv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "wvSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "wvVKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WitBlock (KeyHash 'Witness) era))) :*: (S1 ('MetaSel ('Just "wvBoot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WitBlock BootstrapAddress era)) :*: (S1 ('MetaSel ('Just "wvScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WitBlock ScriptHash era)) :*: S1 ('MetaSel ('Just "wvDats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WitBlock DataHash era))))))

Methods

from ∷ WitUniv era → Rep (WitUniv era) x #

to ∷ Rep (WitUniv era) x → WitUniv era #

Show (WitUniv era) Source #

Instance details

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

Methods

showsPrec ∷ Int → WitUniv era → ShowS #

show ∷ WitUniv era → String #

showList ∷ [WitUniv era] → ShowS #

Eq (WitUniv era) Source #

Instance details

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

Methods

(==) ∷ WitUniv era → WitUniv era → Bool #

(/=) ∷ WitUniv era → WitUniv era → Bool #

ToExpr (WitUniv era) Source #

Instance details

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

Methods

toExpr ∷ WitUniv era → Expr Source #

listToExpr ∷ [WitUniv era] → Expr Source #

type Rep (WitUniv era) Source #

Instance details

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

type Rep (WitUniv era) = D1 ('MetaData "WitUniv" "Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "WitUniv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "wvSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "wvVKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WitBlock (KeyHash 'Witness) era))) :*: (S1 ('MetaSel ('Just "wvBoot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WitBlock BootstrapAddress era)) :*: (S1 ('MetaSel ('Just "wvScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WitBlock ScriptHash era)) :*: S1 ('MetaSel ('Just "wvDats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WitBlock DataHash era))))))

explainWit ∷ String → WitUniv era → Specification t → Specification t Source #

witKeyHashSpec ∷ ∀ era (krole ∷ KeyRole). Typeable krole ⇒ WitUniv era → Specification (KeyHash krole) Source #

witScriptHashSpec ∷ WitUniv era → Specification ScriptHash Source #

witBootstrapAddress ∷ WitUniv era → Specification BootstrapAddress Source #

witCredSpec ∷ ∀ era (krole ∷ KeyRole). Typeable krole ⇒ WitUniv era → Specification (Credential krole) Source #

witDRepSpec ∷ WitUniv era → Specification DRep Source #

witAccountAddressSpec ∷ WitUniv era → Specification AccountAddress Source #

Used only in Withdrawals, other AccountAddresses, not being withdrawn do not need witnessing

owners_ ∷ Era era ⇒ Term (StakePoolParams era) → Term (Set (KeyHash 'Staking)) Source #

witStakePoolParamsSpec ∷ Era era ⇒ WitUniv era → Specification (StakePoolParams era) Source #

witPoolStateSpec ∷ WitUniv era → Specification StakePoolState Source #

witGenDelegPairSpec ∷ WitUniv era → Specification GenDelegPair Source #

witShelleyTxCert ∷ Era era ⇒ WitUniv era → Specification (ShelleyTxCert era) Source #

Constrains all the Certificate Authors. Sometimes thay are keyHashes, and sometimes Credentials

witConwayTxCert ∷ Era era ⇒ WitUniv era → Specification (ConwayTxCert era) Source #

Constrains all the Certificate Authors. Sometimes thay are keyHashes, and sometimes Credentials

witnessBootAddr ∷ EraTxWits era ⇒ BodyHash → BootstrapAddress → WitUniv era → TxWits era Source #

witnessKeyHash ∷ EraTxWits era ⇒ BodyHash → KeyHash 'Witness → WitUniv era → TxWits era Source #

witnessScriptHash ∷ EraTxWits era ⇒ ScriptHash → WitUniv era → TxWits era Source #

witnessDataHash ∷ AlonzoEraTxWits era ⇒ DataHash → WitUniv era → TxWits era Source #

blockFromProofList ∷ ∀ t era. (Era era, Ord t, HasWitness t era) ⇒ [ProofType t era] → WitBlock t era Source #

Reconstruct a (WitBlock t era) from only a [ProofType t era]

genWitBlock ∷ ∀ t era. (Era era, Ord t, HasWitness t era) ⇒ Int → Gen (ProofType t era) → Gen (WitBlock t era) Source #

genWitUniv ∷ (GenScript era, HasWitness ScriptHash era) ⇒ Int → Gen (WitUniv era) Source #

genNestedMultiSig ∷ ShelleyEraScript era ⇒ Int → Gen (NativeScript era) Source #

genNestedTimelock ∷ AllegraEraScript era ⇒ Int → Gen (NativeScript era) Source #

class Witnessed era t where Source #

The class of things we know how to witness. This way you don't have to remember long complicated names.

Methods

witness ∷ WitUniv era → Term t → Pred Source #

Instances

Instances details

Era era ⇒ Witnessed era AccountAddress Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term AccountAddress → Pred Source #
Era era ⇒ Witnessed era BootstrapAddress Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term BootstrapAddress → Pred Source #
Era era ⇒ Witnessed era DRep Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term DRep → Pred Source #
Era era ⇒ Witnessed era GenDelegPair Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term GenDelegPair → Pred Source #
Era era ⇒ Witnessed era ScriptHash Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term ScriptHash → Pred Source #
Era era ⇒ Witnessed era StakePoolState Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term StakePoolState → Pred Source #
EraSpecPParams era ⇒ Witnessed era (Committee era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term (Committee era) → Pred Source #
Era era ⇒ Witnessed era (ConwayAccountState era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term (ConwayAccountState era) → Pred Source #
Era era ⇒ Witnessed era (ConwayAccounts era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term (ConwayAccounts era) → Pred Source #
Era era ⇒ Witnessed era (ConwayTxCert era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term (ConwayTxCert era) → Pred Source #
(Era era, Typeable r) ⇒ Witnessed era (Credential r) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term (Credential r) → Pred Source #
(Era era, Typeable r) ⇒ Witnessed era (KeyHash r) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term (KeyHash r) → Pred Source #
Era era ⇒ Witnessed era (StakePoolParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term (StakePoolParams era) → Pred Source #
Era era ⇒ Witnessed era (ShelleyAccountState era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term (ShelleyAccountState era) → Pred Source #
Era era ⇒ Witnessed era (ShelleyTxCert era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term (ShelleyTxCert era) → Pred Source #
(Era era, HasSpec t, Witnessed era t, IsNormalType t) ⇒ Witnessed era (StrictMaybe t) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term (StrictMaybe t) → Pred Source #
(Era era, HasSpec t, Ord t, Witnessed era t) ⇒ Witnessed era (Set t) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term (Set t) → Pred Source #
(Era era, HasSpec t, Witnessed era t, IsNormalType t) ⇒ Witnessed era (Maybe t) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term (Maybe t) → Pred Source #
(Era era, HasSpec t, Witnessed era t) ⇒ Witnessed era [t] Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term [t] → Pred Source #
(Era era, HasSpec t, HasSpec v, IsNormalType t, IsNormalType v, Ord t, Witnessed era t) ⇒ Witnessed era (Map t v) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witness ∷ WitUniv era → Term (Map t v) → Pred Source #

class (EraTxCert era, HasSpec (TxCert era)) ⇒ EraSpecTxCert era where Source #

Parametric TxCert

Methods

witTxCert ∷ WitUniv era → Specification (TxCert era) Source #

Instances

Instances details

EraSpecTxCert AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv AllegraEra → Specification (TxCert AllegraEra) Source #
EraSpecTxCert AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv AlonzoEra → Specification (TxCert AlonzoEra) Source #
EraSpecTxCert BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv BabbageEra → Specification (TxCert BabbageEra) Source #
EraSpecTxCert ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv ConwayEra → Specification (TxCert ConwayEra) Source #
EraSpecTxCert MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv MaryEra → Specification (TxCert MaryEra) Source #
EraSpecTxCert ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods witTxCert ∷ WitUniv ShelleyEra → Specification (TxCert ShelleyEra) Source #

class (EraScript era, ToExpr (NativeScript era), NFData (Script era), ToExpr (Script era)) ⇒ GenScript era where Source #

Parametric Script

Methods

genScript ∷ Gen (Script era) Source #

Instances

Instances details

GenScript AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods genScript ∷ Gen (Script AllegraEra) Source #
GenScript AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods genScript ∷ Gen (Script AlonzoEra) Source #
GenScript BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods genScript ∷ Gen (Script BabbageEra) Source #
GenScript ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods genScript ∷ Gen (Script ConwayEra) Source #
GenScript MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods genScript ∷ Gen (Script MaryEra) Source #
GenScript ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods genScript ∷ Gen (Script ShelleyEra) Source #

spec1 ∷ WitUniv ShelleyEra → Specification (Set ScriptHash) Source #

go1 ∷ IO () Source #

spec2 ∷ WitUniv ShelleyEra → Set ScriptHash → Specification (Set ScriptHash) Source #

go2 ∷ IO () Source #

conwayWitUniv ∷ Int → WitUniv ConwayEra Source #

babbageWitUniv ∷ Int → WitUniv BabbageEra Source #

alonzoWitUniv ∷ Int → WitUniv AlonzoEra Source #

maryWitUniv ∷ Int → WitUniv MaryEra Source #

allegraWitUniv ∷ Int → WitUniv AllegraEra Source #

shelleyWitUniv ∷ Int → WitUniv ShelleyEra Source #

class EraUniverse era where Source #

Methods

eraWitUniv ∷ Int → WitUniv era Source #

Instances

Instances details

EraUniverse AllegraEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods eraWitUniv ∷ Int → WitUniv AllegraEra Source #
EraUniverse AlonzoEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods eraWitUniv ∷ Int → WitUniv AlonzoEra Source #
EraUniverse BabbageEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods eraWitUniv ∷ Int → WitUniv BabbageEra Source #
EraUniverse ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods eraWitUniv ∷ Int → WitUniv ConwayEra Source #
EraUniverse MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods eraWitUniv ∷ Int → WitUniv MaryEra Source #
EraUniverse ShelleyEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse Methods eraWitUniv ∷ Int → WitUniv ShelleyEra Source #

govActionStateWitness ∷ EraSpecPParams era ⇒ WitUniv era → Specification (GovActionState era) Source #

Constrains just the parts that need witnessing in GovActionState

govActionWitness ∷ EraSpecPParams era ⇒ WitUniv era → Specification (GovAction era) Source #

Constrains just the parts that need witnessing in GovAction

proposalProcedureWitness ∷ EraSpecPParams era ⇒ WitUniv era → Specification (ProposalProcedure era) Source #

Constrains just the parts that need witnessing in ProposalProcedure

committeeWitness ∷ EraSpecPParams era ⇒ WitUniv era → Specification (Committee era) Source #

Constrains just the parts that need witnessing in Committee

go9 ∷ IO () Source #

Orphan instances

ToExpr SigningKey Source #

Instance details

Methods

toExpr ∷ SigningKey → Expr Source #

listToExpr ∷ [SigningKey] → Expr Source #

Era era ⇒ HasSpec (TxDats era) Source #

Instance details

Associated Types

type TypeSpec (TxDats era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type TypeSpec (TxDats era) = TypeSpec (SimpleRep (TxDats era))
type Prerequisites (TxDats era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type Prerequisites (TxDats era) = ()

Methods

emptySpec ∷ TypeSpec (TxDats era) Source #

combineSpec ∷ TypeSpec (TxDats era) → TypeSpec (TxDats era) → Specification (TxDats era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (TxDats era) → GenT m (TxDats era) Source #

conformsTo ∷ TxDats era → TypeSpec (TxDats era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (TxDats era) → TxDats era → [TxDats era] Source #

fixupWithTypeSpec ∷ TypeSpec (TxDats era) → TxDats era → Maybe (TxDats era) Source #

toPreds ∷ Term (TxDats era) → TypeSpec (TxDats era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (TxDats era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (TxDats era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (TxDats era) → BinaryShow Source #

typeSpecOpt ∷ TypeSpec (TxDats era) → [TxDats era] → Specification (TxDats era) Source #

guardTypeSpec ∷ [String] → TypeSpec (TxDats era) → Specification (TxDats era) Source #

prerequisites ∷ Evidence (Prerequisites (TxDats era)) Source #

(ShelleyEraScript era, NativeScript era ~ MultiSig era) ⇒ HasSpec (MultiSig era) Source #

Instance details

Associated Types

type TypeSpec (MultiSig era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type TypeSpec (MultiSig era) = ()
type Prerequisites (MultiSig era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type Prerequisites (MultiSig era) = ()

Methods

emptySpec ∷ TypeSpec (MultiSig era) Source #

combineSpec ∷ TypeSpec (MultiSig era) → TypeSpec (MultiSig era) → Specification (MultiSig era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (MultiSig era) → GenT m (MultiSig era) Source #

conformsTo ∷ MultiSig era → TypeSpec (MultiSig era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (MultiSig era) → MultiSig era → [MultiSig era] Source #

fixupWithTypeSpec ∷ TypeSpec (MultiSig era) → MultiSig era → Maybe (MultiSig era) Source #

toPreds ∷ Term (MultiSig era) → TypeSpec (MultiSig era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (MultiSig era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (MultiSig era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (MultiSig era) → BinaryShow Source #

typeSpecOpt ∷ TypeSpec (MultiSig era) → [MultiSig era] → Specification (MultiSig era) Source #

guardTypeSpec ∷ [String] → TypeSpec (MultiSig era) → Specification (MultiSig era) Source #

prerequisites ∷ Evidence (Prerequisites (MultiSig era)) Source #

AlonzoEraScript era ⇒ HasSimpleRep (Redeemers era) Source #

Instance details

Associated Types

type SimpleRep (Redeemers era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type SimpleRep (Redeemers era) = Map (PlutusPurpose AsIx era) (Data era, ExUnits)
type TheSop (Redeemers era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type TheSop (Redeemers era) = SOPOf (Rep (Redeemers era))

Methods

toSimpleRep ∷ Redeemers era → SimpleRep (Redeemers era) Source #

fromSimpleRep ∷ SimpleRep (Redeemers era) → Redeemers era Source #

Era era ⇒ HasSimpleRep (TxDats era) Source #

Instance details

Associated Types

type SimpleRep (TxDats era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type SimpleRep (TxDats era) = Map DataHash (Data era)
type TheSop (TxDats era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse type TheSop (TxDats era) = SOPOf (Rep (TxDats era))

Methods

toSimpleRep ∷ TxDats era → SimpleRep (TxDats era) Source #

fromSimpleRep ∷ SimpleRep (TxDats era) → TxDats era Source #