| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger
Contents
Description
This module provides the necessary instances of HasSpec
and HasSimpleRep to write specs for the environments,
states, and signals in the STS rules of the Ledger. Note some simple
types used in the PParams (Coin, EpochInterval, etc.) have their
instances defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic
and they are reexported here.
Documentation
data StringW (a ∷ [Type]) b Source #
Instances
type ProposalTree era = (StrictMaybe GovActionId, [Tree (GAS era)]) Source #
onJust' ∷ (HasSpec a, IsNormalType a, IsPred p) ⇒ Term (StrictMaybe a) → (Term a → p) → Pred Source #
cKeyHashObj ∷ ∀ (r ∷ KeyRole). Typeable r ⇒ Term (KeyHash r) → Term (Credential r) Source #
cScriptHashObj ∷ ∀ (r ∷ KeyRole). Typeable r ⇒ Term ScriptHash → Term (Credential r) 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 #
gasCommitteeVotes_ ∷ Term (GovActionState ConwayEra) → Term (Map (Credential 'HotCommitteeRole) Vote) Source #
gasDRepVotes_ ∷ Term (GovActionState ConwayEra) → Term (Map (Credential 'DRepRole) Vote) Source #
gasProposalProcedure_ ∷ Term (GovActionState ConwayEra) → Term (ProposalProcedure ConwayEra) Source #
psPParamUpdate_ ∷ (EraSpecPParams era, Arbitrary (Proposals era)) ⇒ Term (Proposals era) → Term (ProposalTree era) Source #
data ProposalsSplit Source #
Constructors
| ProposalsSplit | |
Instances
Orphan instances
| HasSpec ByteString Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec ByteString Source # combineSpec ∷ TypeSpec ByteString → TypeSpec ByteString → Specification ByteString Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec ByteString → GenT m ByteString Source # conformsTo ∷ ByteString → TypeSpec ByteString → Bool Source # shrinkWithTypeSpec ∷ TypeSpec ByteString → ByteString → [ByteString] Source # fixupWithTypeSpec ∷ TypeSpec ByteString → ByteString → Maybe ByteString Source # toPreds ∷ Term ByteString → TypeSpec ByteString → Pred Source # cardinalTypeSpec ∷ TypeSpec ByteString → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec ByteString → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec ByteString → BinaryShow Source # typeSpecOpt ∷ TypeSpec ByteString → [ByteString] → Specification ByteString Source # guardTypeSpec ∷ [String] → TypeSpec ByteString → Specification ByteString Source # prerequisites ∷ Evidence (Prerequisites ByteString) Source # | |||||||||
| HasSpec ShortByteString Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec ShortByteString Source # combineSpec ∷ TypeSpec ShortByteString → TypeSpec ShortByteString → Specification ShortByteString Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec ShortByteString → GenT m ShortByteString Source # conformsTo ∷ ShortByteString → TypeSpec ShortByteString → Bool Source # shrinkWithTypeSpec ∷ TypeSpec ShortByteString → ShortByteString → [ShortByteString] Source # fixupWithTypeSpec ∷ TypeSpec ShortByteString → ShortByteString → Maybe ShortByteString Source # toPreds ∷ Term ShortByteString → TypeSpec ShortByteString → Pred Source # cardinalTypeSpec ∷ TypeSpec ShortByteString → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec ShortByteString → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec ShortByteString → BinaryShow Source # typeSpecOpt ∷ TypeSpec ShortByteString → [ShortByteString] → Specification ShortByteString Source # guardTypeSpec ∷ [String] → TypeSpec ShortByteString → Specification ShortByteString Source # prerequisites ∷ Evidence (Prerequisites ShortByteString) Source # | |||||||||
| HasSpec ValidityInterval Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec ValidityInterval Source # combineSpec ∷ TypeSpec ValidityInterval → TypeSpec ValidityInterval → Specification ValidityInterval Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec ValidityInterval → GenT m ValidityInterval Source # conformsTo ∷ ValidityInterval → TypeSpec ValidityInterval → Bool Source # shrinkWithTypeSpec ∷ TypeSpec ValidityInterval → ValidityInterval → [ValidityInterval] Source # fixupWithTypeSpec ∷ TypeSpec ValidityInterval → ValidityInterval → Maybe ValidityInterval Source # toPreds ∷ Term ValidityInterval → TypeSpec ValidityInterval → Pred Source # cardinalTypeSpec ∷ TypeSpec ValidityInterval → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec ValidityInterval → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec ValidityInterval → BinaryShow Source # typeSpecOpt ∷ TypeSpec ValidityInterval → [ValidityInterval] → Specification ValidityInterval Source # guardTypeSpec ∷ [String] → TypeSpec ValidityInterval → Specification ValidityInterval Source # prerequisites ∷ Evidence (Prerequisites ValidityInterval) Source # | |||||||||
| HasSpec IsValid Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec IsValid Source # combineSpec ∷ TypeSpec IsValid → TypeSpec IsValid → Specification IsValid Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec IsValid → GenT m IsValid Source # conformsTo ∷ IsValid → TypeSpec IsValid → Bool Source # shrinkWithTypeSpec ∷ TypeSpec IsValid → IsValid → [IsValid] Source # fixupWithTypeSpec ∷ TypeSpec IsValid → IsValid → Maybe IsValid Source # toPreds ∷ Term IsValid → TypeSpec IsValid → Pred Source # cardinalTypeSpec ∷ TypeSpec IsValid → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec IsValid → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec IsValid → BinaryShow Source # typeSpecOpt ∷ TypeSpec IsValid → [IsValid] → Specification IsValid Source # guardTypeSpec ∷ [String] → TypeSpec IsValid → Specification IsValid Source # | |||||||||
| HasSpec Addr28Extra Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Addr28Extra Source # combineSpec ∷ TypeSpec Addr28Extra → TypeSpec Addr28Extra → Specification Addr28Extra Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Addr28Extra → GenT m Addr28Extra Source # conformsTo ∷ Addr28Extra → TypeSpec Addr28Extra → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Addr28Extra → Addr28Extra → [Addr28Extra] Source # fixupWithTypeSpec ∷ TypeSpec Addr28Extra → Addr28Extra → Maybe Addr28Extra Source # toPreds ∷ Term Addr28Extra → TypeSpec Addr28Extra → Pred Source # cardinalTypeSpec ∷ TypeSpec Addr28Extra → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Addr28Extra → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Addr28Extra → BinaryShow Source # typeSpecOpt ∷ TypeSpec Addr28Extra → [Addr28Extra] → Specification Addr28Extra Source # guardTypeSpec ∷ [String] → TypeSpec Addr28Extra → Specification Addr28Extra Source # prerequisites ∷ Evidence (Prerequisites Addr28Extra) Source # | |||||||||
| HasSpec DataHash32 Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec DataHash32 Source # combineSpec ∷ TypeSpec DataHash32 → TypeSpec DataHash32 → Specification DataHash32 Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec DataHash32 → GenT m DataHash32 Source # conformsTo ∷ DataHash32 → TypeSpec DataHash32 → Bool Source # shrinkWithTypeSpec ∷ TypeSpec DataHash32 → DataHash32 → [DataHash32] Source # fixupWithTypeSpec ∷ TypeSpec DataHash32 → DataHash32 → Maybe DataHash32 Source # toPreds ∷ Term DataHash32 → TypeSpec DataHash32 → Pred Source # cardinalTypeSpec ∷ TypeSpec DataHash32 → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec DataHash32 → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec DataHash32 → BinaryShow Source # typeSpecOpt ∷ TypeSpec DataHash32 → [DataHash32] → Specification DataHash32 Source # guardTypeSpec ∷ [String] → TypeSpec DataHash32 → Specification DataHash32 Source # prerequisites ∷ Evidence (Prerequisites DataHash32) Source # | |||||||||
| HasSpec CoinPerByte Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec CoinPerByte Source # combineSpec ∷ TypeSpec CoinPerByte → TypeSpec CoinPerByte → Specification CoinPerByte Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec CoinPerByte → GenT m CoinPerByte Source # conformsTo ∷ CoinPerByte → TypeSpec CoinPerByte → Bool Source # shrinkWithTypeSpec ∷ TypeSpec CoinPerByte → CoinPerByte → [CoinPerByte] Source # fixupWithTypeSpec ∷ TypeSpec CoinPerByte → CoinPerByte → Maybe CoinPerByte Source # toPreds ∷ Term CoinPerByte → TypeSpec CoinPerByte → Pred Source # cardinalTypeSpec ∷ TypeSpec CoinPerByte → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec CoinPerByte → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec CoinPerByte → BinaryShow Source # typeSpecOpt ∷ TypeSpec CoinPerByte → [CoinPerByte] → Specification CoinPerByte Source # guardTypeSpec ∷ [String] → TypeSpec CoinPerByte → Specification CoinPerByte Source # prerequisites ∷ Evidence (Prerequisites CoinPerByte) Source # | |||||||||
| HasSpec AddrType Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec AddrType Source # combineSpec ∷ TypeSpec AddrType → TypeSpec AddrType → Specification AddrType Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec AddrType → GenT m AddrType Source # conformsTo ∷ AddrType → TypeSpec AddrType → Bool Source # shrinkWithTypeSpec ∷ TypeSpec AddrType → AddrType → [AddrType] Source # fixupWithTypeSpec ∷ TypeSpec AddrType → AddrType → Maybe AddrType Source # toPreds ∷ Term AddrType → TypeSpec AddrType → Pred Source # cardinalTypeSpec ∷ TypeSpec AddrType → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec AddrType → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec AddrType → BinaryShow Source # typeSpecOpt ∷ TypeSpec AddrType → [AddrType] → Specification AddrType Source # guardTypeSpec ∷ [String] → TypeSpec AddrType → Specification AddrType Source # | |||||||||
| HasSpec NetworkMagic Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec NetworkMagic Source # combineSpec ∷ TypeSpec NetworkMagic → TypeSpec NetworkMagic → Specification NetworkMagic Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec NetworkMagic → GenT m NetworkMagic Source # conformsTo ∷ NetworkMagic → TypeSpec NetworkMagic → Bool Source # shrinkWithTypeSpec ∷ TypeSpec NetworkMagic → NetworkMagic → [NetworkMagic] Source # fixupWithTypeSpec ∷ TypeSpec NetworkMagic → NetworkMagic → Maybe NetworkMagic Source # toPreds ∷ Term NetworkMagic → TypeSpec NetworkMagic → Pred Source # cardinalTypeSpec ∷ TypeSpec NetworkMagic → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec NetworkMagic → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec NetworkMagic → BinaryShow Source # typeSpecOpt ∷ TypeSpec NetworkMagic → [NetworkMagic] → Specification NetworkMagic Source # guardTypeSpec ∷ [String] → TypeSpec NetworkMagic → Specification NetworkMagic Source # prerequisites ∷ Evidence (Prerequisites NetworkMagic) Source # | |||||||||
| HasSpec GovActionId Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec GovActionId Source # combineSpec ∷ TypeSpec GovActionId → TypeSpec GovActionId → Specification GovActionId Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec GovActionId → GenT m GovActionId Source # conformsTo ∷ GovActionId → TypeSpec GovActionId → Bool Source # shrinkWithTypeSpec ∷ TypeSpec GovActionId → GovActionId → [GovActionId] Source # fixupWithTypeSpec ∷ TypeSpec GovActionId → GovActionId → Maybe GovActionId Source # toPreds ∷ Term GovActionId → TypeSpec GovActionId → Pred Source # cardinalTypeSpec ∷ TypeSpec GovActionId → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec GovActionId → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec GovActionId → BinaryShow Source # typeSpecOpt ∷ TypeSpec GovActionId → [GovActionId] → Specification GovActionId Source # guardTypeSpec ∷ [String] → TypeSpec GovActionId → Specification GovActionId Source # prerequisites ∷ Evidence (Prerequisites GovActionId) Source # | |||||||||
| HasSpec GovActionIx Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec GovActionIx Source # combineSpec ∷ TypeSpec GovActionIx → TypeSpec GovActionIx → Specification GovActionIx Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec GovActionIx → GenT m GovActionIx Source # conformsTo ∷ GovActionIx → TypeSpec GovActionIx → Bool Source # shrinkWithTypeSpec ∷ TypeSpec GovActionIx → GovActionIx → [GovActionIx] Source # fixupWithTypeSpec ∷ TypeSpec GovActionIx → GovActionIx → Maybe GovActionIx Source # toPreds ∷ Term GovActionIx → TypeSpec GovActionIx → Pred Source # cardinalTypeSpec ∷ TypeSpec GovActionIx → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec GovActionIx → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec GovActionIx → BinaryShow Source # typeSpecOpt ∷ TypeSpec GovActionIx → [GovActionIx] → Specification GovActionIx Source # guardTypeSpec ∷ [String] → TypeSpec GovActionIx → Specification GovActionIx Source # prerequisites ∷ Evidence (Prerequisites GovActionIx) Source # | |||||||||
| HasSpec GovActionPurpose Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec GovActionPurpose Source # combineSpec ∷ TypeSpec GovActionPurpose → TypeSpec GovActionPurpose → Specification GovActionPurpose Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec GovActionPurpose → GenT m GovActionPurpose Source # conformsTo ∷ GovActionPurpose → TypeSpec GovActionPurpose → Bool Source # shrinkWithTypeSpec ∷ TypeSpec GovActionPurpose → GovActionPurpose → [GovActionPurpose] Source # fixupWithTypeSpec ∷ TypeSpec GovActionPurpose → GovActionPurpose → Maybe GovActionPurpose Source # toPreds ∷ Term GovActionPurpose → TypeSpec GovActionPurpose → Pred Source # cardinalTypeSpec ∷ TypeSpec GovActionPurpose → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec GovActionPurpose → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec GovActionPurpose → BinaryShow Source # typeSpecOpt ∷ TypeSpec GovActionPurpose → [GovActionPurpose] → Specification GovActionPurpose Source # guardTypeSpec ∷ [String] → TypeSpec GovActionPurpose → Specification GovActionPurpose Source # prerequisites ∷ Evidence (Prerequisites GovActionPurpose) Source # | |||||||||
| HasSpec Vote Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Vote Source # combineSpec ∷ TypeSpec Vote → TypeSpec Vote → Specification Vote Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Vote → GenT m Vote Source # conformsTo ∷ Vote → TypeSpec Vote → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Vote → Vote → [Vote] Source # fixupWithTypeSpec ∷ TypeSpec Vote → Vote → Maybe Vote Source # toPreds ∷ Term Vote → TypeSpec Vote → Pred Source # cardinalTypeSpec ∷ TypeSpec Vote → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Vote → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Vote → BinaryShow Source # typeSpecOpt ∷ TypeSpec Vote → [Vote] → Specification Vote Source # guardTypeSpec ∷ [String] → TypeSpec Vote → Specification Vote Source # | |||||||||
| HasSpec Voter Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Voter Source # combineSpec ∷ TypeSpec Voter → TypeSpec Voter → Specification Voter Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Voter → GenT m Voter Source # conformsTo ∷ Voter → TypeSpec Voter → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Voter → Voter → [Voter] Source # fixupWithTypeSpec ∷ TypeSpec Voter → Voter → Maybe Voter Source # toPreds ∷ Term Voter → TypeSpec Voter → Pred Source # cardinalTypeSpec ∷ TypeSpec Voter → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Voter → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Voter → BinaryShow Source # typeSpecOpt ∷ TypeSpec Voter → [Voter] → Specification Voter Source # guardTypeSpec ∷ [String] → TypeSpec Voter → Specification Voter Source # | |||||||||
| HasSpec ConwayDelegCert Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec ConwayDelegCert Source # combineSpec ∷ TypeSpec ConwayDelegCert → TypeSpec ConwayDelegCert → Specification ConwayDelegCert Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec ConwayDelegCert → GenT m ConwayDelegCert Source # conformsTo ∷ ConwayDelegCert → TypeSpec ConwayDelegCert → Bool Source # shrinkWithTypeSpec ∷ TypeSpec ConwayDelegCert → ConwayDelegCert → [ConwayDelegCert] Source # fixupWithTypeSpec ∷ TypeSpec ConwayDelegCert → ConwayDelegCert → Maybe ConwayDelegCert Source # toPreds ∷ Term ConwayDelegCert → TypeSpec ConwayDelegCert → Pred Source # cardinalTypeSpec ∷ TypeSpec ConwayDelegCert → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec ConwayDelegCert → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec ConwayDelegCert → BinaryShow Source # typeSpecOpt ∷ TypeSpec ConwayDelegCert → [ConwayDelegCert] → Specification ConwayDelegCert Source # guardTypeSpec ∷ [String] → TypeSpec ConwayDelegCert → Specification ConwayDelegCert Source # prerequisites ∷ Evidence (Prerequisites ConwayDelegCert) Source # | |||||||||
| HasSpec ConwayGovCert Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec ConwayGovCert Source # combineSpec ∷ TypeSpec ConwayGovCert → TypeSpec ConwayGovCert → Specification ConwayGovCert Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec ConwayGovCert → GenT m ConwayGovCert Source # conformsTo ∷ ConwayGovCert → TypeSpec ConwayGovCert → Bool Source # shrinkWithTypeSpec ∷ TypeSpec ConwayGovCert → ConwayGovCert → [ConwayGovCert] Source # fixupWithTypeSpec ∷ TypeSpec ConwayGovCert → ConwayGovCert → Maybe ConwayGovCert Source # toPreds ∷ Term ConwayGovCert → TypeSpec ConwayGovCert → Pred Source # cardinalTypeSpec ∷ TypeSpec ConwayGovCert → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec ConwayGovCert → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec ConwayGovCert → BinaryShow Source # typeSpecOpt ∷ TypeSpec ConwayGovCert → [ConwayGovCert] → Specification ConwayGovCert Source # guardTypeSpec ∷ [String] → TypeSpec ConwayGovCert → Specification ConwayGovCert Source # prerequisites ∷ Evidence (Prerequisites ConwayGovCert) Source # | |||||||||
| HasSpec Delegatee Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Delegatee Source # combineSpec ∷ TypeSpec Delegatee → TypeSpec Delegatee → Specification Delegatee Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Delegatee → GenT m Delegatee Source # conformsTo ∷ Delegatee → TypeSpec Delegatee → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Delegatee → Delegatee → [Delegatee] Source # fixupWithTypeSpec ∷ TypeSpec Delegatee → Delegatee → Maybe Delegatee Source # toPreds ∷ Term Delegatee → TypeSpec Delegatee → Pred Source # cardinalTypeSpec ∷ TypeSpec Delegatee → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Delegatee → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Delegatee → BinaryShow Source # typeSpecOpt ∷ TypeSpec Delegatee → [Delegatee] → Specification Delegatee Source # guardTypeSpec ∷ [String] → TypeSpec Delegatee → Specification Delegatee Source # | |||||||||
| HasSpec Addr Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Addr Source # combineSpec ∷ TypeSpec Addr → TypeSpec Addr → Specification Addr Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Addr → GenT m Addr Source # conformsTo ∷ Addr → TypeSpec Addr → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Addr → Addr → [Addr] Source # fixupWithTypeSpec ∷ TypeSpec Addr → Addr → Maybe Addr Source # toPreds ∷ Term Addr → TypeSpec Addr → Pred Source # cardinalTypeSpec ∷ TypeSpec Addr → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Addr → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Addr → BinaryShow Source # typeSpecOpt ∷ TypeSpec Addr → [Addr] → Specification Addr Source # guardTypeSpec ∷ [String] → TypeSpec Addr → Specification Addr Source # | |||||||||
| HasSpec BootstrapAddress Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec BootstrapAddress Source # combineSpec ∷ TypeSpec BootstrapAddress → TypeSpec BootstrapAddress → Specification BootstrapAddress Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec BootstrapAddress → GenT m BootstrapAddress Source # conformsTo ∷ BootstrapAddress → TypeSpec BootstrapAddress → Bool Source # shrinkWithTypeSpec ∷ TypeSpec BootstrapAddress → BootstrapAddress → [BootstrapAddress] Source # fixupWithTypeSpec ∷ TypeSpec BootstrapAddress → BootstrapAddress → Maybe BootstrapAddress Source # toPreds ∷ Term BootstrapAddress → TypeSpec BootstrapAddress → Pred Source # cardinalTypeSpec ∷ TypeSpec BootstrapAddress → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec BootstrapAddress → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec BootstrapAddress → BinaryShow Source # typeSpecOpt ∷ TypeSpec BootstrapAddress → [BootstrapAddress] → Specification BootstrapAddress Source # guardTypeSpec ∷ [String] → TypeSpec BootstrapAddress → Specification BootstrapAddress Source # prerequisites ∷ Evidence (Prerequisites BootstrapAddress) Source # | |||||||||
| HasSpec CompactAddr Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec CompactAddr Source # combineSpec ∷ TypeSpec CompactAddr → TypeSpec CompactAddr → Specification CompactAddr Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec CompactAddr → GenT m CompactAddr Source # conformsTo ∷ CompactAddr → TypeSpec CompactAddr → Bool Source # shrinkWithTypeSpec ∷ TypeSpec CompactAddr → CompactAddr → [CompactAddr] Source # fixupWithTypeSpec ∷ TypeSpec CompactAddr → CompactAddr → Maybe CompactAddr Source # toPreds ∷ Term CompactAddr → TypeSpec CompactAddr → Pred Source # cardinalTypeSpec ∷ TypeSpec CompactAddr → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec CompactAddr → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec CompactAddr → BinaryShow Source # typeSpecOpt ∷ TypeSpec CompactAddr → [CompactAddr] → Specification CompactAddr Source # guardTypeSpec ∷ [String] → TypeSpec CompactAddr → Specification CompactAddr Source # prerequisites ∷ Evidence (Prerequisites CompactAddr) Source # | |||||||||
| HasSpec RewardAccount Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec RewardAccount Source # combineSpec ∷ TypeSpec RewardAccount → TypeSpec RewardAccount → Specification RewardAccount Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec RewardAccount → GenT m RewardAccount Source # conformsTo ∷ RewardAccount → TypeSpec RewardAccount → Bool Source # shrinkWithTypeSpec ∷ TypeSpec RewardAccount → RewardAccount → [RewardAccount] Source # fixupWithTypeSpec ∷ TypeSpec RewardAccount → RewardAccount → Maybe RewardAccount Source # toPreds ∷ Term RewardAccount → TypeSpec RewardAccount → Pred Source # cardinalTypeSpec ∷ TypeSpec RewardAccount → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec RewardAccount → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec RewardAccount → BinaryShow Source # typeSpecOpt ∷ TypeSpec RewardAccount → [RewardAccount] → Specification RewardAccount Source # guardTypeSpec ∷ [String] → TypeSpec RewardAccount → Specification RewardAccount Source # prerequisites ∷ Evidence (Prerequisites RewardAccount) Source # | |||||||||
| HasSpec Withdrawals Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Withdrawals Source # combineSpec ∷ TypeSpec Withdrawals → TypeSpec Withdrawals → Specification Withdrawals Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Withdrawals → GenT m Withdrawals Source # conformsTo ∷ Withdrawals → TypeSpec Withdrawals → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Withdrawals → Withdrawals → [Withdrawals] Source # fixupWithTypeSpec ∷ TypeSpec Withdrawals → Withdrawals → Maybe Withdrawals Source # toPreds ∷ Term Withdrawals → TypeSpec Withdrawals → Pred Source # cardinalTypeSpec ∷ TypeSpec Withdrawals → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Withdrawals → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Withdrawals → BinaryShow Source # typeSpecOpt ∷ TypeSpec Withdrawals → [Withdrawals] → Specification Withdrawals Source # guardTypeSpec ∷ [String] → TypeSpec Withdrawals → Specification Withdrawals Source # prerequisites ∷ Evidence (Prerequisites Withdrawals) Source # | |||||||||
| HasSpec Anchor Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Anchor Source # combineSpec ∷ TypeSpec Anchor → TypeSpec Anchor → Specification Anchor Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Anchor → GenT m Anchor Source # conformsTo ∷ Anchor → TypeSpec Anchor → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Anchor → Anchor → [Anchor] Source # fixupWithTypeSpec ∷ TypeSpec Anchor → Anchor → Maybe Anchor Source # toPreds ∷ Term Anchor → TypeSpec Anchor → Pred Source # cardinalTypeSpec ∷ TypeSpec Anchor → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Anchor → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Anchor → BinaryShow Source # typeSpecOpt ∷ TypeSpec Anchor → [Anchor] → Specification Anchor Source # guardTypeSpec ∷ [String] → TypeSpec Anchor → Specification Anchor Source # | |||||||||
| HasSpec BlocksMade Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec BlocksMade Source # combineSpec ∷ TypeSpec BlocksMade → TypeSpec BlocksMade → Specification BlocksMade Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec BlocksMade → GenT m BlocksMade Source # conformsTo ∷ BlocksMade → TypeSpec BlocksMade → Bool Source # shrinkWithTypeSpec ∷ TypeSpec BlocksMade → BlocksMade → [BlocksMade] Source # fixupWithTypeSpec ∷ TypeSpec BlocksMade → BlocksMade → Maybe BlocksMade Source # toPreds ∷ Term BlocksMade → TypeSpec BlocksMade → Pred Source # cardinalTypeSpec ∷ TypeSpec BlocksMade → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec BlocksMade → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec BlocksMade → BinaryShow Source # typeSpecOpt ∷ TypeSpec BlocksMade → [BlocksMade] → Specification BlocksMade Source # guardTypeSpec ∷ [String] → TypeSpec BlocksMade → Specification BlocksMade Source # prerequisites ∷ Evidence (Prerequisites BlocksMade) Source # | |||||||||
| HasSpec CertIx Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec CertIx Source # combineSpec ∷ TypeSpec CertIx → TypeSpec CertIx → Specification CertIx Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec CertIx → GenT m CertIx Source # conformsTo ∷ CertIx → TypeSpec CertIx → Bool Source # shrinkWithTypeSpec ∷ TypeSpec CertIx → CertIx → [CertIx] Source # fixupWithTypeSpec ∷ TypeSpec CertIx → CertIx → Maybe CertIx Source # toPreds ∷ Term CertIx → TypeSpec CertIx → Pred Source # cardinalTypeSpec ∷ TypeSpec CertIx → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec CertIx → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec CertIx → BinaryShow Source # typeSpecOpt ∷ TypeSpec CertIx → [CertIx] → Specification CertIx Source # guardTypeSpec ∷ [String] → TypeSpec CertIx → Specification CertIx Source # | |||||||||
| HasSpec Network Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Network Source # combineSpec ∷ TypeSpec Network → TypeSpec Network → Specification Network Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Network → GenT m Network Source # conformsTo ∷ Network → TypeSpec Network → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Network → Network → [Network] Source # fixupWithTypeSpec ∷ TypeSpec Network → Network → Maybe Network Source # toPreds ∷ Term Network → TypeSpec Network → Pred Source # cardinalTypeSpec ∷ TypeSpec Network → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Network → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Network → BinaryShow Source # typeSpecOpt ∷ TypeSpec Network → [Network] → Specification Network Source # guardTypeSpec ∷ [String] → TypeSpec Network → Specification Network Source # | |||||||||
| HasSpec Port Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Port Source # combineSpec ∷ TypeSpec Port → TypeSpec Port → Specification Port Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Port → GenT m Port Source # conformsTo ∷ Port → TypeSpec Port → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Port → Port → [Port] Source # fixupWithTypeSpec ∷ TypeSpec Port → Port → Maybe Port Source # toPreds ∷ Term Port → TypeSpec Port → Pred Source # cardinalTypeSpec ∷ TypeSpec Port → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Port → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Port → BinaryShow Source # typeSpecOpt ∷ TypeSpec Port → [Port] → Specification Port Source # guardTypeSpec ∷ [String] → TypeSpec Port → Specification Port Source # | |||||||||
| HasSpec TxIx Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec TxIx Source # combineSpec ∷ TypeSpec TxIx → TypeSpec TxIx → Specification TxIx Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec TxIx → GenT m TxIx Source # conformsTo ∷ TxIx → TypeSpec TxIx → Bool Source # shrinkWithTypeSpec ∷ TypeSpec TxIx → TxIx → [TxIx] Source # fixupWithTypeSpec ∷ TypeSpec TxIx → TxIx → Maybe TxIx Source # toPreds ∷ Term TxIx → TypeSpec TxIx → Pred Source # cardinalTypeSpec ∷ TypeSpec TxIx → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec TxIx → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec TxIx → BinaryShow Source # typeSpecOpt ∷ TypeSpec TxIx → [TxIx] → Specification TxIx Source # guardTypeSpec ∷ [String] → TypeSpec TxIx → Specification TxIx Source # | |||||||||
| HasSpec Url Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Url Source # combineSpec ∷ TypeSpec Url → TypeSpec Url → Specification Url Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Url → GenT m Url Source # conformsTo ∷ Url → TypeSpec Url → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Url → Url → [Url] Source # fixupWithTypeSpec ∷ TypeSpec Url → Url → Maybe Url Source # toPreds ∷ Term Url → TypeSpec Url → Pred Source # cardinalTypeSpec ∷ TypeSpec Url → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Url → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Url → BinaryShow Source # typeSpecOpt ∷ TypeSpec Url → [Url] → Specification Url Source # guardTypeSpec ∷ [String] → TypeSpec Url → Specification Url Source # | |||||||||
| HasSpec DeltaCoin Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec DeltaCoin Source # combineSpec ∷ TypeSpec DeltaCoin → TypeSpec DeltaCoin → Specification DeltaCoin Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec DeltaCoin → GenT m DeltaCoin Source # conformsTo ∷ DeltaCoin → TypeSpec DeltaCoin → Bool Source # shrinkWithTypeSpec ∷ TypeSpec DeltaCoin → DeltaCoin → [DeltaCoin] Source # fixupWithTypeSpec ∷ TypeSpec DeltaCoin → DeltaCoin → Maybe DeltaCoin Source # toPreds ∷ Term DeltaCoin → TypeSpec DeltaCoin → Pred Source # cardinalTypeSpec ∷ TypeSpec DeltaCoin → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec DeltaCoin → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec DeltaCoin → BinaryShow Source # typeSpecOpt ∷ TypeSpec DeltaCoin → [DeltaCoin] → Specification DeltaCoin Source # guardTypeSpec ∷ [String] → TypeSpec DeltaCoin → Specification DeltaCoin Source # | |||||||||
| HasSpec PoolCert Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec PoolCert Source # combineSpec ∷ TypeSpec PoolCert → TypeSpec PoolCert → Specification PoolCert Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec PoolCert → GenT m PoolCert Source # conformsTo ∷ PoolCert → TypeSpec PoolCert → Bool Source # shrinkWithTypeSpec ∷ TypeSpec PoolCert → PoolCert → [PoolCert] Source # fixupWithTypeSpec ∷ TypeSpec PoolCert → PoolCert → Maybe PoolCert Source # toPreds ∷ Term PoolCert → TypeSpec PoolCert → Pred Source # cardinalTypeSpec ∷ TypeSpec PoolCert → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec PoolCert → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec PoolCert → BinaryShow Source # typeSpecOpt ∷ TypeSpec PoolCert → [PoolCert] → Specification PoolCert Source # guardTypeSpec ∷ [String] → TypeSpec PoolCert → Specification PoolCert Source # | |||||||||
| HasSpec Ptr Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Ptr Source # combineSpec ∷ TypeSpec Ptr → TypeSpec Ptr → Specification Ptr Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Ptr → GenT m Ptr Source # conformsTo ∷ Ptr → TypeSpec Ptr → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Ptr → Ptr → [Ptr] Source # fixupWithTypeSpec ∷ TypeSpec Ptr → Ptr → Maybe Ptr Source # toPreds ∷ Term Ptr → TypeSpec Ptr → Pred Source # cardinalTypeSpec ∷ TypeSpec Ptr → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Ptr → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Ptr → BinaryShow Source # typeSpecOpt ∷ TypeSpec Ptr → [Ptr] → Specification Ptr Source # guardTypeSpec ∷ [String] → TypeSpec Ptr → Specification Ptr Source # | |||||||||
| HasSpec SlotNo32 Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec SlotNo32 Source # combineSpec ∷ TypeSpec SlotNo32 → TypeSpec SlotNo32 → Specification SlotNo32 Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec SlotNo32 → GenT m SlotNo32 Source # conformsTo ∷ SlotNo32 → TypeSpec SlotNo32 → Bool Source # shrinkWithTypeSpec ∷ TypeSpec SlotNo32 → SlotNo32 → [SlotNo32] Source # fixupWithTypeSpec ∷ TypeSpec SlotNo32 → SlotNo32 → Maybe SlotNo32 Source # toPreds ∷ Term SlotNo32 → TypeSpec SlotNo32 → Pred Source # cardinalTypeSpec ∷ TypeSpec SlotNo32 → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec SlotNo32 → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec SlotNo32 → BinaryShow Source # typeSpecOpt ∷ TypeSpec SlotNo32 → [SlotNo32] → Specification SlotNo32 Source # guardTypeSpec ∷ [String] → TypeSpec SlotNo32 → Specification SlotNo32 Source # | |||||||||
| HasSpec StakeReference Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec StakeReference Source # combineSpec ∷ TypeSpec StakeReference → TypeSpec StakeReference → Specification StakeReference Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec StakeReference → GenT m StakeReference Source # conformsTo ∷ StakeReference → TypeSpec StakeReference → Bool Source # shrinkWithTypeSpec ∷ TypeSpec StakeReference → StakeReference → [StakeReference] Source # fixupWithTypeSpec ∷ TypeSpec StakeReference → StakeReference → Maybe StakeReference Source # toPreds ∷ Term StakeReference → TypeSpec StakeReference → Pred Source # cardinalTypeSpec ∷ TypeSpec StakeReference → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec StakeReference → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec StakeReference → BinaryShow Source # typeSpecOpt ∷ TypeSpec StakeReference → [StakeReference] → Specification StakeReference Source # guardTypeSpec ∷ [String] → TypeSpec StakeReference → Specification StakeReference Source # prerequisites ∷ Evidence (Prerequisites StakeReference) Source # | |||||||||
| HasSpec DRep Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec DRep Source # combineSpec ∷ TypeSpec DRep → TypeSpec DRep → Specification DRep Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec DRep → GenT m DRep Source # conformsTo ∷ DRep → TypeSpec DRep → Bool Source # shrinkWithTypeSpec ∷ TypeSpec DRep → DRep → [DRep] Source # fixupWithTypeSpec ∷ TypeSpec DRep → DRep → Maybe DRep Source # toPreds ∷ Term DRep → TypeSpec DRep → Pred Source # cardinalTypeSpec ∷ TypeSpec DRep → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec DRep → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec DRep → BinaryShow Source # typeSpecOpt ∷ TypeSpec DRep → [DRep] → Specification DRep Source # guardTypeSpec ∷ [String] → TypeSpec DRep → Specification DRep Source # | |||||||||
| HasSpec DRepState Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec DRepState Source # combineSpec ∷ TypeSpec DRepState → TypeSpec DRepState → Specification DRepState Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec DRepState → GenT m DRepState Source # conformsTo ∷ DRepState → TypeSpec DRepState → Bool Source # shrinkWithTypeSpec ∷ TypeSpec DRepState → DRepState → [DRepState] Source # fixupWithTypeSpec ∷ TypeSpec DRepState → DRepState → Maybe DRepState Source # toPreds ∷ Term DRepState → TypeSpec DRepState → Pred Source # cardinalTypeSpec ∷ TypeSpec DRepState → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec DRepState → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec DRepState → BinaryShow Source # typeSpecOpt ∷ TypeSpec DRepState → [DRepState] → Specification DRepState Source # guardTypeSpec ∷ [String] → TypeSpec DRepState → Specification DRepState Source # | |||||||||
| HasSpec GenDelegPair Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec GenDelegPair Source # combineSpec ∷ TypeSpec GenDelegPair → TypeSpec GenDelegPair → Specification GenDelegPair Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec GenDelegPair → GenT m GenDelegPair Source # conformsTo ∷ GenDelegPair → TypeSpec GenDelegPair → Bool Source # shrinkWithTypeSpec ∷ TypeSpec GenDelegPair → GenDelegPair → [GenDelegPair] Source # fixupWithTypeSpec ∷ TypeSpec GenDelegPair → GenDelegPair → Maybe GenDelegPair Source # toPreds ∷ Term GenDelegPair → TypeSpec GenDelegPair → Pred Source # cardinalTypeSpec ∷ TypeSpec GenDelegPair → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec GenDelegPair → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec GenDelegPair → BinaryShow Source # typeSpecOpt ∷ TypeSpec GenDelegPair → [GenDelegPair] → Specification GenDelegPair Source # guardTypeSpec ∷ [String] → TypeSpec GenDelegPair → Specification GenDelegPair Source # prerequisites ∷ Evidence (Prerequisites GenDelegPair) Source # | |||||||||
| HasSpec GenDelegs Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec GenDelegs Source # combineSpec ∷ TypeSpec GenDelegs → TypeSpec GenDelegs → Specification GenDelegs Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec GenDelegs → GenT m GenDelegs Source # conformsTo ∷ GenDelegs → TypeSpec GenDelegs → Bool Source # shrinkWithTypeSpec ∷ TypeSpec GenDelegs → GenDelegs → [GenDelegs] Source # fixupWithTypeSpec ∷ TypeSpec GenDelegs → GenDelegs → Maybe GenDelegs Source # toPreds ∷ Term GenDelegs → TypeSpec GenDelegs → Pred Source # cardinalTypeSpec ∷ TypeSpec GenDelegs → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec GenDelegs → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec GenDelegs → BinaryShow Source # typeSpecOpt ∷ TypeSpec GenDelegs → [GenDelegs] → Specification GenDelegs Source # guardTypeSpec ∷ [String] → TypeSpec GenDelegs → Specification GenDelegs Source # | |||||||||
| HasSpec ScriptHash Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec ScriptHash Source # combineSpec ∷ TypeSpec ScriptHash → TypeSpec ScriptHash → Specification ScriptHash Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec ScriptHash → GenT m ScriptHash Source # conformsTo ∷ ScriptHash → TypeSpec ScriptHash → Bool Source # shrinkWithTypeSpec ∷ TypeSpec ScriptHash → ScriptHash → [ScriptHash] Source # fixupWithTypeSpec ∷ TypeSpec ScriptHash → ScriptHash → Maybe ScriptHash Source # toPreds ∷ Term ScriptHash → TypeSpec ScriptHash → Pred Source # cardinalTypeSpec ∷ TypeSpec ScriptHash → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec ScriptHash → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec ScriptHash → BinaryShow Source # typeSpecOpt ∷ TypeSpec ScriptHash → [ScriptHash] → Specification ScriptHash Source # guardTypeSpec ∷ [String] → TypeSpec ScriptHash → Specification ScriptHash Source # prerequisites ∷ Evidence (Prerequisites ScriptHash) Source # | |||||||||
| HasSpec TxAuxDataHash Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec TxAuxDataHash Source # combineSpec ∷ TypeSpec TxAuxDataHash → TypeSpec TxAuxDataHash → Specification TxAuxDataHash Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec TxAuxDataHash → GenT m TxAuxDataHash Source # conformsTo ∷ TxAuxDataHash → TypeSpec TxAuxDataHash → Bool Source # shrinkWithTypeSpec ∷ TypeSpec TxAuxDataHash → TxAuxDataHash → [TxAuxDataHash] Source # fixupWithTypeSpec ∷ TypeSpec TxAuxDataHash → TxAuxDataHash → Maybe TxAuxDataHash Source # toPreds ∷ Term TxAuxDataHash → TypeSpec TxAuxDataHash → Pred Source # cardinalTypeSpec ∷ TypeSpec TxAuxDataHash → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec TxAuxDataHash → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec TxAuxDataHash → BinaryShow Source # typeSpecOpt ∷ TypeSpec TxAuxDataHash → [TxAuxDataHash] → Specification TxAuxDataHash Source # guardTypeSpec ∷ [String] → TypeSpec TxAuxDataHash → Specification TxAuxDataHash Source # prerequisites ∷ Evidence (Prerequisites TxAuxDataHash) Source # | |||||||||
| HasSpec BootstrapWitness Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec BootstrapWitness Source # combineSpec ∷ TypeSpec BootstrapWitness → TypeSpec BootstrapWitness → Specification BootstrapWitness Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec BootstrapWitness → GenT m BootstrapWitness Source # conformsTo ∷ BootstrapWitness → TypeSpec BootstrapWitness → Bool Source # shrinkWithTypeSpec ∷ TypeSpec BootstrapWitness → BootstrapWitness → [BootstrapWitness] Source # fixupWithTypeSpec ∷ TypeSpec BootstrapWitness → BootstrapWitness → Maybe BootstrapWitness Source # toPreds ∷ Term BootstrapWitness → TypeSpec BootstrapWitness → Pred Source # cardinalTypeSpec ∷ TypeSpec BootstrapWitness → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec BootstrapWitness → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec BootstrapWitness → BinaryShow Source # typeSpecOpt ∷ TypeSpec BootstrapWitness → [BootstrapWitness] → Specification BootstrapWitness Source # guardTypeSpec ∷ [String] → TypeSpec BootstrapWitness → Specification BootstrapWitness Source # prerequisites ∷ Evidence (Prerequisites BootstrapWitness) Source # | |||||||||
| HasSpec Metadatum Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Metadatum Source # combineSpec ∷ TypeSpec Metadatum → TypeSpec Metadatum → Specification Metadatum Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Metadatum → GenT m Metadatum Source # conformsTo ∷ Metadatum → TypeSpec Metadatum → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Metadatum → Metadatum → [Metadatum] Source # fixupWithTypeSpec ∷ TypeSpec Metadatum → Metadatum → Maybe Metadatum Source # toPreds ∷ Term Metadatum → TypeSpec Metadatum → Pred Source # cardinalTypeSpec ∷ TypeSpec Metadatum → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Metadatum → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Metadatum → BinaryShow Source # typeSpecOpt ∷ TypeSpec Metadatum → [Metadatum] → Specification Metadatum Source # guardTypeSpec ∷ [String] → TypeSpec Metadatum → Specification Metadatum Source # | |||||||||
| HasSpec CostModel Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec CostModel Source # combineSpec ∷ TypeSpec CostModel → TypeSpec CostModel → Specification CostModel Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec CostModel → GenT m CostModel Source # conformsTo ∷ CostModel → TypeSpec CostModel → Bool Source # shrinkWithTypeSpec ∷ TypeSpec CostModel → CostModel → [CostModel] Source # fixupWithTypeSpec ∷ TypeSpec CostModel → CostModel → Maybe CostModel Source # toPreds ∷ Term CostModel → TypeSpec CostModel → Pred Source # cardinalTypeSpec ∷ TypeSpec CostModel → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec CostModel → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec CostModel → BinaryShow Source # typeSpecOpt ∷ TypeSpec CostModel → [CostModel] → Specification CostModel Source # guardTypeSpec ∷ [String] → TypeSpec CostModel → Specification CostModel Source # | |||||||||
| HasSpec Language Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Language Source # combineSpec ∷ TypeSpec Language → TypeSpec Language → Specification Language Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Language → GenT m Language Source # conformsTo ∷ Language → TypeSpec Language → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Language → Language → [Language] Source # fixupWithTypeSpec ∷ TypeSpec Language → Language → Maybe Language Source # toPreds ∷ Term Language → TypeSpec Language → Pred Source # cardinalTypeSpec ∷ TypeSpec Language → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Language → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Language → BinaryShow Source # typeSpecOpt ∷ TypeSpec Language → [Language] → Specification Language Source # guardTypeSpec ∷ [String] → TypeSpec Language → Specification Language Source # | |||||||||
| HasSpec Reward Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Reward Source # combineSpec ∷ TypeSpec Reward → TypeSpec Reward → Specification Reward Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Reward → GenT m Reward Source # conformsTo ∷ Reward → TypeSpec Reward → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Reward → Reward → [Reward] Source # fixupWithTypeSpec ∷ TypeSpec Reward → Reward → Maybe Reward Source # toPreds ∷ Term Reward → TypeSpec Reward → Pred Source # cardinalTypeSpec ∷ TypeSpec Reward → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Reward → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Reward → BinaryShow Source # typeSpecOpt ∷ TypeSpec Reward → [Reward] → Specification Reward Source # guardTypeSpec ∷ [String] → TypeSpec Reward → Specification Reward Source # | |||||||||
| HasSpec RewardType Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec RewardType Source # combineSpec ∷ TypeSpec RewardType → TypeSpec RewardType → Specification RewardType Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec RewardType → GenT m RewardType Source # conformsTo ∷ RewardType → TypeSpec RewardType → Bool Source # shrinkWithTypeSpec ∷ TypeSpec RewardType → RewardType → [RewardType] Source # fixupWithTypeSpec ∷ TypeSpec RewardType → RewardType → Maybe RewardType Source # toPreds ∷ Term RewardType → TypeSpec RewardType → Pred Source # cardinalTypeSpec ∷ TypeSpec RewardType → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec RewardType → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec RewardType → BinaryShow Source # typeSpecOpt ∷ TypeSpec RewardType → [RewardType] → Specification RewardType Source # guardTypeSpec ∷ [String] → TypeSpec RewardType → Specification RewardType Source # prerequisites ∷ Evidence (Prerequisites RewardType) Source # | |||||||||
| HasSpec CommitteeAuthorization Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec CommitteeAuthorization Source # combineSpec ∷ TypeSpec CommitteeAuthorization → TypeSpec CommitteeAuthorization → Specification CommitteeAuthorization Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec CommitteeAuthorization → GenT m CommitteeAuthorization Source # conformsTo ∷ CommitteeAuthorization → TypeSpec CommitteeAuthorization → Bool Source # shrinkWithTypeSpec ∷ TypeSpec CommitteeAuthorization → CommitteeAuthorization → [CommitteeAuthorization] Source # fixupWithTypeSpec ∷ TypeSpec CommitteeAuthorization → CommitteeAuthorization → Maybe CommitteeAuthorization Source # toPreds ∷ Term CommitteeAuthorization → TypeSpec CommitteeAuthorization → Pred Source # cardinalTypeSpec ∷ TypeSpec CommitteeAuthorization → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec CommitteeAuthorization → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec CommitteeAuthorization → BinaryShow Source # typeSpecOpt ∷ TypeSpec CommitteeAuthorization → [CommitteeAuthorization] → Specification CommitteeAuthorization Source # guardTypeSpec ∷ [String] → TypeSpec CommitteeAuthorization → Specification CommitteeAuthorization Source # prerequisites ∷ Evidence (Prerequisites CommitteeAuthorization) Source # | |||||||||
| HasSpec FutureGenDeleg Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec FutureGenDeleg Source # combineSpec ∷ TypeSpec FutureGenDeleg → TypeSpec FutureGenDeleg → Specification FutureGenDeleg Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec FutureGenDeleg → GenT m FutureGenDeleg Source # conformsTo ∷ FutureGenDeleg → TypeSpec FutureGenDeleg → Bool Source # shrinkWithTypeSpec ∷ TypeSpec FutureGenDeleg → FutureGenDeleg → [FutureGenDeleg] Source # fixupWithTypeSpec ∷ TypeSpec FutureGenDeleg → FutureGenDeleg → Maybe FutureGenDeleg Source # toPreds ∷ Term FutureGenDeleg → TypeSpec FutureGenDeleg → Pred Source # cardinalTypeSpec ∷ TypeSpec FutureGenDeleg → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec FutureGenDeleg → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec FutureGenDeleg → BinaryShow Source # typeSpecOpt ∷ TypeSpec FutureGenDeleg → [FutureGenDeleg] → Specification FutureGenDeleg Source # guardTypeSpec ∷ [String] → TypeSpec FutureGenDeleg → Specification FutureGenDeleg Source # prerequisites ∷ Evidence (Prerequisites FutureGenDeleg) Source # | |||||||||
| HasSpec InstantaneousRewards Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec InstantaneousRewards Source # combineSpec ∷ TypeSpec InstantaneousRewards → TypeSpec InstantaneousRewards → Specification InstantaneousRewards Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec InstantaneousRewards → GenT m InstantaneousRewards Source # conformsTo ∷ InstantaneousRewards → TypeSpec InstantaneousRewards → Bool Source # shrinkWithTypeSpec ∷ TypeSpec InstantaneousRewards → InstantaneousRewards → [InstantaneousRewards] Source # fixupWithTypeSpec ∷ TypeSpec InstantaneousRewards → InstantaneousRewards → Maybe InstantaneousRewards Source # toPreds ∷ Term InstantaneousRewards → TypeSpec InstantaneousRewards → Pred Source # cardinalTypeSpec ∷ TypeSpec InstantaneousRewards → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec InstantaneousRewards → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec InstantaneousRewards → BinaryShow Source # typeSpecOpt ∷ TypeSpec InstantaneousRewards → [InstantaneousRewards] → Specification InstantaneousRewards Source # guardTypeSpec ∷ [String] → TypeSpec InstantaneousRewards → Specification InstantaneousRewards Source # prerequisites ∷ Evidence (Prerequisites InstantaneousRewards) Source # | |||||||||
| HasSpec ChainAccountState Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec ChainAccountState Source # combineSpec ∷ TypeSpec ChainAccountState → TypeSpec ChainAccountState → Specification ChainAccountState Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec ChainAccountState → GenT m ChainAccountState Source # conformsTo ∷ ChainAccountState → TypeSpec ChainAccountState → Bool Source # shrinkWithTypeSpec ∷ TypeSpec ChainAccountState → ChainAccountState → [ChainAccountState] Source # fixupWithTypeSpec ∷ TypeSpec ChainAccountState → ChainAccountState → Maybe ChainAccountState Source # toPreds ∷ Term ChainAccountState → TypeSpec ChainAccountState → Pred Source # cardinalTypeSpec ∷ TypeSpec ChainAccountState → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec ChainAccountState → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec ChainAccountState → BinaryShow Source # typeSpecOpt ∷ TypeSpec ChainAccountState → [ChainAccountState] → Specification ChainAccountState Source # guardTypeSpec ∷ [String] → TypeSpec ChainAccountState → Specification ChainAccountState Source # prerequisites ∷ Evidence (Prerequisites ChainAccountState) Source # | |||||||||
| HasSpec IndividualPoolStake Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec IndividualPoolStake Source # combineSpec ∷ TypeSpec IndividualPoolStake → TypeSpec IndividualPoolStake → Specification IndividualPoolStake Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec IndividualPoolStake → GenT m IndividualPoolStake Source # conformsTo ∷ IndividualPoolStake → TypeSpec IndividualPoolStake → Bool Source # shrinkWithTypeSpec ∷ TypeSpec IndividualPoolStake → IndividualPoolStake → [IndividualPoolStake] Source # fixupWithTypeSpec ∷ TypeSpec IndividualPoolStake → IndividualPoolStake → Maybe IndividualPoolStake Source # toPreds ∷ Term IndividualPoolStake → TypeSpec IndividualPoolStake → Pred Source # cardinalTypeSpec ∷ TypeSpec IndividualPoolStake → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec IndividualPoolStake → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec IndividualPoolStake → BinaryShow Source # typeSpecOpt ∷ TypeSpec IndividualPoolStake → [IndividualPoolStake] → Specification IndividualPoolStake Source # guardTypeSpec ∷ [String] → TypeSpec IndividualPoolStake → Specification IndividualPoolStake Source # prerequisites ∷ Evidence (Prerequisites IndividualPoolStake) Source # | |||||||||
| HasSpec PoolDistr Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec PoolDistr Source # combineSpec ∷ TypeSpec PoolDistr → TypeSpec PoolDistr → Specification PoolDistr Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec PoolDistr → GenT m PoolDistr Source # conformsTo ∷ PoolDistr → TypeSpec PoolDistr → Bool Source # shrinkWithTypeSpec ∷ TypeSpec PoolDistr → PoolDistr → [PoolDistr] Source # fixupWithTypeSpec ∷ TypeSpec PoolDistr → PoolDistr → Maybe PoolDistr Source # toPreds ∷ Term PoolDistr → TypeSpec PoolDistr → Pred Source # cardinalTypeSpec ∷ TypeSpec PoolDistr → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec PoolDistr → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec PoolDistr → BinaryShow Source # typeSpecOpt ∷ TypeSpec PoolDistr → [PoolDistr] → Specification PoolDistr Source # guardTypeSpec ∷ [String] → TypeSpec PoolDistr → Specification PoolDistr Source # | |||||||||
| HasSpec SnapShot Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec SnapShot Source # combineSpec ∷ TypeSpec SnapShot → TypeSpec SnapShot → Specification SnapShot Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec SnapShot → GenT m SnapShot Source # conformsTo ∷ SnapShot → TypeSpec SnapShot → Bool Source # shrinkWithTypeSpec ∷ TypeSpec SnapShot → SnapShot → [SnapShot] Source # fixupWithTypeSpec ∷ TypeSpec SnapShot → SnapShot → Maybe SnapShot Source # toPreds ∷ Term SnapShot → TypeSpec SnapShot → Pred Source # cardinalTypeSpec ∷ TypeSpec SnapShot → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec SnapShot → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec SnapShot → BinaryShow Source # typeSpecOpt ∷ TypeSpec SnapShot → [SnapShot] → Specification SnapShot Source # guardTypeSpec ∷ [String] → TypeSpec SnapShot → Specification SnapShot Source # | |||||||||
| HasSpec SnapShots Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec SnapShots Source # combineSpec ∷ TypeSpec SnapShots → TypeSpec SnapShots → Specification SnapShots Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec SnapShots → GenT m SnapShots Source # conformsTo ∷ SnapShots → TypeSpec SnapShots → Bool Source # shrinkWithTypeSpec ∷ TypeSpec SnapShots → SnapShots → [SnapShots] Source # fixupWithTypeSpec ∷ TypeSpec SnapShots → SnapShots → Maybe SnapShots Source # toPreds ∷ Term SnapShots → TypeSpec SnapShots → Pred Source # cardinalTypeSpec ∷ TypeSpec SnapShots → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec SnapShots → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec SnapShots → BinaryShow Source # typeSpecOpt ∷ TypeSpec SnapShots → [SnapShots] → Specification SnapShots Source # guardTypeSpec ∷ [String] → TypeSpec SnapShots → Specification SnapShots Source # | |||||||||
| HasSpec Stake Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Stake Source # combineSpec ∷ TypeSpec Stake → TypeSpec Stake → Specification Stake Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Stake → GenT m Stake Source # conformsTo ∷ Stake → TypeSpec Stake → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Stake → Stake → [Stake] Source # fixupWithTypeSpec ∷ TypeSpec Stake → Stake → Maybe Stake Source # toPreds ∷ Term Stake → TypeSpec Stake → Pred Source # cardinalTypeSpec ∷ TypeSpec Stake → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Stake → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Stake → BinaryShow Source # typeSpecOpt ∷ TypeSpec Stake → [Stake] → Specification Stake Source # guardTypeSpec ∷ [String] → TypeSpec Stake → Specification Stake Source # | |||||||||
| HasSpec PoolMetadata Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec PoolMetadata Source # combineSpec ∷ TypeSpec PoolMetadata → TypeSpec PoolMetadata → Specification PoolMetadata Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec PoolMetadata → GenT m PoolMetadata Source # conformsTo ∷ PoolMetadata → TypeSpec PoolMetadata → Bool Source # shrinkWithTypeSpec ∷ TypeSpec PoolMetadata → PoolMetadata → [PoolMetadata] Source # fixupWithTypeSpec ∷ TypeSpec PoolMetadata → PoolMetadata → Maybe PoolMetadata Source # toPreds ∷ Term PoolMetadata → TypeSpec PoolMetadata → Pred Source # cardinalTypeSpec ∷ TypeSpec PoolMetadata → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec PoolMetadata → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec PoolMetadata → BinaryShow Source # typeSpecOpt ∷ TypeSpec PoolMetadata → [PoolMetadata] → Specification PoolMetadata Source # guardTypeSpec ∷ [String] → TypeSpec PoolMetadata → Specification PoolMetadata Source # prerequisites ∷ Evidence (Prerequisites PoolMetadata) Source # | |||||||||
| HasSpec StakePoolParams Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec StakePoolParams Source # combineSpec ∷ TypeSpec StakePoolParams → TypeSpec StakePoolParams → Specification StakePoolParams Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec StakePoolParams → GenT m StakePoolParams Source # conformsTo ∷ StakePoolParams → TypeSpec StakePoolParams → Bool Source # shrinkWithTypeSpec ∷ TypeSpec StakePoolParams → StakePoolParams → [StakePoolParams] Source # fixupWithTypeSpec ∷ TypeSpec StakePoolParams → StakePoolParams → Maybe StakePoolParams Source # toPreds ∷ Term StakePoolParams → TypeSpec StakePoolParams → Pred Source # cardinalTypeSpec ∷ TypeSpec StakePoolParams → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec StakePoolParams → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec StakePoolParams → BinaryShow Source # typeSpecOpt ∷ TypeSpec StakePoolParams → [StakePoolParams] → Specification StakePoolParams Source # guardTypeSpec ∷ [String] → TypeSpec StakePoolParams → Specification StakePoolParams Source # prerequisites ∷ Evidence (Prerequisites StakePoolParams) Source # | |||||||||
| HasSpec StakePoolRelay Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec StakePoolRelay Source # combineSpec ∷ TypeSpec StakePoolRelay → TypeSpec StakePoolRelay → Specification StakePoolRelay Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec StakePoolRelay → GenT m StakePoolRelay Source # conformsTo ∷ StakePoolRelay → TypeSpec StakePoolRelay → Bool Source # shrinkWithTypeSpec ∷ TypeSpec StakePoolRelay → StakePoolRelay → [StakePoolRelay] Source # fixupWithTypeSpec ∷ TypeSpec StakePoolRelay → StakePoolRelay → Maybe StakePoolRelay Source # toPreds ∷ Term StakePoolRelay → TypeSpec StakePoolRelay → Pred Source # cardinalTypeSpec ∷ TypeSpec StakePoolRelay → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec StakePoolRelay → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec StakePoolRelay → BinaryShow Source # typeSpecOpt ∷ TypeSpec StakePoolRelay → [StakePoolRelay] → Specification StakePoolRelay Source # guardTypeSpec ∷ [String] → TypeSpec StakePoolRelay → Specification StakePoolRelay Source # prerequisites ∷ Evidence (Prerequisites StakePoolRelay) Source # | |||||||||
| HasSpec StakePoolState Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec StakePoolState Source # combineSpec ∷ TypeSpec StakePoolState → TypeSpec StakePoolState → Specification StakePoolState Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec StakePoolState → GenT m StakePoolState Source # conformsTo ∷ StakePoolState → TypeSpec StakePoolState → Bool Source # shrinkWithTypeSpec ∷ TypeSpec StakePoolState → StakePoolState → [StakePoolState] Source # fixupWithTypeSpec ∷ TypeSpec StakePoolState → StakePoolState → Maybe StakePoolState Source # toPreds ∷ Term StakePoolState → TypeSpec StakePoolState → Pred Source # cardinalTypeSpec ∷ TypeSpec StakePoolState → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec StakePoolState → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec StakePoolState → BinaryShow Source # typeSpecOpt ∷ TypeSpec StakePoolState → [StakePoolState] → Specification StakePoolState Source # guardTypeSpec ∷ [String] → TypeSpec StakePoolState → Specification StakePoolState Source # prerequisites ∷ Evidence (Prerequisites StakePoolState) Source # | |||||||||
| HasSpec TxId Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec TxId Source # combineSpec ∷ TypeSpec TxId → TypeSpec TxId → Specification TxId Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec TxId → GenT m TxId Source # conformsTo ∷ TxId → TypeSpec TxId → Bool Source # shrinkWithTypeSpec ∷ TypeSpec TxId → TxId → [TxId] Source # fixupWithTypeSpec ∷ TypeSpec TxId → TxId → Maybe TxId Source # toPreds ∷ Term TxId → TypeSpec TxId → Pred Source # cardinalTypeSpec ∷ TypeSpec TxId → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec TxId → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec TxId → BinaryShow Source # typeSpecOpt ∷ TypeSpec TxId → [TxId] → Specification TxId Source # guardTypeSpec ∷ [String] → TypeSpec TxId → Specification TxId Source # | |||||||||
| HasSpec TxIn Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec TxIn Source # combineSpec ∷ TypeSpec TxIn → TypeSpec TxIn → Specification TxIn Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec TxIn → GenT m TxIn Source # conformsTo ∷ TxIn → TypeSpec TxIn → Bool Source # shrinkWithTypeSpec ∷ TypeSpec TxIn → TxIn → [TxIn] Source # fixupWithTypeSpec ∷ TypeSpec TxIn → TxIn → Maybe TxIn Source # toPreds ∷ Term TxIn → TypeSpec TxIn → Pred Source # cardinalTypeSpec ∷ TypeSpec TxIn → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec TxIn → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec TxIn → BinaryShow Source # typeSpecOpt ∷ TypeSpec TxIn → [TxIn] → Specification TxIn Source # guardTypeSpec ∷ [String] → TypeSpec TxIn → Specification TxIn Source # | |||||||||
| HasSpec AssetName Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec AssetName Source # combineSpec ∷ TypeSpec AssetName → TypeSpec AssetName → Specification AssetName Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec AssetName → GenT m AssetName Source # conformsTo ∷ AssetName → TypeSpec AssetName → Bool Source # shrinkWithTypeSpec ∷ TypeSpec AssetName → AssetName → [AssetName] Source # fixupWithTypeSpec ∷ TypeSpec AssetName → AssetName → Maybe AssetName Source # toPreds ∷ Term AssetName → TypeSpec AssetName → Pred Source # cardinalTypeSpec ∷ TypeSpec AssetName → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec AssetName → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec AssetName → BinaryShow Source # typeSpecOpt ∷ TypeSpec AssetName → [AssetName] → Specification AssetName Source # guardTypeSpec ∷ [String] → TypeSpec AssetName → Specification AssetName Source # | |||||||||
| HasSpec MaryValue Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec MaryValue Source # combineSpec ∷ TypeSpec MaryValue → TypeSpec MaryValue → Specification MaryValue Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec MaryValue → GenT m MaryValue Source # conformsTo ∷ MaryValue → TypeSpec MaryValue → Bool Source # shrinkWithTypeSpec ∷ TypeSpec MaryValue → MaryValue → [MaryValue] Source # fixupWithTypeSpec ∷ TypeSpec MaryValue → MaryValue → Maybe MaryValue Source # toPreds ∷ Term MaryValue → TypeSpec MaryValue → Pred Source # cardinalTypeSpec ∷ TypeSpec MaryValue → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec MaryValue → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec MaryValue → BinaryShow Source # typeSpecOpt ∷ TypeSpec MaryValue → [MaryValue] → Specification MaryValue Source # guardTypeSpec ∷ [String] → TypeSpec MaryValue → Specification MaryValue Source # | |||||||||
| HasSpec MultiAsset Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec MultiAsset Source # combineSpec ∷ TypeSpec MultiAsset → TypeSpec MultiAsset → Specification MultiAsset Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec MultiAsset → GenT m MultiAsset Source # conformsTo ∷ MultiAsset → TypeSpec MultiAsset → Bool Source # shrinkWithTypeSpec ∷ TypeSpec MultiAsset → MultiAsset → [MultiAsset] Source # fixupWithTypeSpec ∷ TypeSpec MultiAsset → MultiAsset → Maybe MultiAsset Source # toPreds ∷ Term MultiAsset → TypeSpec MultiAsset → Pred Source # cardinalTypeSpec ∷ TypeSpec MultiAsset → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec MultiAsset → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec MultiAsset → BinaryShow Source # typeSpecOpt ∷ TypeSpec MultiAsset → [MultiAsset] → Specification MultiAsset Source # guardTypeSpec ∷ [String] → TypeSpec MultiAsset → Specification MultiAsset Source # prerequisites ∷ Evidence (Prerequisites MultiAsset) Source # | |||||||||
| HasSpec PolicyID Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec PolicyID Source # combineSpec ∷ TypeSpec PolicyID → TypeSpec PolicyID → Specification PolicyID Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec PolicyID → GenT m PolicyID Source # conformsTo ∷ PolicyID → TypeSpec PolicyID → Bool Source # shrinkWithTypeSpec ∷ TypeSpec PolicyID → PolicyID → [PolicyID] Source # fixupWithTypeSpec ∷ TypeSpec PolicyID → PolicyID → Maybe PolicyID Source # toPreds ∷ Term PolicyID → TypeSpec PolicyID → Pred Source # cardinalTypeSpec ∷ TypeSpec PolicyID → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec PolicyID → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec PolicyID → BinaryShow Source # typeSpecOpt ∷ TypeSpec PolicyID → [PolicyID] → Specification PolicyID Source # guardTypeSpec ∷ [String] → TypeSpec PolicyID → Specification PolicyID Source # | |||||||||
| HasSpec Likelihood Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Likelihood Source # combineSpec ∷ TypeSpec Likelihood → TypeSpec Likelihood → Specification Likelihood Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Likelihood → GenT m Likelihood Source # conformsTo ∷ Likelihood → TypeSpec Likelihood → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Likelihood → Likelihood → [Likelihood] Source # fixupWithTypeSpec ∷ TypeSpec Likelihood → Likelihood → Maybe Likelihood Source # toPreds ∷ Term Likelihood → TypeSpec Likelihood → Pred Source # cardinalTypeSpec ∷ TypeSpec Likelihood → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Likelihood → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Likelihood → BinaryShow Source # typeSpecOpt ∷ TypeSpec Likelihood → [Likelihood] → Specification Likelihood Source # guardTypeSpec ∷ [String] → TypeSpec Likelihood → Specification Likelihood Source # prerequisites ∷ Evidence (Prerequisites Likelihood) Source # | |||||||||
| HasSpec LogWeight Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec LogWeight Source # combineSpec ∷ TypeSpec LogWeight → TypeSpec LogWeight → Specification LogWeight Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec LogWeight → GenT m LogWeight Source # conformsTo ∷ LogWeight → TypeSpec LogWeight → Bool Source # shrinkWithTypeSpec ∷ TypeSpec LogWeight → LogWeight → [LogWeight] Source # fixupWithTypeSpec ∷ TypeSpec LogWeight → LogWeight → Maybe LogWeight Source # toPreds ∷ Term LogWeight → TypeSpec LogWeight → Pred Source # cardinalTypeSpec ∷ TypeSpec LogWeight → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec LogWeight → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec LogWeight → BinaryShow Source # typeSpecOpt ∷ TypeSpec LogWeight → [LogWeight] → Specification LogWeight Source # guardTypeSpec ∷ [String] → TypeSpec LogWeight → Specification LogWeight Source # | |||||||||
| HasSpec NonMyopic Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec NonMyopic Source # combineSpec ∷ TypeSpec NonMyopic → TypeSpec NonMyopic → Specification NonMyopic Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec NonMyopic → GenT m NonMyopic Source # conformsTo ∷ NonMyopic → TypeSpec NonMyopic → Bool Source # shrinkWithTypeSpec ∷ TypeSpec NonMyopic → NonMyopic → [NonMyopic] Source # fixupWithTypeSpec ∷ TypeSpec NonMyopic → NonMyopic → Maybe NonMyopic Source # toPreds ∷ Term NonMyopic → TypeSpec NonMyopic → Pred Source # cardinalTypeSpec ∷ TypeSpec NonMyopic → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec NonMyopic → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec NonMyopic → BinaryShow Source # typeSpecOpt ∷ TypeSpec NonMyopic → [NonMyopic] → Specification NonMyopic Source # guardTypeSpec ∷ [String] → TypeSpec NonMyopic → Specification NonMyopic Source # | |||||||||
| HasSpec FreeVars Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec FreeVars Source # combineSpec ∷ TypeSpec FreeVars → TypeSpec FreeVars → Specification FreeVars Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec FreeVars → GenT m FreeVars Source # conformsTo ∷ FreeVars → TypeSpec FreeVars → Bool Source # shrinkWithTypeSpec ∷ TypeSpec FreeVars → FreeVars → [FreeVars] Source # fixupWithTypeSpec ∷ TypeSpec FreeVars → FreeVars → Maybe FreeVars Source # toPreds ∷ Term FreeVars → TypeSpec FreeVars → Pred Source # cardinalTypeSpec ∷ TypeSpec FreeVars → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec FreeVars → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec FreeVars → BinaryShow Source # typeSpecOpt ∷ TypeSpec FreeVars → [FreeVars] → Specification FreeVars Source # guardTypeSpec ∷ [String] → TypeSpec FreeVars → Specification FreeVars Source # | |||||||||
| HasSpec Pulser Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Pulser Source # combineSpec ∷ TypeSpec Pulser → TypeSpec Pulser → Specification Pulser Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Pulser → GenT m Pulser Source # conformsTo ∷ Pulser → TypeSpec Pulser → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Pulser → Pulser → [Pulser] Source # fixupWithTypeSpec ∷ TypeSpec Pulser → Pulser → Maybe Pulser Source # toPreds ∷ Term Pulser → TypeSpec Pulser → Pred Source # cardinalTypeSpec ∷ TypeSpec Pulser → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Pulser → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Pulser → BinaryShow Source # typeSpecOpt ∷ TypeSpec Pulser → [Pulser] → Specification Pulser Source # guardTypeSpec ∷ [String] → TypeSpec Pulser → Specification Pulser Source # | |||||||||
| HasSpec PulsingRewUpdate Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec PulsingRewUpdate Source # combineSpec ∷ TypeSpec PulsingRewUpdate → TypeSpec PulsingRewUpdate → Specification PulsingRewUpdate Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec PulsingRewUpdate → GenT m PulsingRewUpdate Source # conformsTo ∷ PulsingRewUpdate → TypeSpec PulsingRewUpdate → Bool Source # shrinkWithTypeSpec ∷ TypeSpec PulsingRewUpdate → PulsingRewUpdate → [PulsingRewUpdate] Source # fixupWithTypeSpec ∷ TypeSpec PulsingRewUpdate → PulsingRewUpdate → Maybe PulsingRewUpdate Source # toPreds ∷ Term PulsingRewUpdate → TypeSpec PulsingRewUpdate → Pred Source # cardinalTypeSpec ∷ TypeSpec PulsingRewUpdate → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec PulsingRewUpdate → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec PulsingRewUpdate → BinaryShow Source # typeSpecOpt ∷ TypeSpec PulsingRewUpdate → [PulsingRewUpdate] → Specification PulsingRewUpdate Source # guardTypeSpec ∷ [String] → TypeSpec PulsingRewUpdate → Specification PulsingRewUpdate Source # prerequisites ∷ Evidence (Prerequisites PulsingRewUpdate) Source # | |||||||||
| HasSpec RewardAns Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec RewardAns Source # combineSpec ∷ TypeSpec RewardAns → TypeSpec RewardAns → Specification RewardAns Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec RewardAns → GenT m RewardAns Source # conformsTo ∷ RewardAns → TypeSpec RewardAns → Bool Source # shrinkWithTypeSpec ∷ TypeSpec RewardAns → RewardAns → [RewardAns] Source # fixupWithTypeSpec ∷ TypeSpec RewardAns → RewardAns → Maybe RewardAns Source # toPreds ∷ Term RewardAns → TypeSpec RewardAns → Pred Source # cardinalTypeSpec ∷ TypeSpec RewardAns → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec RewardAns → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec RewardAns → BinaryShow Source # typeSpecOpt ∷ TypeSpec RewardAns → [RewardAns] → Specification RewardAns Source # guardTypeSpec ∷ [String] → TypeSpec RewardAns → Specification RewardAns Source # | |||||||||
| HasSpec RewardSnapShot Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec RewardSnapShot Source # combineSpec ∷ TypeSpec RewardSnapShot → TypeSpec RewardSnapShot → Specification RewardSnapShot Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec RewardSnapShot → GenT m RewardSnapShot Source # conformsTo ∷ RewardSnapShot → TypeSpec RewardSnapShot → Bool Source # shrinkWithTypeSpec ∷ TypeSpec RewardSnapShot → RewardSnapShot → [RewardSnapShot] Source # fixupWithTypeSpec ∷ TypeSpec RewardSnapShot → RewardSnapShot → Maybe RewardSnapShot Source # toPreds ∷ Term RewardSnapShot → TypeSpec RewardSnapShot → Pred Source # cardinalTypeSpec ∷ TypeSpec RewardSnapShot → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec RewardSnapShot → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec RewardSnapShot → BinaryShow Source # typeSpecOpt ∷ TypeSpec RewardSnapShot → [RewardSnapShot] → Specification RewardSnapShot Source # guardTypeSpec ∷ [String] → TypeSpec RewardSnapShot → Specification RewardSnapShot Source # prerequisites ∷ Evidence (Prerequisites RewardSnapShot) Source # | |||||||||
| HasSpec RewardUpdate Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec RewardUpdate Source # combineSpec ∷ TypeSpec RewardUpdate → TypeSpec RewardUpdate → Specification RewardUpdate Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec RewardUpdate → GenT m RewardUpdate Source # conformsTo ∷ RewardUpdate → TypeSpec RewardUpdate → Bool Source # shrinkWithTypeSpec ∷ TypeSpec RewardUpdate → RewardUpdate → [RewardUpdate] Source # fixupWithTypeSpec ∷ TypeSpec RewardUpdate → RewardUpdate → Maybe RewardUpdate Source # toPreds ∷ Term RewardUpdate → TypeSpec RewardUpdate → Pred Source # cardinalTypeSpec ∷ TypeSpec RewardUpdate → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec RewardUpdate → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec RewardUpdate → BinaryShow Source # typeSpecOpt ∷ TypeSpec RewardUpdate → [RewardUpdate] → Specification RewardUpdate Source # guardTypeSpec ∷ [String] → TypeSpec RewardUpdate → Specification RewardUpdate Source # prerequisites ∷ Evidence (Prerequisites RewardUpdate) Source # | |||||||||
| HasSpec LeaderOnlyReward Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec LeaderOnlyReward Source # combineSpec ∷ TypeSpec LeaderOnlyReward → TypeSpec LeaderOnlyReward → Specification LeaderOnlyReward Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec LeaderOnlyReward → GenT m LeaderOnlyReward Source # conformsTo ∷ LeaderOnlyReward → TypeSpec LeaderOnlyReward → Bool Source # shrinkWithTypeSpec ∷ TypeSpec LeaderOnlyReward → LeaderOnlyReward → [LeaderOnlyReward] Source # fixupWithTypeSpec ∷ TypeSpec LeaderOnlyReward → LeaderOnlyReward → Maybe LeaderOnlyReward Source # toPreds ∷ Term LeaderOnlyReward → TypeSpec LeaderOnlyReward → Pred Source # cardinalTypeSpec ∷ TypeSpec LeaderOnlyReward → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec LeaderOnlyReward → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec LeaderOnlyReward → BinaryShow Source # typeSpecOpt ∷ TypeSpec LeaderOnlyReward → [LeaderOnlyReward] → Specification LeaderOnlyReward Source # guardTypeSpec ∷ [String] → TypeSpec LeaderOnlyReward → Specification LeaderOnlyReward Source # prerequisites ∷ Evidence (Prerequisites LeaderOnlyReward) Source # | |||||||||
| HasSpec PoolRewardInfo Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec PoolRewardInfo Source # combineSpec ∷ TypeSpec PoolRewardInfo → TypeSpec PoolRewardInfo → Specification PoolRewardInfo Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec PoolRewardInfo → GenT m PoolRewardInfo Source # conformsTo ∷ PoolRewardInfo → TypeSpec PoolRewardInfo → Bool Source # shrinkWithTypeSpec ∷ TypeSpec PoolRewardInfo → PoolRewardInfo → [PoolRewardInfo] Source # fixupWithTypeSpec ∷ TypeSpec PoolRewardInfo → PoolRewardInfo → Maybe PoolRewardInfo Source # toPreds ∷ Term PoolRewardInfo → TypeSpec PoolRewardInfo → Pred Source # cardinalTypeSpec ∷ TypeSpec PoolRewardInfo → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec PoolRewardInfo → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec PoolRewardInfo → BinaryShow Source # typeSpecOpt ∷ TypeSpec PoolRewardInfo → [PoolRewardInfo] → Specification PoolRewardInfo Source # guardTypeSpec ∷ [String] → TypeSpec PoolRewardInfo → Specification PoolRewardInfo Source # prerequisites ∷ Evidence (Prerequisites PoolRewardInfo) Source # | |||||||||
| HasSpec StakeShare Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec StakeShare Source # combineSpec ∷ TypeSpec StakeShare → TypeSpec StakeShare → Specification StakeShare Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec StakeShare → GenT m StakeShare Source # conformsTo ∷ StakeShare → TypeSpec StakeShare → Bool Source # shrinkWithTypeSpec ∷ TypeSpec StakeShare → StakeShare → [StakeShare] Source # fixupWithTypeSpec ∷ TypeSpec StakeShare → StakeShare → Maybe StakeShare Source # toPreds ∷ Term StakeShare → TypeSpec StakeShare → Pred Source # cardinalTypeSpec ∷ TypeSpec StakeShare → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec StakeShare → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec StakeShare → BinaryShow Source # typeSpecOpt ∷ TypeSpec StakeShare → [StakeShare] → Specification StakeShare Source # guardTypeSpec ∷ [String] → TypeSpec StakeShare → Specification StakeShare Source # prerequisites ∷ Evidence (Prerequisites StakeShare) Source # | |||||||||
| HasSpec GenesisDelegCert Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec GenesisDelegCert Source # combineSpec ∷ TypeSpec GenesisDelegCert → TypeSpec GenesisDelegCert → Specification GenesisDelegCert Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec GenesisDelegCert → GenT m GenesisDelegCert Source # conformsTo ∷ GenesisDelegCert → TypeSpec GenesisDelegCert → Bool Source # shrinkWithTypeSpec ∷ TypeSpec GenesisDelegCert → GenesisDelegCert → [GenesisDelegCert] Source # fixupWithTypeSpec ∷ TypeSpec GenesisDelegCert → GenesisDelegCert → Maybe GenesisDelegCert Source # toPreds ∷ Term GenesisDelegCert → TypeSpec GenesisDelegCert → Pred Source # cardinalTypeSpec ∷ TypeSpec GenesisDelegCert → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec GenesisDelegCert → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec GenesisDelegCert → BinaryShow Source # typeSpecOpt ∷ TypeSpec GenesisDelegCert → [GenesisDelegCert] → Specification GenesisDelegCert Source # guardTypeSpec ∷ [String] → TypeSpec GenesisDelegCert → Specification GenesisDelegCert Source # prerequisites ∷ Evidence (Prerequisites GenesisDelegCert) Source # | |||||||||
| HasSpec MIRCert Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec MIRCert Source # combineSpec ∷ TypeSpec MIRCert → TypeSpec MIRCert → Specification MIRCert Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec MIRCert → GenT m MIRCert Source # conformsTo ∷ MIRCert → TypeSpec MIRCert → Bool Source # shrinkWithTypeSpec ∷ TypeSpec MIRCert → MIRCert → [MIRCert] Source # fixupWithTypeSpec ∷ TypeSpec MIRCert → MIRCert → Maybe MIRCert Source # toPreds ∷ Term MIRCert → TypeSpec MIRCert → Pred Source # cardinalTypeSpec ∷ TypeSpec MIRCert → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec MIRCert → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec MIRCert → BinaryShow Source # typeSpecOpt ∷ TypeSpec MIRCert → [MIRCert] → Specification MIRCert Source # guardTypeSpec ∷ [String] → TypeSpec MIRCert → Specification MIRCert Source # | |||||||||
| HasSpec MIRPot Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec MIRPot Source # combineSpec ∷ TypeSpec MIRPot → TypeSpec MIRPot → Specification MIRPot Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec MIRPot → GenT m MIRPot Source # conformsTo ∷ MIRPot → TypeSpec MIRPot → Bool Source # shrinkWithTypeSpec ∷ TypeSpec MIRPot → MIRPot → [MIRPot] Source # fixupWithTypeSpec ∷ TypeSpec MIRPot → MIRPot → Maybe MIRPot Source # toPreds ∷ Term MIRPot → TypeSpec MIRPot → Pred Source # cardinalTypeSpec ∷ TypeSpec MIRPot → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec MIRPot → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec MIRPot → BinaryShow Source # typeSpecOpt ∷ TypeSpec MIRPot → [MIRPot] → Specification MIRPot Source # guardTypeSpec ∷ [String] → TypeSpec MIRPot → Specification MIRPot Source # | |||||||||
| HasSpec MIRTarget Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec MIRTarget Source # combineSpec ∷ TypeSpec MIRTarget → TypeSpec MIRTarget → Specification MIRTarget Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec MIRTarget → GenT m MIRTarget Source # conformsTo ∷ MIRTarget → TypeSpec MIRTarget → Bool Source # shrinkWithTypeSpec ∷ TypeSpec MIRTarget → MIRTarget → [MIRTarget] Source # fixupWithTypeSpec ∷ TypeSpec MIRTarget → MIRTarget → Maybe MIRTarget Source # toPreds ∷ Term MIRTarget → TypeSpec MIRTarget → Pred Source # cardinalTypeSpec ∷ TypeSpec MIRTarget → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec MIRTarget → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec MIRTarget → BinaryShow Source # typeSpecOpt ∷ TypeSpec MIRTarget → [MIRTarget] → Specification MIRTarget Source # guardTypeSpec ∷ [String] → TypeSpec MIRTarget → Specification MIRTarget Source # | |||||||||
| HasSpec ShelleyDelegCert Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec ShelleyDelegCert Source # combineSpec ∷ TypeSpec ShelleyDelegCert → TypeSpec ShelleyDelegCert → Specification ShelleyDelegCert Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec ShelleyDelegCert → GenT m ShelleyDelegCert Source # conformsTo ∷ ShelleyDelegCert → TypeSpec ShelleyDelegCert → Bool Source # shrinkWithTypeSpec ∷ TypeSpec ShelleyDelegCert → ShelleyDelegCert → [ShelleyDelegCert] Source # fixupWithTypeSpec ∷ TypeSpec ShelleyDelegCert → ShelleyDelegCert → Maybe ShelleyDelegCert Source # toPreds ∷ Term ShelleyDelegCert → TypeSpec ShelleyDelegCert → Pred Source # cardinalTypeSpec ∷ TypeSpec ShelleyDelegCert → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec ShelleyDelegCert → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec ShelleyDelegCert → BinaryShow Source # typeSpecOpt ∷ TypeSpec ShelleyDelegCert → [ShelleyDelegCert] → Specification ShelleyDelegCert Source # guardTypeSpec ∷ [String] → TypeSpec ShelleyDelegCert → Specification ShelleyDelegCert Source # prerequisites ∷ Evidence (Prerequisites ShelleyDelegCert) Source # | |||||||||
| HasSpec EpochNo Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec EpochNo Source # combineSpec ∷ TypeSpec EpochNo → TypeSpec EpochNo → Specification EpochNo Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec EpochNo → GenT m EpochNo Source # conformsTo ∷ EpochNo → TypeSpec EpochNo → Bool Source # shrinkWithTypeSpec ∷ TypeSpec EpochNo → EpochNo → [EpochNo] Source # fixupWithTypeSpec ∷ TypeSpec EpochNo → EpochNo → Maybe EpochNo Source # toPreds ∷ Term EpochNo → TypeSpec EpochNo → Pred Source # cardinalTypeSpec ∷ TypeSpec EpochNo → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec EpochNo → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec EpochNo → BinaryShow Source # typeSpecOpt ∷ TypeSpec EpochNo → [EpochNo] → Specification EpochNo Source # guardTypeSpec ∷ [String] → TypeSpec EpochNo → Specification EpochNo Source # | |||||||||
| HasSpec SlotNo Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec SlotNo Source # combineSpec ∷ TypeSpec SlotNo → TypeSpec SlotNo → Specification SlotNo Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec SlotNo → GenT m SlotNo Source # conformsTo ∷ SlotNo → TypeSpec SlotNo → Bool Source # shrinkWithTypeSpec ∷ TypeSpec SlotNo → SlotNo → [SlotNo] Source # fixupWithTypeSpec ∷ TypeSpec SlotNo → SlotNo → Maybe SlotNo Source # toPreds ∷ Term SlotNo → TypeSpec SlotNo → Pred Source # cardinalTypeSpec ∷ TypeSpec SlotNo → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec SlotNo → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec SlotNo → BinaryShow Source # typeSpecOpt ∷ TypeSpec SlotNo → [SlotNo] → Specification SlotNo Source # guardTypeSpec ∷ [String] → TypeSpec SlotNo → Specification SlotNo Source # | |||||||||
| HasSpec Data Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Data Source # combineSpec ∷ TypeSpec Data → TypeSpec Data → Specification Data Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Data → GenT m Data Source # conformsTo ∷ Data → TypeSpec Data → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Data → Data → [Data] Source # fixupWithTypeSpec ∷ TypeSpec Data → Data → Maybe Data Source # toPreds ∷ Term Data → TypeSpec Data → Pred Source # cardinalTypeSpec ∷ TypeSpec Data → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Data → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Data → BinaryShow Source # typeSpecOpt ∷ TypeSpec Data → [Data] → Specification Data Source # guardTypeSpec ∷ [String] → TypeSpec Data → Specification Data Source # | |||||||||
| HasSpec Text Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Text Source # combineSpec ∷ TypeSpec Text → TypeSpec Text → Specification Text Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Text → GenT m Text Source # conformsTo ∷ Text → TypeSpec Text → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Text → Text → [Text] Source # fixupWithTypeSpec ∷ TypeSpec Text → Text → Maybe Text Source # toPreds ∷ Term Text → TypeSpec Text → Pred Source # cardinalTypeSpec ∷ TypeSpec Text → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Text → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Text → BinaryShow Source # typeSpecOpt ∷ TypeSpec Text → [Text] → Specification Text Source # guardTypeSpec ∷ [String] → TypeSpec Text → Specification Text Source # | |||||||||
| HasSpec Char Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec Char Source # combineSpec ∷ TypeSpec Char → TypeSpec Char → Specification Char Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec Char → GenT m Char Source # conformsTo ∷ Char → TypeSpec Char → Bool Source # shrinkWithTypeSpec ∷ TypeSpec Char → Char → [Char] Source # fixupWithTypeSpec ∷ TypeSpec Char → Char → Maybe Char Source # toPreds ∷ Term Char → TypeSpec Char → Pred Source # cardinalTypeSpec ∷ TypeSpec Char → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec Char → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec Char → BinaryShow Source # typeSpecOpt ∷ TypeSpec Char → [Char] → Specification Char Source # guardTypeSpec ∷ [String] → TypeSpec Char → Specification Char Source # | |||||||||
| HasSimpleRep ValidityInterval Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep IsValid Source # | |||||||||
| HasSimpleRep Addr28Extra Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ Addr28Extra → SimpleRep Addr28Extra Source # fromSimpleRep ∷ SimpleRep Addr28Extra → Addr28Extra Source # | |||||||||
| HasSimpleRep DataHash32 Source # | |||||||||
Associated Types
Methods | |||||||||
| HasSimpleRep CoinPerByte Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ CoinPerByte → SimpleRep CoinPerByte Source # fromSimpleRep ∷ SimpleRep CoinPerByte → CoinPerByte Source # | |||||||||
| HasSimpleRep AddrType Source # | |||||||||
| HasSimpleRep NetworkMagic Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep GovActionId Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ GovActionId → SimpleRep GovActionId Source # fromSimpleRep ∷ SimpleRep GovActionId → GovActionId Source # | |||||||||
| HasSimpleRep GovActionIx Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ GovActionIx → SimpleRep GovActionIx Source # fromSimpleRep ∷ SimpleRep GovActionIx → GovActionIx Source # | |||||||||
| HasSimpleRep GovActionPurpose Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep Vote Source # | |||||||||
| HasSimpleRep Voter Source # | |||||||||
| HasSimpleRep ConwayDelegCert Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep ConwayGovCert Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep Delegatee Source # | |||||||||
| HasSimpleRep Addr Source # | |||||||||
| HasSimpleRep BootstrapAddress Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep CompactAddr Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ CompactAddr → SimpleRep CompactAddr Source # fromSimpleRep ∷ SimpleRep CompactAddr → CompactAddr Source # | |||||||||
| HasSimpleRep RewardAccount Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep Withdrawals Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ Withdrawals → SimpleRep Withdrawals Source # fromSimpleRep ∷ SimpleRep Withdrawals → Withdrawals Source # | |||||||||
| HasSimpleRep Anchor Source # | |||||||||
| HasSimpleRep BlocksMade Source # | |||||||||
Associated Types
Methods | |||||||||
| HasSimpleRep CertIx Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep Network Source # | |||||||||
| HasSimpleRep Port Source # | |||||||||
| HasSimpleRep TxIx Source # | |||||||||
| HasSimpleRep Url Source # | |||||||||
| HasSimpleRep DeltaCoin Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep PoolCert Source # | |||||||||
| HasSimpleRep Ptr Source # | |||||||||
| HasSimpleRep SlotNo32 Source # | |||||||||
| HasSimpleRep StakeReference Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep DRep Source # | |||||||||
| HasSimpleRep DRepState Source # | |||||||||
| HasSimpleRep GenDelegPair Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep GenDelegs Source # | |||||||||
| HasSimpleRep ScriptHash Source # | |||||||||
Associated Types
Methods | |||||||||
| HasSimpleRep TxAuxDataHash Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep Metadatum Source # | |||||||||
| HasSimpleRep Language Source # | |||||||||
| HasSimpleRep Reward Source # | |||||||||
| HasSimpleRep RewardType Source # | |||||||||
Associated Types
Methods | |||||||||
| HasSimpleRep CommitteeAuthorization Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep FutureGenDeleg Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep InstantaneousRewards Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep ChainAccountState Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep IndividualPoolStake Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep PoolDistr Source # | |||||||||
| HasSimpleRep SnapShot Source # | |||||||||
| HasSimpleRep SnapShots Source # | |||||||||
| HasSimpleRep Stake Source # | |||||||||
| HasSimpleRep PoolMetadata Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep StakePoolParams Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep StakePoolState Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep TxId Source # | |||||||||
| HasSimpleRep TxIn Source # | |||||||||
| HasSimpleRep AssetName Source # | |||||||||
| HasSimpleRep MaryValue Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep MultiAsset Source # | |||||||||
Associated Types
Methods | |||||||||
| HasSimpleRep PolicyID Source # | |||||||||
| HasSimpleRep Likelihood Source # | |||||||||
Associated Types
Methods | |||||||||
| HasSimpleRep LogWeight Source # | |||||||||
| HasSimpleRep NonMyopic Source # | |||||||||
| HasSimpleRep FreeVars Source # | |||||||||
| HasSimpleRep Pulser Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep PulsingRewUpdate Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep RewardAns Source # | |||||||||
| HasSimpleRep RewardSnapShot Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep RewardUpdate Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep LeaderOnlyReward Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep PoolRewardInfo Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep StakeShare Source # | |||||||||
Associated Types
Methods | |||||||||
| HasSimpleRep GenesisDelegCert Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep MIRCert Source # | |||||||||
| HasSimpleRep MIRPot Source # | |||||||||
| HasSimpleRep MIRTarget Source # | |||||||||
| HasSimpleRep ShelleyDelegCert Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep EpochNo Source # | |||||||||
| HasSimpleRep SlotNo Source # | |||||||||
| HasSimpleRep Data Source # | |||||||||
| HasDivision DeltaCoin Source # | |||||||||
| HasDivision EpochNo Source # | |||||||||
| NumLike DeltaCoin Source # | |||||||||
| NumLike EpochNo Source # | |||||||||
Methods subtractSpec ∷ EpochNo → TypeSpec EpochNo → Specification EpochNo Source # negateSpec ∷ TypeSpec EpochNo → Specification EpochNo Source # | |||||||||
| OrdLike DeltaCoin Source # | |||||||||
| OrdLike EpochNo Source # | |||||||||
| OrdLike SlotNo Source # | |||||||||
| Foldy DeltaCoin Source # | |||||||||
Methods genList ∷ ∀ (m ∷ Type → Type). MonadGenError m ⇒ Specification DeltaCoin → Specification DeltaCoin → GenT m [DeltaCoin] Source # theAddFn ∷ IntW '[DeltaCoin, DeltaCoin] DeltaCoin Source # genSizedList ∷ ∀ (m ∷ Type → Type). MonadGenError m ⇒ Specification Integer → Specification DeltaCoin → Specification DeltaCoin → GenT m [DeltaCoin] Source # | |||||||||
| Num DeltaCoin Source # | |||||||||
| (HasSpec (SimpleRep (Proposals era)), HasSpec (Proposals era), HasSimpleRep (Proposals era), era ~ ConwayEra, EraSpecPParams era) ⇒ HasGenHint (Proposals era) Source # | |||||||||
Associated Types
| |||||||||
| (Ord a, HasSpec a) ⇒ HasSpec (OSet a) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (OSet a) Source # combineSpec ∷ TypeSpec (OSet a) → TypeSpec (OSet a) → Specification (OSet a) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (OSet a) → GenT m (OSet a) Source # conformsTo ∷ OSet a → TypeSpec (OSet a) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (OSet a) → OSet a → [OSet a] Source # fixupWithTypeSpec ∷ TypeSpec (OSet a) → OSet a → Maybe (OSet a) Source # toPreds ∷ Term (OSet a) → TypeSpec (OSet a) → Pred Source # cardinalTypeSpec ∷ TypeSpec (OSet a) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (OSet a) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (OSet a) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (OSet a) → [OSet a] → Specification (OSet a) Source # guardTypeSpec ∷ [String] → TypeSpec (OSet a) → Specification (OSet a) Source # prerequisites ∷ Evidence (Prerequisites (OSet a)) Source # | |||||||||
| (Era era, AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec (AllegraTxAuxData era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (AllegraTxAuxData era) Source # combineSpec ∷ TypeSpec (AllegraTxAuxData era) → TypeSpec (AllegraTxAuxData era) → Specification (AllegraTxAuxData era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (AllegraTxAuxData era) → GenT m (AllegraTxAuxData era) Source # conformsTo ∷ AllegraTxAuxData era → TypeSpec (AllegraTxAuxData era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (AllegraTxAuxData era) → AllegraTxAuxData era → [AllegraTxAuxData era] Source # fixupWithTypeSpec ∷ TypeSpec (AllegraTxAuxData era) → AllegraTxAuxData era → Maybe (AllegraTxAuxData era) Source # toPreds ∷ Term (AllegraTxAuxData era) → TypeSpec (AllegraTxAuxData era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (AllegraTxAuxData era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (AllegraTxAuxData era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (AllegraTxAuxData era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (AllegraTxAuxData era) → [AllegraTxAuxData era] → Specification (AllegraTxAuxData era) Source # guardTypeSpec ∷ [String] → TypeSpec (AllegraTxAuxData era) → Specification (AllegraTxAuxData era) Source # prerequisites ∷ Evidence (Prerequisites (AllegraTxAuxData era)) Source # | |||||||||
| (AlonzoEraScript era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ HasSpec (AlonzoScript era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (AlonzoScript era) Source # combineSpec ∷ TypeSpec (AlonzoScript era) → TypeSpec (AlonzoScript era) → Specification (AlonzoScript era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (AlonzoScript era) → GenT m (AlonzoScript era) Source # conformsTo ∷ AlonzoScript era → TypeSpec (AlonzoScript era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (AlonzoScript era) → AlonzoScript era → [AlonzoScript era] Source # fixupWithTypeSpec ∷ TypeSpec (AlonzoScript era) → AlonzoScript era → Maybe (AlonzoScript era) Source # toPreds ∷ Term (AlonzoScript era) → TypeSpec (AlonzoScript era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (AlonzoScript era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (AlonzoScript era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (AlonzoScript era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (AlonzoScript era) → [AlonzoScript era] → Specification (AlonzoScript era) Source # guardTypeSpec ∷ [String] → TypeSpec (AlonzoScript era) → Specification (AlonzoScript era) Source # prerequisites ∷ Evidence (Prerequisites (AlonzoScript era)) Source # | |||||||||
| (Era era, AlonzoEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec (AlonzoTxAuxData era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (AlonzoTxAuxData era) Source # combineSpec ∷ TypeSpec (AlonzoTxAuxData era) → TypeSpec (AlonzoTxAuxData era) → Specification (AlonzoTxAuxData era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (AlonzoTxAuxData era) → GenT m (AlonzoTxAuxData era) Source # conformsTo ∷ AlonzoTxAuxData era → TypeSpec (AlonzoTxAuxData era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (AlonzoTxAuxData era) → AlonzoTxAuxData era → [AlonzoTxAuxData era] Source # fixupWithTypeSpec ∷ TypeSpec (AlonzoTxAuxData era) → AlonzoTxAuxData era → Maybe (AlonzoTxAuxData era) Source # toPreds ∷ Term (AlonzoTxAuxData era) → TypeSpec (AlonzoTxAuxData era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (AlonzoTxAuxData era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (AlonzoTxAuxData era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (AlonzoTxAuxData era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (AlonzoTxAuxData era) → [AlonzoTxAuxData era] → Specification (AlonzoTxAuxData era) Source # guardTypeSpec ∷ [String] → TypeSpec (AlonzoTxAuxData era) → Specification (AlonzoTxAuxData era) Source # prerequisites ∷ Evidence (Prerequisites (AlonzoTxAuxData era)) Source # | |||||||||
| (EraTxOut era, HasSpec (Value era)) ⇒ HasSpec (AlonzoTxOut era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (AlonzoTxOut era) Source # combineSpec ∷ TypeSpec (AlonzoTxOut era) → TypeSpec (AlonzoTxOut era) → Specification (AlonzoTxOut era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (AlonzoTxOut era) → GenT m (AlonzoTxOut era) Source # conformsTo ∷ AlonzoTxOut era → TypeSpec (AlonzoTxOut era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (AlonzoTxOut era) → AlonzoTxOut era → [AlonzoTxOut era] Source # fixupWithTypeSpec ∷ TypeSpec (AlonzoTxOut era) → AlonzoTxOut era → Maybe (AlonzoTxOut era) Source # toPreds ∷ Term (AlonzoTxOut era) → TypeSpec (AlonzoTxOut era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (AlonzoTxOut era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (AlonzoTxOut era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (AlonzoTxOut era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (AlonzoTxOut era) → [AlonzoTxOut era] → Specification (AlonzoTxOut era) Source # guardTypeSpec ∷ [String] → TypeSpec (AlonzoTxOut era) → Specification (AlonzoTxOut era) Source # prerequisites ∷ Evidence (Prerequisites (AlonzoTxOut era)) Source # | |||||||||
| AlonzoEraScript era ⇒ HasSpec (AlonzoTxWits era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (AlonzoTxWits era) Source # combineSpec ∷ TypeSpec (AlonzoTxWits era) → TypeSpec (AlonzoTxWits era) → Specification (AlonzoTxWits era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (AlonzoTxWits era) → GenT m (AlonzoTxWits era) Source # conformsTo ∷ AlonzoTxWits era → TypeSpec (AlonzoTxWits era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (AlonzoTxWits era) → AlonzoTxWits era → [AlonzoTxWits era] Source # fixupWithTypeSpec ∷ TypeSpec (AlonzoTxWits era) → AlonzoTxWits era → Maybe (AlonzoTxWits era) Source # toPreds ∷ Term (AlonzoTxWits era) → TypeSpec (AlonzoTxWits era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (AlonzoTxWits era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (AlonzoTxWits era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (AlonzoTxWits era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (AlonzoTxWits era) → [AlonzoTxWits era] → Specification (AlonzoTxWits era) Source # guardTypeSpec ∷ [String] → TypeSpec (AlonzoTxWits era) → Specification (AlonzoTxWits era) Source # prerequisites ∷ Evidence (Prerequisites (AlonzoTxWits era)) Source # | |||||||||
| (HasSpec (Value era), Era era, HasSpec (Data era), Val (Value era), HasSpec (Script era), IsNormalType (Script era)) ⇒ HasSpec (BabbageTxOut era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (BabbageTxOut era) Source # combineSpec ∷ TypeSpec (BabbageTxOut era) → TypeSpec (BabbageTxOut era) → Specification (BabbageTxOut era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (BabbageTxOut era) → GenT m (BabbageTxOut era) Source # conformsTo ∷ BabbageTxOut era → TypeSpec (BabbageTxOut era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (BabbageTxOut era) → BabbageTxOut era → [BabbageTxOut era] Source # fixupWithTypeSpec ∷ TypeSpec (BabbageTxOut era) → BabbageTxOut era → Maybe (BabbageTxOut era) Source # toPreds ∷ Term (BabbageTxOut era) → TypeSpec (BabbageTxOut era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (BabbageTxOut era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (BabbageTxOut era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (BabbageTxOut era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (BabbageTxOut era) → [BabbageTxOut era] → Specification (BabbageTxOut era) Source # guardTypeSpec ∷ [String] → TypeSpec (BabbageTxOut era) → Specification (BabbageTxOut era) Source # prerequisites ∷ Evidence (Prerequisites (BabbageTxOut era)) Source # | |||||||||
| HasSpec a ⇒ HasSpec (Sized a) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (Sized a) Source # combineSpec ∷ TypeSpec (Sized a) → TypeSpec (Sized a) → Specification (Sized a) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Sized a) → GenT m (Sized a) Source # conformsTo ∷ Sized a → TypeSpec (Sized a) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (Sized a) → Sized a → [Sized a] Source # fixupWithTypeSpec ∷ TypeSpec (Sized a) → Sized a → Maybe (Sized a) Source # toPreds ∷ Term (Sized a) → TypeSpec (Sized a) → Pred Source # cardinalTypeSpec ∷ TypeSpec (Sized a) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (Sized a) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (Sized a) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (Sized a) → [Sized a] → Specification (Sized a) Source # guardTypeSpec ∷ [String] → TypeSpec (Sized a) → Specification (Sized a) Source # prerequisites ∷ Evidence (Prerequisites (Sized a)) Source # | |||||||||
| HasSpec (ConwayGovState ConwayEra) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ConwayGovState ConwayEra) Source # combineSpec ∷ TypeSpec (ConwayGovState ConwayEra) → TypeSpec (ConwayGovState ConwayEra) → Specification (ConwayGovState ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayGovState ConwayEra) → GenT m (ConwayGovState ConwayEra) Source # conformsTo ∷ ConwayGovState ConwayEra → TypeSpec (ConwayGovState ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ConwayGovState ConwayEra) → ConwayGovState ConwayEra → [ConwayGovState ConwayEra] Source # fixupWithTypeSpec ∷ TypeSpec (ConwayGovState ConwayEra) → ConwayGovState ConwayEra → Maybe (ConwayGovState ConwayEra) Source # toPreds ∷ Term (ConwayGovState ConwayEra) → TypeSpec (ConwayGovState ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ConwayGovState ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ConwayGovState ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ConwayGovState ConwayEra) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ConwayGovState ConwayEra) → [ConwayGovState ConwayEra] → Specification (ConwayGovState ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (ConwayGovState ConwayEra) → Specification (ConwayGovState ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (ConwayGovState ConwayEra)) Source # | |||||||||
| HasSpec (DRepPulsingState ConwayEra) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (DRepPulsingState ConwayEra) Source # combineSpec ∷ TypeSpec (DRepPulsingState ConwayEra) → TypeSpec (DRepPulsingState ConwayEra) → Specification (DRepPulsingState ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (DRepPulsingState ConwayEra) → GenT m (DRepPulsingState ConwayEra) Source # conformsTo ∷ DRepPulsingState ConwayEra → TypeSpec (DRepPulsingState ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (DRepPulsingState ConwayEra) → DRepPulsingState ConwayEra → [DRepPulsingState ConwayEra] Source # fixupWithTypeSpec ∷ TypeSpec (DRepPulsingState ConwayEra) → DRepPulsingState ConwayEra → Maybe (DRepPulsingState ConwayEra) Source # toPreds ∷ Term (DRepPulsingState ConwayEra) → TypeSpec (DRepPulsingState ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (DRepPulsingState ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (DRepPulsingState ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (DRepPulsingState ConwayEra) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (DRepPulsingState ConwayEra) → [DRepPulsingState ConwayEra] → Specification (DRepPulsingState ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (DRepPulsingState ConwayEra) → Specification (DRepPulsingState ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (DRepPulsingState ConwayEra)) Source # | |||||||||
| HasSpec (PulsingSnapshot ConwayEra) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (PulsingSnapshot ConwayEra) Source # combineSpec ∷ TypeSpec (PulsingSnapshot ConwayEra) → TypeSpec (PulsingSnapshot ConwayEra) → Specification (PulsingSnapshot ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (PulsingSnapshot ConwayEra) → GenT m (PulsingSnapshot ConwayEra) Source # conformsTo ∷ PulsingSnapshot ConwayEra → TypeSpec (PulsingSnapshot ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (PulsingSnapshot ConwayEra) → PulsingSnapshot ConwayEra → [PulsingSnapshot ConwayEra] Source # fixupWithTypeSpec ∷ TypeSpec (PulsingSnapshot ConwayEra) → PulsingSnapshot ConwayEra → Maybe (PulsingSnapshot ConwayEra) Source # toPreds ∷ Term (PulsingSnapshot ConwayEra) → TypeSpec (PulsingSnapshot ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (PulsingSnapshot ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (PulsingSnapshot ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (PulsingSnapshot ConwayEra) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (PulsingSnapshot ConwayEra) → [PulsingSnapshot ConwayEra] → Specification (PulsingSnapshot ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (PulsingSnapshot ConwayEra) → Specification (PulsingSnapshot ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (PulsingSnapshot ConwayEra)) Source # | |||||||||
| (EraGov era, EraTxOut era, EraSpecPParams era) ⇒ HasSpec (EnactState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (EnactState era) Source # combineSpec ∷ TypeSpec (EnactState era) → TypeSpec (EnactState era) → Specification (EnactState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (EnactState era) → GenT m (EnactState era) Source # conformsTo ∷ EnactState era → TypeSpec (EnactState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (EnactState era) → EnactState era → [EnactState era] Source # fixupWithTypeSpec ∷ TypeSpec (EnactState era) → EnactState era → Maybe (EnactState era) Source # toPreds ∷ Term (EnactState era) → TypeSpec (EnactState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (EnactState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (EnactState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (EnactState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (EnactState era) → [EnactState era] → Specification (EnactState era) Source # guardTypeSpec ∷ [String] → TypeSpec (EnactState era) → Specification (EnactState era) Source # prerequisites ∷ Evidence (Prerequisites (EnactState era)) Source # | |||||||||
| (HasSpec (Accounts era), HasSpec (InstantStake era), Era era) ⇒ HasSpec (RatifyEnv era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (RatifyEnv era) Source # combineSpec ∷ TypeSpec (RatifyEnv era) → TypeSpec (RatifyEnv era) → Specification (RatifyEnv era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (RatifyEnv era) → GenT m (RatifyEnv era) Source # conformsTo ∷ RatifyEnv era → TypeSpec (RatifyEnv era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (RatifyEnv era) → RatifyEnv era → [RatifyEnv era] Source # fixupWithTypeSpec ∷ TypeSpec (RatifyEnv era) → RatifyEnv era → Maybe (RatifyEnv era) Source # toPreds ∷ Term (RatifyEnv era) → TypeSpec (RatifyEnv era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (RatifyEnv era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (RatifyEnv era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (RatifyEnv era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (RatifyEnv era) → [RatifyEnv era] → Specification (RatifyEnv era) Source # guardTypeSpec ∷ [String] → TypeSpec (RatifyEnv era) → Specification (RatifyEnv era) Source # prerequisites ∷ Evidence (Prerequisites (RatifyEnv era)) Source # | |||||||||
| HasSpec (RatifySignal ConwayEra) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (RatifySignal ConwayEra) Source # combineSpec ∷ TypeSpec (RatifySignal ConwayEra) → TypeSpec (RatifySignal ConwayEra) → Specification (RatifySignal ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (RatifySignal ConwayEra) → GenT m (RatifySignal ConwayEra) Source # conformsTo ∷ RatifySignal ConwayEra → TypeSpec (RatifySignal ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (RatifySignal ConwayEra) → RatifySignal ConwayEra → [RatifySignal ConwayEra] Source # fixupWithTypeSpec ∷ TypeSpec (RatifySignal ConwayEra) → RatifySignal ConwayEra → Maybe (RatifySignal ConwayEra) Source # toPreds ∷ Term (RatifySignal ConwayEra) → TypeSpec (RatifySignal ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (RatifySignal ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (RatifySignal ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (RatifySignal ConwayEra) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (RatifySignal ConwayEra) → [RatifySignal ConwayEra] → Specification (RatifySignal ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (RatifySignal ConwayEra) → Specification (RatifySignal ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (RatifySignal ConwayEra)) Source # | |||||||||
| HasSpec (RatifyState ConwayEra) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (RatifyState ConwayEra) Source # combineSpec ∷ TypeSpec (RatifyState ConwayEra) → TypeSpec (RatifyState ConwayEra) → Specification (RatifyState ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (RatifyState ConwayEra) → GenT m (RatifyState ConwayEra) Source # conformsTo ∷ RatifyState ConwayEra → TypeSpec (RatifyState ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (RatifyState ConwayEra) → RatifyState ConwayEra → [RatifyState ConwayEra] Source # fixupWithTypeSpec ∷ TypeSpec (RatifyState ConwayEra) → RatifyState ConwayEra → Maybe (RatifyState ConwayEra) Source # toPreds ∷ Term (RatifyState ConwayEra) → TypeSpec (RatifyState ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (RatifyState ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (RatifyState ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (RatifyState ConwayEra) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (RatifyState ConwayEra) → [RatifyState ConwayEra] → Specification (RatifyState ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (RatifyState ConwayEra) → Specification (RatifyState ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (RatifyState ConwayEra)) Source # | |||||||||
| Era era ⇒ HasSpec (Committee era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (Committee era) Source # combineSpec ∷ TypeSpec (Committee era) → TypeSpec (Committee era) → Specification (Committee era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Committee era) → GenT m (Committee era) Source # conformsTo ∷ Committee era → TypeSpec (Committee era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (Committee era) → Committee era → [Committee era] Source # fixupWithTypeSpec ∷ TypeSpec (Committee era) → Committee era → Maybe (Committee era) Source # toPreds ∷ Term (Committee era) → TypeSpec (Committee era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (Committee era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (Committee era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (Committee era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (Committee era) → [Committee era] → Specification (Committee era) Source # guardTypeSpec ∷ [String] → TypeSpec (Committee era) → Specification (Committee era) Source # prerequisites ∷ Evidence (Prerequisites (Committee era)) Source # | |||||||||
| EraPParams era ⇒ HasSpec (Constitution era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (Constitution era) Source # combineSpec ∷ TypeSpec (Constitution era) → TypeSpec (Constitution era) → Specification (Constitution era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Constitution era) → GenT m (Constitution era) Source # conformsTo ∷ Constitution era → TypeSpec (Constitution era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (Constitution era) → Constitution era → [Constitution era] Source # fixupWithTypeSpec ∷ TypeSpec (Constitution era) → Constitution era → Maybe (Constitution era) Source # toPreds ∷ Term (Constitution era) → TypeSpec (Constitution era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (Constitution era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (Constitution era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (Constitution era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (Constitution era) → [Constitution era] → Specification (Constitution era) Source # guardTypeSpec ∷ [String] → TypeSpec (Constitution era) → Specification (Constitution era) Source # prerequisites ∷ Evidence (Prerequisites (Constitution era)) Source # | |||||||||
| EraSpecPParams era ⇒ HasSpec (GovAction era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (GovAction era) Source # combineSpec ∷ TypeSpec (GovAction era) → TypeSpec (GovAction era) → Specification (GovAction era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (GovAction era) → GenT m (GovAction era) Source # conformsTo ∷ GovAction era → TypeSpec (GovAction era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (GovAction era) → GovAction era → [GovAction era] Source # fixupWithTypeSpec ∷ TypeSpec (GovAction era) → GovAction era → Maybe (GovAction era) Source # toPreds ∷ Term (GovAction era) → TypeSpec (GovAction era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (GovAction era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (GovAction era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (GovAction era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (GovAction era) → [GovAction era] → Specification (GovAction era) Source # guardTypeSpec ∷ [String] → TypeSpec (GovAction era) → Specification (GovAction era) Source # prerequisites ∷ Evidence (Prerequisites (GovAction era)) Source # | |||||||||
| (Era era, EraSpecPParams era) ⇒ HasSpec (GovActionState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (GovActionState era) Source # combineSpec ∷ TypeSpec (GovActionState era) → TypeSpec (GovActionState era) → Specification (GovActionState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (GovActionState era) → GenT m (GovActionState era) Source # conformsTo ∷ GovActionState era → TypeSpec (GovActionState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (GovActionState era) → GovActionState era → [GovActionState era] Source # fixupWithTypeSpec ∷ TypeSpec (GovActionState era) → GovActionState era → Maybe (GovActionState era) Source # toPreds ∷ Term (GovActionState era) → TypeSpec (GovActionState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (GovActionState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (GovActionState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (GovActionState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (GovActionState era) → [GovActionState era] → Specification (GovActionState era) Source # guardTypeSpec ∷ [String] → TypeSpec (GovActionState era) → Specification (GovActionState era) Source # prerequisites ∷ Evidence (Prerequisites (GovActionState era)) Source # | |||||||||
| Typeable p ⇒ HasSpec (GovPurposeId p) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (GovPurposeId p) Source # combineSpec ∷ TypeSpec (GovPurposeId p) → TypeSpec (GovPurposeId p) → Specification (GovPurposeId p) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (GovPurposeId p) → GenT m (GovPurposeId p) Source # conformsTo ∷ GovPurposeId p → TypeSpec (GovPurposeId p) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (GovPurposeId p) → GovPurposeId p → [GovPurposeId p] Source # fixupWithTypeSpec ∷ TypeSpec (GovPurposeId p) → GovPurposeId p → Maybe (GovPurposeId p) Source # toPreds ∷ Term (GovPurposeId p) → TypeSpec (GovPurposeId p) → Pred Source # cardinalTypeSpec ∷ TypeSpec (GovPurposeId p) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (GovPurposeId p) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (GovPurposeId p) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (GovPurposeId p) → [GovPurposeId p] → Specification (GovPurposeId p) Source # guardTypeSpec ∷ [String] → TypeSpec (GovPurposeId p) → Specification (GovPurposeId p) Source # prerequisites ∷ Evidence (Prerequisites (GovPurposeId p)) Source # | |||||||||
| HasSpec (GovRelation StrictMaybe) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (GovRelation StrictMaybe) Source # combineSpec ∷ TypeSpec (GovRelation StrictMaybe) → TypeSpec (GovRelation StrictMaybe) → Specification (GovRelation StrictMaybe) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (GovRelation StrictMaybe) → GenT m (GovRelation StrictMaybe) Source # conformsTo ∷ GovRelation StrictMaybe → TypeSpec (GovRelation StrictMaybe) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (GovRelation StrictMaybe) → GovRelation StrictMaybe → [GovRelation StrictMaybe] Source # fixupWithTypeSpec ∷ TypeSpec (GovRelation StrictMaybe) → GovRelation StrictMaybe → Maybe (GovRelation StrictMaybe) Source # toPreds ∷ Term (GovRelation StrictMaybe) → TypeSpec (GovRelation StrictMaybe) → Pred Source # cardinalTypeSpec ∷ TypeSpec (GovRelation StrictMaybe) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (GovRelation StrictMaybe) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (GovRelation StrictMaybe) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (GovRelation StrictMaybe) → [GovRelation StrictMaybe] → Specification (GovRelation StrictMaybe) Source # guardTypeSpec ∷ [String] → TypeSpec (GovRelation StrictMaybe) → Specification (GovRelation StrictMaybe) Source # prerequisites ∷ Evidence (Prerequisites (GovRelation StrictMaybe)) Source # | |||||||||
| EraSpecPParams era ⇒ HasSpec (ProposalProcedure era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ProposalProcedure era) Source # combineSpec ∷ TypeSpec (ProposalProcedure era) → TypeSpec (ProposalProcedure era) → Specification (ProposalProcedure era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ProposalProcedure era) → GenT m (ProposalProcedure era) Source # conformsTo ∷ ProposalProcedure era → TypeSpec (ProposalProcedure era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ProposalProcedure era) → ProposalProcedure era → [ProposalProcedure era] Source # fixupWithTypeSpec ∷ TypeSpec (ProposalProcedure era) → ProposalProcedure era → Maybe (ProposalProcedure era) Source # toPreds ∷ Term (ProposalProcedure era) → TypeSpec (ProposalProcedure era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ProposalProcedure era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ProposalProcedure era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ProposalProcedure era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ProposalProcedure era) → [ProposalProcedure era] → Specification (ProposalProcedure era) Source # guardTypeSpec ∷ [String] → TypeSpec (ProposalProcedure era) → Specification (ProposalProcedure era) Source # prerequisites ∷ Evidence (Prerequisites (ProposalProcedure era)) Source # | |||||||||
| Typeable era ⇒ HasSpec (VotingProcedure era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (VotingProcedure era) Source # combineSpec ∷ TypeSpec (VotingProcedure era) → TypeSpec (VotingProcedure era) → Specification (VotingProcedure era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (VotingProcedure era) → GenT m (VotingProcedure era) Source # conformsTo ∷ VotingProcedure era → TypeSpec (VotingProcedure era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (VotingProcedure era) → VotingProcedure era → [VotingProcedure era] Source # fixupWithTypeSpec ∷ TypeSpec (VotingProcedure era) → VotingProcedure era → Maybe (VotingProcedure era) Source # toPreds ∷ Term (VotingProcedure era) → TypeSpec (VotingProcedure era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (VotingProcedure era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (VotingProcedure era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (VotingProcedure era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (VotingProcedure era) → [VotingProcedure era] → Specification (VotingProcedure era) Source # guardTypeSpec ∷ [String] → TypeSpec (VotingProcedure era) → Specification (VotingProcedure era) Source # prerequisites ∷ Evidence (Prerequisites (VotingProcedure era)) Source # | |||||||||
| Typeable era ⇒ HasSpec (VotingProcedures era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (VotingProcedures era) Source # combineSpec ∷ TypeSpec (VotingProcedures era) → TypeSpec (VotingProcedures era) → Specification (VotingProcedures era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (VotingProcedures era) → GenT m (VotingProcedures era) Source # conformsTo ∷ VotingProcedures era → TypeSpec (VotingProcedures era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (VotingProcedures era) → VotingProcedures era → [VotingProcedures era] Source # fixupWithTypeSpec ∷ TypeSpec (VotingProcedures era) → VotingProcedures era → Maybe (VotingProcedures era) Source # toPreds ∷ Term (VotingProcedures era) → TypeSpec (VotingProcedures era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (VotingProcedures era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (VotingProcedures era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (VotingProcedures era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (VotingProcedures era) → [VotingProcedures era] → Specification (VotingProcedures era) Source # guardTypeSpec ∷ [String] → TypeSpec (VotingProcedures era) → Specification (VotingProcedures era) Source # prerequisites ∷ Evidence (Prerequisites (VotingProcedures era)) Source # | |||||||||
| (EraSpecPParams era, Arbitrary (Proposals era), HasSpec (Tree (GAS era))) ⇒ HasSpec (Proposals era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (Proposals era) Source # combineSpec ∷ TypeSpec (Proposals era) → TypeSpec (Proposals era) → Specification (Proposals era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Proposals era) → GenT m (Proposals era) Source # conformsTo ∷ Proposals era → TypeSpec (Proposals era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (Proposals era) → Proposals era → [Proposals era] Source # fixupWithTypeSpec ∷ TypeSpec (Proposals era) → Proposals era → Maybe (Proposals era) Source # toPreds ∷ Term (Proposals era) → TypeSpec (Proposals era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (Proposals era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (Proposals era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (Proposals era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (Proposals era) → [Proposals era] → Specification (Proposals era) Source # guardTypeSpec ∷ [String] → TypeSpec (Proposals era) → Specification (Proposals era) Source # prerequisites ∷ Evidence (Prerequisites (Proposals era)) Source # | |||||||||
| (EraGov era, EraTxOut era, EraSpecPParams era) ⇒ HasSpec (CertEnv era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (CertEnv era) Source # combineSpec ∷ TypeSpec (CertEnv era) → TypeSpec (CertEnv era) → Specification (CertEnv era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (CertEnv era) → GenT m (CertEnv era) Source # conformsTo ∷ CertEnv era → TypeSpec (CertEnv era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (CertEnv era) → CertEnv era → [CertEnv era] Source # fixupWithTypeSpec ∷ TypeSpec (CertEnv era) → CertEnv era → Maybe (CertEnv era) Source # toPreds ∷ Term (CertEnv era) → TypeSpec (CertEnv era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (CertEnv era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (CertEnv era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (CertEnv era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (CertEnv era) → [CertEnv era] → Specification (CertEnv era) Source # guardTypeSpec ∷ [String] → TypeSpec (CertEnv era) → Specification (CertEnv era) Source # prerequisites ∷ Evidence (Prerequisites (CertEnv era)) Source # | |||||||||
| (EraGov era, EraTx era, EraSpecPParams era, HasSpec (Tx 'TopTx era)) ⇒ HasSpec (CertsEnv era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (CertsEnv era) Source # combineSpec ∷ TypeSpec (CertsEnv era) → TypeSpec (CertsEnv era) → Specification (CertsEnv era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (CertsEnv era) → GenT m (CertsEnv era) Source # conformsTo ∷ CertsEnv era → TypeSpec (CertsEnv era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (CertsEnv era) → CertsEnv era → [CertsEnv era] Source # fixupWithTypeSpec ∷ TypeSpec (CertsEnv era) → CertsEnv era → Maybe (CertsEnv era) Source # toPreds ∷ Term (CertsEnv era) → TypeSpec (CertsEnv era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (CertsEnv era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (CertsEnv era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (CertsEnv era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (CertsEnv era) → [CertsEnv era] → Specification (CertsEnv era) Source # guardTypeSpec ∷ [String] → TypeSpec (CertsEnv era) → Specification (CertsEnv era) Source # prerequisites ∷ Evidence (Prerequisites (CertsEnv era)) Source # | |||||||||
| (HasSpec (PParams era), Era era) ⇒ HasSpec (ConwayDelegEnv era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ConwayDelegEnv era) Source # combineSpec ∷ TypeSpec (ConwayDelegEnv era) → TypeSpec (ConwayDelegEnv era) → Specification (ConwayDelegEnv era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayDelegEnv era) → GenT m (ConwayDelegEnv era) Source # conformsTo ∷ ConwayDelegEnv era → TypeSpec (ConwayDelegEnv era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ConwayDelegEnv era) → ConwayDelegEnv era → [ConwayDelegEnv era] Source # fixupWithTypeSpec ∷ TypeSpec (ConwayDelegEnv era) → ConwayDelegEnv era → Maybe (ConwayDelegEnv era) Source # toPreds ∷ Term (ConwayDelegEnv era) → TypeSpec (ConwayDelegEnv era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ConwayDelegEnv era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ConwayDelegEnv era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ConwayDelegEnv era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ConwayDelegEnv era) → [ConwayDelegEnv era] → Specification (ConwayDelegEnv era) Source # guardTypeSpec ∷ [String] → TypeSpec (ConwayDelegEnv era) → Specification (ConwayDelegEnv era) Source # prerequisites ∷ Evidence (Prerequisites (ConwayDelegEnv era)) Source # | |||||||||
| HasSpec (EnactSignal ConwayEra) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (EnactSignal ConwayEra) Source # combineSpec ∷ TypeSpec (EnactSignal ConwayEra) → TypeSpec (EnactSignal ConwayEra) → Specification (EnactSignal ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (EnactSignal ConwayEra) → GenT m (EnactSignal ConwayEra) Source # conformsTo ∷ EnactSignal ConwayEra → TypeSpec (EnactSignal ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (EnactSignal ConwayEra) → EnactSignal ConwayEra → [EnactSignal ConwayEra] Source # fixupWithTypeSpec ∷ TypeSpec (EnactSignal ConwayEra) → EnactSignal ConwayEra → Maybe (EnactSignal ConwayEra) Source # toPreds ∷ Term (EnactSignal ConwayEra) → TypeSpec (EnactSignal ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (EnactSignal ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (EnactSignal ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (EnactSignal ConwayEra) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (EnactSignal ConwayEra) → [EnactSignal ConwayEra] → Specification (EnactSignal ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (EnactSignal ConwayEra) → Specification (EnactSignal ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (EnactSignal ConwayEra)) Source # | |||||||||
| (EraSpecPParams era, EraTxOut era, EraCertState era, EraGov era, HasSpec (CertState era)) ⇒ HasSpec (GovEnv era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (GovEnv era) Source # combineSpec ∷ TypeSpec (GovEnv era) → TypeSpec (GovEnv era) → Specification (GovEnv era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (GovEnv era) → GenT m (GovEnv era) Source # conformsTo ∷ GovEnv era → TypeSpec (GovEnv era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (GovEnv era) → GovEnv era → [GovEnv era] Source # fixupWithTypeSpec ∷ TypeSpec (GovEnv era) → GovEnv era → Maybe (GovEnv era) Source # toPreds ∷ Term (GovEnv era) → TypeSpec (GovEnv era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (GovEnv era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (GovEnv era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (GovEnv era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (GovEnv era) → [GovEnv era] → Specification (GovEnv era) Source # guardTypeSpec ∷ [String] → TypeSpec (GovEnv era) → Specification (GovEnv era) Source # prerequisites ∷ Evidence (Prerequisites (GovEnv era)) Source # | |||||||||
| HasSpec (GovSignal ConwayEra) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (GovSignal ConwayEra) Source # combineSpec ∷ TypeSpec (GovSignal ConwayEra) → TypeSpec (GovSignal ConwayEra) → Specification (GovSignal ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (GovSignal ConwayEra) → GenT m (GovSignal ConwayEra) Source # conformsTo ∷ GovSignal ConwayEra → TypeSpec (GovSignal ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (GovSignal ConwayEra) → GovSignal ConwayEra → [GovSignal ConwayEra] Source # fixupWithTypeSpec ∷ TypeSpec (GovSignal ConwayEra) → GovSignal ConwayEra → Maybe (GovSignal ConwayEra) Source # toPreds ∷ Term (GovSignal ConwayEra) → TypeSpec (GovSignal ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (GovSignal ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (GovSignal ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (GovSignal ConwayEra) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (GovSignal ConwayEra) → [GovSignal ConwayEra] → Specification (GovSignal ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (GovSignal ConwayEra) → Specification (GovSignal ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (GovSignal ConwayEra)) Source # | |||||||||
| HasSpec (ConwayGovCertEnv ConwayEra) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ConwayGovCertEnv ConwayEra) Source # combineSpec ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → TypeSpec (ConwayGovCertEnv ConwayEra) → Specification (ConwayGovCertEnv ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayGovCertEnv ConwayEra) → GenT m (ConwayGovCertEnv ConwayEra) Source # conformsTo ∷ ConwayGovCertEnv ConwayEra → TypeSpec (ConwayGovCertEnv ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → ConwayGovCertEnv ConwayEra → [ConwayGovCertEnv ConwayEra] Source # fixupWithTypeSpec ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → ConwayGovCertEnv ConwayEra → Maybe (ConwayGovCertEnv ConwayEra) Source # toPreds ∷ Term (ConwayGovCertEnv ConwayEra) → TypeSpec (ConwayGovCertEnv ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → [ConwayGovCertEnv ConwayEra] → Specification (ConwayGovCertEnv ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (ConwayGovCertEnv ConwayEra) → Specification (ConwayGovCertEnv ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (ConwayGovCertEnv ConwayEra)) Source # | |||||||||
| Typeable era ⇒ HasSpec (ConwayAccountState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ConwayAccountState era) Source # combineSpec ∷ TypeSpec (ConwayAccountState era) → TypeSpec (ConwayAccountState era) → Specification (ConwayAccountState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayAccountState era) → GenT m (ConwayAccountState era) Source # conformsTo ∷ ConwayAccountState era → TypeSpec (ConwayAccountState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ConwayAccountState era) → ConwayAccountState era → [ConwayAccountState era] Source # fixupWithTypeSpec ∷ TypeSpec (ConwayAccountState era) → ConwayAccountState era → Maybe (ConwayAccountState era) Source # toPreds ∷ Term (ConwayAccountState era) → TypeSpec (ConwayAccountState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ConwayAccountState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ConwayAccountState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ConwayAccountState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ConwayAccountState era) → [ConwayAccountState era] → Specification (ConwayAccountState era) Source # guardTypeSpec ∷ [String] → TypeSpec (ConwayAccountState era) → Specification (ConwayAccountState era) Source # prerequisites ∷ Evidence (Prerequisites (ConwayAccountState era)) Source # | |||||||||
| Typeable era ⇒ HasSpec (ConwayAccounts era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ConwayAccounts era) Source # combineSpec ∷ TypeSpec (ConwayAccounts era) → TypeSpec (ConwayAccounts era) → Specification (ConwayAccounts era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayAccounts era) → GenT m (ConwayAccounts era) Source # conformsTo ∷ ConwayAccounts era → TypeSpec (ConwayAccounts era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ConwayAccounts era) → ConwayAccounts era → [ConwayAccounts era] Source # fixupWithTypeSpec ∷ TypeSpec (ConwayAccounts era) → ConwayAccounts era → Maybe (ConwayAccounts era) Source # toPreds ∷ Term (ConwayAccounts era) → TypeSpec (ConwayAccounts era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ConwayAccounts era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ConwayAccounts era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ConwayAccounts era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ConwayAccounts era) → [ConwayAccounts era] → Specification (ConwayAccounts era) Source # guardTypeSpec ∷ [String] → TypeSpec (ConwayAccounts era) → Specification (ConwayAccounts era) Source # prerequisites ∷ Evidence (Prerequisites (ConwayAccounts era)) Source # | |||||||||
| (ConwayEraCertState era, HasSpec (Accounts era)) ⇒ HasSpec (ConwayCertState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ConwayCertState era) Source # combineSpec ∷ TypeSpec (ConwayCertState era) → TypeSpec (ConwayCertState era) → Specification (ConwayCertState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayCertState era) → GenT m (ConwayCertState era) Source # conformsTo ∷ ConwayCertState era → TypeSpec (ConwayCertState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ConwayCertState era) → ConwayCertState era → [ConwayCertState era] Source # fixupWithTypeSpec ∷ TypeSpec (ConwayCertState era) → ConwayCertState era → Maybe (ConwayCertState era) Source # toPreds ∷ Term (ConwayCertState era) → TypeSpec (ConwayCertState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ConwayCertState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ConwayCertState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ConwayCertState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ConwayCertState era) → [ConwayCertState era] → Specification (ConwayCertState era) Source # guardTypeSpec ∷ [String] → TypeSpec (ConwayCertState era) → Specification (ConwayCertState era) Source # prerequisites ∷ Evidence (Prerequisites (ConwayCertState era)) Source # | |||||||||
| Typeable era ⇒ HasSpec (ConwayInstantStake era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ConwayInstantStake era) Source # combineSpec ∷ TypeSpec (ConwayInstantStake era) → TypeSpec (ConwayInstantStake era) → Specification (ConwayInstantStake era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayInstantStake era) → GenT m (ConwayInstantStake era) Source # conformsTo ∷ ConwayInstantStake era → TypeSpec (ConwayInstantStake era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ConwayInstantStake era) → ConwayInstantStake era → [ConwayInstantStake era] Source # fixupWithTypeSpec ∷ TypeSpec (ConwayInstantStake era) → ConwayInstantStake era → Maybe (ConwayInstantStake era) Source # toPreds ∷ Term (ConwayInstantStake era) → TypeSpec (ConwayInstantStake era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ConwayInstantStake era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ConwayInstantStake era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ConwayInstantStake era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ConwayInstantStake era) → [ConwayInstantStake era] → Specification (ConwayInstantStake era) Source # guardTypeSpec ∷ [String] → TypeSpec (ConwayInstantStake era) → Specification (ConwayInstantStake era) Source # prerequisites ∷ Evidence (Prerequisites (ConwayInstantStake era)) Source # | |||||||||
| Era era ⇒ HasSpec (VState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (VState era) Source # combineSpec ∷ TypeSpec (VState era) → TypeSpec (VState era) → Specification (VState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (VState era) → GenT m (VState era) Source # conformsTo ∷ VState era → TypeSpec (VState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (VState era) → VState era → [VState era] Source # fixupWithTypeSpec ∷ TypeSpec (VState era) → VState era → Maybe (VState era) Source # toPreds ∷ Term (VState era) → TypeSpec (VState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (VState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (VState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (VState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (VState era) → [VState era] → Specification (VState era) Source # guardTypeSpec ∷ [String] → TypeSpec (VState era) → Specification (VState era) Source # prerequisites ∷ Evidence (Prerequisites (VState era)) Source # | |||||||||
| Era era ⇒ HasSpec (ConwayTxCert era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ConwayTxCert era) Source # combineSpec ∷ TypeSpec (ConwayTxCert era) → TypeSpec (ConwayTxCert era) → Specification (ConwayTxCert era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayTxCert era) → GenT m (ConwayTxCert era) Source # conformsTo ∷ ConwayTxCert era → TypeSpec (ConwayTxCert era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ConwayTxCert era) → ConwayTxCert era → [ConwayTxCert era] Source # fixupWithTypeSpec ∷ TypeSpec (ConwayTxCert era) → ConwayTxCert era → Maybe (ConwayTxCert era) Source # toPreds ∷ Term (ConwayTxCert era) → TypeSpec (ConwayTxCert era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ConwayTxCert era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ConwayTxCert era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ConwayTxCert era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ConwayTxCert era) → [ConwayTxCert era] → Specification (ConwayTxCert era) Source # guardTypeSpec ∷ [String] → TypeSpec (ConwayTxCert era) → Specification (ConwayTxCert era) Source # prerequisites ∷ Evidence (Prerequisites (ConwayTxCert era)) Source # | |||||||||
| (Compactible a, GenericallyInstantiated (CompactForm a), Typeable (TypeSpec (SimpleRep a)), Show (TypeSpec (SimpleRep a)), HasSpec a, HasSimpleRep a, HasSpec (SimpleRep a)) ⇒ HasSpec (CompactForm a) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (CompactForm a) Source # combineSpec ∷ TypeSpec (CompactForm a) → TypeSpec (CompactForm a) → Specification (CompactForm a) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (CompactForm a) → GenT m (CompactForm a) Source # conformsTo ∷ CompactForm a → TypeSpec (CompactForm a) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (CompactForm a) → CompactForm a → [CompactForm a] Source # fixupWithTypeSpec ∷ TypeSpec (CompactForm a) → CompactForm a → Maybe (CompactForm a) Source # toPreds ∷ Term (CompactForm a) → TypeSpec (CompactForm a) → Pred Source # cardinalTypeSpec ∷ TypeSpec (CompactForm a) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (CompactForm a) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (CompactForm a) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (CompactForm a) → [CompactForm a] → Specification (CompactForm a) Source # guardTypeSpec ∷ [String] → TypeSpec (CompactForm a) → Specification (CompactForm a) Source # prerequisites ∷ Evidence (Prerequisites (CompactForm a)) Source # | |||||||||
| Typeable r ⇒ HasSpec (Credential r) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (Credential r) Source # combineSpec ∷ TypeSpec (Credential r) → TypeSpec (Credential r) → Specification (Credential r) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Credential r) → GenT m (Credential r) Source # conformsTo ∷ Credential r → TypeSpec (Credential r) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (Credential r) → Credential r → [Credential r] Source # fixupWithTypeSpec ∷ TypeSpec (Credential r) → Credential r → Maybe (Credential r) Source # toPreds ∷ Term (Credential r) → TypeSpec (Credential r) → Pred Source # cardinalTypeSpec ∷ TypeSpec (Credential r) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (Credential r) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (Credential r) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (Credential r) → [Credential r] → Specification (Credential r) Source # guardTypeSpec ∷ [String] → TypeSpec (Credential r) → Specification (Credential r) Source # prerequisites ∷ Evidence (Prerequisites (Credential r)) Source # | |||||||||
| Typeable a ⇒ HasSpec (NoUpdate a) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (NoUpdate a) Source # combineSpec ∷ TypeSpec (NoUpdate a) → TypeSpec (NoUpdate a) → Specification (NoUpdate a) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (NoUpdate a) → GenT m (NoUpdate a) Source # conformsTo ∷ NoUpdate a → TypeSpec (NoUpdate a) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (NoUpdate a) → NoUpdate a → [NoUpdate a] Source # fixupWithTypeSpec ∷ TypeSpec (NoUpdate a) → NoUpdate a → Maybe (NoUpdate a) Source # toPreds ∷ Term (NoUpdate a) → TypeSpec (NoUpdate a) → Pred Source # cardinalTypeSpec ∷ TypeSpec (NoUpdate a) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (NoUpdate a) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (NoUpdate a) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (NoUpdate a) → [NoUpdate a] → Specification (NoUpdate a) Source # guardTypeSpec ∷ [String] → TypeSpec (NoUpdate a) → Specification (NoUpdate a) Source # prerequisites ∷ Evidence (Prerequisites (NoUpdate a)) Source # | |||||||||
| Typeable index ⇒ HasSpec (SafeHash index) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (SafeHash index) Source # combineSpec ∷ TypeSpec (SafeHash index) → TypeSpec (SafeHash index) → Specification (SafeHash index) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (SafeHash index) → GenT m (SafeHash index) Source # conformsTo ∷ SafeHash index → TypeSpec (SafeHash index) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (SafeHash index) → SafeHash index → [SafeHash index] Source # fixupWithTypeSpec ∷ TypeSpec (SafeHash index) → SafeHash index → Maybe (SafeHash index) Source # toPreds ∷ Term (SafeHash index) → TypeSpec (SafeHash index) → Pred Source # cardinalTypeSpec ∷ TypeSpec (SafeHash index) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (SafeHash index) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (SafeHash index) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (SafeHash index) → [SafeHash index] → Specification (SafeHash index) Source # guardTypeSpec ∷ [String] → TypeSpec (SafeHash index) → Specification (SafeHash index) Source # prerequisites ∷ Evidence (Prerequisites (SafeHash index)) Source # | |||||||||
| Typeable r ⇒ HasSpec (VRFVerKeyHash r) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (VRFVerKeyHash r) Source # combineSpec ∷ TypeSpec (VRFVerKeyHash r) → TypeSpec (VRFVerKeyHash r) → Specification (VRFVerKeyHash r) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (VRFVerKeyHash r) → GenT m (VRFVerKeyHash r) Source # conformsTo ∷ VRFVerKeyHash r → TypeSpec (VRFVerKeyHash r) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (VRFVerKeyHash r) → VRFVerKeyHash r → [VRFVerKeyHash r] Source # fixupWithTypeSpec ∷ TypeSpec (VRFVerKeyHash r) → VRFVerKeyHash r → Maybe (VRFVerKeyHash r) Source # toPreds ∷ Term (VRFVerKeyHash r) → TypeSpec (VRFVerKeyHash r) → Pred Source # cardinalTypeSpec ∷ TypeSpec (VRFVerKeyHash r) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (VRFVerKeyHash r) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (VRFVerKeyHash r) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (VRFVerKeyHash r) → [VRFVerKeyHash r] → Specification (VRFVerKeyHash r) Source # guardTypeSpec ∷ [String] → TypeSpec (VRFVerKeyHash r) → Specification (VRFVerKeyHash r) Source # prerequisites ∷ Evidence (Prerequisites (VRFVerKeyHash r)) Source # | |||||||||
| Typeable r ⇒ HasSpec (WitVKey r) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (WitVKey r) Source # combineSpec ∷ TypeSpec (WitVKey r) → TypeSpec (WitVKey r) → Specification (WitVKey r) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (WitVKey r) → GenT m (WitVKey r) Source # conformsTo ∷ WitVKey r → TypeSpec (WitVKey r) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (WitVKey r) → WitVKey r → [WitVKey r] Source # fixupWithTypeSpec ∷ TypeSpec (WitVKey r) → WitVKey r → Maybe (WitVKey r) Source # toPreds ∷ Term (WitVKey r) → TypeSpec (WitVKey r) → Pred Source # cardinalTypeSpec ∷ TypeSpec (WitVKey r) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (WitVKey r) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (WitVKey r) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (WitVKey r) → [WitVKey r] → Specification (WitVKey r) Source # guardTypeSpec ∷ [String] → TypeSpec (WitVKey r) → Specification (WitVKey r) Source # prerequisites ∷ Evidence (Prerequisites (WitVKey r)) Source # | |||||||||
| (Era era, HasSpec (Data era)) ⇒ HasSpec (BinaryData era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (BinaryData era) Source # combineSpec ∷ TypeSpec (BinaryData era) → TypeSpec (BinaryData era) → Specification (BinaryData era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (BinaryData era) → GenT m (BinaryData era) Source # conformsTo ∷ BinaryData era → TypeSpec (BinaryData era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (BinaryData era) → BinaryData era → [BinaryData era] Source # fixupWithTypeSpec ∷ TypeSpec (BinaryData era) → BinaryData era → Maybe (BinaryData era) Source # toPreds ∷ Term (BinaryData era) → TypeSpec (BinaryData era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (BinaryData era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (BinaryData era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (BinaryData era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (BinaryData era) → [BinaryData era] → Specification (BinaryData era) Source # guardTypeSpec ∷ [String] → TypeSpec (BinaryData era) → Specification (BinaryData era) Source # prerequisites ∷ Evidence (Prerequisites (BinaryData era)) Source # | |||||||||
| Era era ⇒ HasSpec (Data era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (Data era) Source # combineSpec ∷ TypeSpec (Data era) → TypeSpec (Data era) → Specification (Data era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Data era) → GenT m (Data era) Source # conformsTo ∷ Data era → TypeSpec (Data era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (Data era) → Data era → [Data era] Source # fixupWithTypeSpec ∷ TypeSpec (Data era) → Data era → Maybe (Data era) Source # toPreds ∷ Term (Data era) → TypeSpec (Data era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (Data era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (Data era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (Data era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (Data era) → [Data era] → Specification (Data era) Source # guardTypeSpec ∷ [String] → TypeSpec (Data era) → Specification (Data era) Source # prerequisites ∷ Evidence (Prerequisites (Data era)) Source # | |||||||||
| (Era era, HasSpec (Data era)) ⇒ HasSpec (Datum era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (Datum era) Source # combineSpec ∷ TypeSpec (Datum era) → TypeSpec (Datum era) → Specification (Datum era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Datum era) → GenT m (Datum era) Source # conformsTo ∷ Datum era → TypeSpec (Datum era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (Datum era) → Datum era → [Datum era] Source # fixupWithTypeSpec ∷ TypeSpec (Datum era) → Datum era → Maybe (Datum era) Source # toPreds ∷ Term (Datum era) → TypeSpec (Datum era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (Datum era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (Datum era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (Datum era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (Datum era) → [Datum era] → Specification (Datum era) Source # guardTypeSpec ∷ [String] → TypeSpec (Datum era) → Specification (Datum era) Source # prerequisites ∷ Evidence (Prerequisites (Datum era)) Source # | |||||||||
| Era era ⇒ HasSpec (CommitteeState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (CommitteeState era) Source # combineSpec ∷ TypeSpec (CommitteeState era) → TypeSpec (CommitteeState era) → Specification (CommitteeState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (CommitteeState era) → GenT m (CommitteeState era) Source # conformsTo ∷ CommitteeState era → TypeSpec (CommitteeState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (CommitteeState era) → CommitteeState era → [CommitteeState era] Source # fixupWithTypeSpec ∷ TypeSpec (CommitteeState era) → CommitteeState era → Maybe (CommitteeState era) Source # toPreds ∷ Term (CommitteeState era) → TypeSpec (CommitteeState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (CommitteeState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (CommitteeState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (CommitteeState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (CommitteeState era) → [CommitteeState era] → Specification (CommitteeState era) Source # guardTypeSpec ∷ [String] → TypeSpec (CommitteeState era) → Specification (CommitteeState era) Source # prerequisites ∷ Evidence (Prerequisites (CommitteeState era)) Source # | |||||||||
| (Era era, HasSpec (Accounts era)) ⇒ HasSpec (DState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (DState era) Source # combineSpec ∷ TypeSpec (DState era) → TypeSpec (DState era) → Specification (DState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (DState era) → GenT m (DState era) Source # conformsTo ∷ DState era → TypeSpec (DState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (DState era) → DState era → [DState era] Source # fixupWithTypeSpec ∷ TypeSpec (DState era) → DState era → Maybe (DState era) Source # toPreds ∷ Term (DState era) → TypeSpec (DState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (DState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (DState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (DState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (DState era) → [DState era] → Specification (DState era) Source # guardTypeSpec ∷ [String] → TypeSpec (DState era) → Specification (DState era) Source # prerequisites ∷ Evidence (Prerequisites (DState era)) Source # | |||||||||
| Era era ⇒ HasSpec (PState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (PState era) Source # combineSpec ∷ TypeSpec (PState era) → TypeSpec (PState era) → Specification (PState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (PState era) → GenT m (PState era) Source # conformsTo ∷ PState era → TypeSpec (PState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (PState era) → PState era → [PState era] Source # fixupWithTypeSpec ∷ TypeSpec (PState era) → PState era → Maybe (PState era) Source # toPreds ∷ Term (PState era) → TypeSpec (PState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (PState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (PState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (PState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (PState era) → [PState era] → Specification (PState era) Source # guardTypeSpec ∷ [String] → TypeSpec (PState era) → Specification (PState era) Source # prerequisites ∷ Evidence (Prerequisites (PState era)) Source # | |||||||||
| (Era era, HasSpec (TxOut era), IsNormalType (TxOut era)) ⇒ HasSpec (UTxO era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (UTxO era) Source # combineSpec ∷ TypeSpec (UTxO era) → TypeSpec (UTxO era) → Specification (UTxO era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (UTxO era) → GenT m (UTxO era) Source # conformsTo ∷ UTxO era → TypeSpec (UTxO era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (UTxO era) → UTxO era → [UTxO era] Source # fixupWithTypeSpec ∷ TypeSpec (UTxO era) → UTxO era → Maybe (UTxO era) Source # toPreds ∷ Term (UTxO era) → TypeSpec (UTxO era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (UTxO era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (UTxO era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (UTxO era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (UTxO era) → [UTxO era] → Specification (UTxO era) Source # guardTypeSpec ∷ [String] → TypeSpec (UTxO era) → Specification (UTxO era) Source # prerequisites ∷ Evidence (Prerequisites (UTxO era)) Source # | |||||||||
| (EraTxOut era, EraGov era, EraSpecPParams era) ⇒ HasSpec (ShelleyGovState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ShelleyGovState era) Source # combineSpec ∷ TypeSpec (ShelleyGovState era) → TypeSpec (ShelleyGovState era) → Specification (ShelleyGovState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyGovState era) → GenT m (ShelleyGovState era) Source # conformsTo ∷ ShelleyGovState era → TypeSpec (ShelleyGovState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ShelleyGovState era) → ShelleyGovState era → [ShelleyGovState era] Source # fixupWithTypeSpec ∷ TypeSpec (ShelleyGovState era) → ShelleyGovState era → Maybe (ShelleyGovState era) Source # toPreds ∷ Term (ShelleyGovState era) → TypeSpec (ShelleyGovState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ShelleyGovState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ShelleyGovState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ShelleyGovState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ShelleyGovState era) → [ShelleyGovState era] → Specification (ShelleyGovState era) Source # guardTypeSpec ∷ [String] → TypeSpec (ShelleyGovState era) → Specification (ShelleyGovState era) Source # prerequisites ∷ Evidence (Prerequisites (ShelleyGovState era)) Source # | |||||||||
| (EraTxOut era, HasSpec (TxOut era), IsNormalType (TxOut era), HasSpec (GovState era), EraStake era, EraCertState era, IsNormalType (CertState era), HasSpec (InstantStake era), HasSpec (CertState era)) ⇒ HasSpec (EpochState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (EpochState era) Source # combineSpec ∷ TypeSpec (EpochState era) → TypeSpec (EpochState era) → Specification (EpochState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (EpochState era) → GenT m (EpochState era) Source # conformsTo ∷ EpochState era → TypeSpec (EpochState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (EpochState era) → EpochState era → [EpochState era] Source # fixupWithTypeSpec ∷ TypeSpec (EpochState era) → EpochState era → Maybe (EpochState era) Source # toPreds ∷ Term (EpochState era) → TypeSpec (EpochState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (EpochState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (EpochState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (EpochState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (EpochState era) → [EpochState era] → Specification (EpochState era) Source # guardTypeSpec ∷ [String] → TypeSpec (EpochState era) → Specification (EpochState era) Source # prerequisites ∷ Evidence (Prerequisites (EpochState era)) Source # | |||||||||
| (EraTxOut era, HasSpec (TxOut era), IsNormalType (TxOut era), HasSpec (GovState era), EraStake era, EraCertState era, IsNormalType (CertState era), HasSpec (InstantStake era), HasSpec (CertState era)) ⇒ HasSpec (LedgerState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (LedgerState era) Source # combineSpec ∷ TypeSpec (LedgerState era) → TypeSpec (LedgerState era) → Specification (LedgerState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (LedgerState era) → GenT m (LedgerState era) Source # conformsTo ∷ LedgerState era → TypeSpec (LedgerState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (LedgerState era) → LedgerState era → [LedgerState era] Source # fixupWithTypeSpec ∷ TypeSpec (LedgerState era) → LedgerState era → Maybe (LedgerState era) Source # toPreds ∷ Term (LedgerState era) → TypeSpec (LedgerState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (LedgerState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (LedgerState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (LedgerState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (LedgerState era) → [LedgerState era] → Specification (LedgerState era) Source # guardTypeSpec ∷ [String] → TypeSpec (LedgerState era) → Specification (LedgerState era) Source # prerequisites ∷ Evidence (Prerequisites (LedgerState era)) Source # | |||||||||
| (EraTxOut era, HasSpec (TxOut era), IsNormalType (TxOut era), HasSpec (GovState era), HasSpec (StashedAVVMAddresses era), EraStake era, EraCertState era, IsNormalType (CertState era), HasSpec (CertState era), HasSpec (InstantStake era)) ⇒ HasSpec (NewEpochState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (NewEpochState era) Source # combineSpec ∷ TypeSpec (NewEpochState era) → TypeSpec (NewEpochState era) → Specification (NewEpochState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (NewEpochState era) → GenT m (NewEpochState era) Source # conformsTo ∷ NewEpochState era → TypeSpec (NewEpochState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (NewEpochState era) → NewEpochState era → [NewEpochState era] Source # fixupWithTypeSpec ∷ TypeSpec (NewEpochState era) → NewEpochState era → Maybe (NewEpochState era) Source # toPreds ∷ Term (NewEpochState era) → TypeSpec (NewEpochState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (NewEpochState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (NewEpochState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (NewEpochState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (NewEpochState era) → [NewEpochState era] → Specification (NewEpochState era) Source # guardTypeSpec ∷ [String] → TypeSpec (NewEpochState era) → Specification (NewEpochState era) Source # prerequisites ∷ Evidence (Prerequisites (NewEpochState era)) Source # | |||||||||
| (EraTxOut era, HasSpec (TxOut era), IsNormalType (TxOut era), HasSpec (GovState era), HasSpec (InstantStake era)) ⇒ HasSpec (UTxOState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (UTxOState era) Source # combineSpec ∷ TypeSpec (UTxOState era) → TypeSpec (UTxOState era) → Specification (UTxOState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (UTxOState era) → GenT m (UTxOState era) Source # conformsTo ∷ UTxOState era → TypeSpec (UTxOState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (UTxOState era) → UTxOState era → [UTxOState era] Source # fixupWithTypeSpec ∷ TypeSpec (UTxOState era) → UTxOState era → Maybe (UTxOState era) Source # toPreds ∷ Term (UTxOState era) → TypeSpec (UTxOState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (UTxOState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (UTxOState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (UTxOState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (UTxOState era) → [UTxOState era] → Specification (UTxOState era) Source # guardTypeSpec ∷ [String] → TypeSpec (UTxOState era) → Specification (UTxOState era) Source # prerequisites ∷ Evidence (Prerequisites (UTxOState era)) Source # | |||||||||
| (HasSpec (PParams era), Era era) ⇒ HasSpec (LedgerEnv era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (LedgerEnv era) Source # combineSpec ∷ TypeSpec (LedgerEnv era) → TypeSpec (LedgerEnv era) → Specification (LedgerEnv era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (LedgerEnv era) → GenT m (LedgerEnv era) Source # conformsTo ∷ LedgerEnv era → TypeSpec (LedgerEnv era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (LedgerEnv era) → LedgerEnv era → [LedgerEnv era] Source # fixupWithTypeSpec ∷ TypeSpec (LedgerEnv era) → LedgerEnv era → Maybe (LedgerEnv era) Source # toPreds ∷ Term (LedgerEnv era) → TypeSpec (LedgerEnv era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (LedgerEnv era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (LedgerEnv era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (LedgerEnv era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (LedgerEnv era) → [LedgerEnv era] → Specification (LedgerEnv era) Source # guardTypeSpec ∷ [String] → TypeSpec (LedgerEnv era) → Specification (LedgerEnv era) Source # prerequisites ∷ Evidence (Prerequisites (LedgerEnv era)) Source # | |||||||||
| (EraGov era, EraTxOut era, EraSpecPParams era) ⇒ HasSpec (PoolEnv era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (PoolEnv era) Source # combineSpec ∷ TypeSpec (PoolEnv era) → TypeSpec (PoolEnv era) → Specification (PoolEnv era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (PoolEnv era) → GenT m (PoolEnv era) Source # conformsTo ∷ PoolEnv era → TypeSpec (PoolEnv era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (PoolEnv era) → PoolEnv era → [PoolEnv era] Source # fixupWithTypeSpec ∷ TypeSpec (PoolEnv era) → PoolEnv era → Maybe (PoolEnv era) Source # toPreds ∷ Term (PoolEnv era) → TypeSpec (PoolEnv era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (PoolEnv era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (PoolEnv era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (PoolEnv era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (PoolEnv era) → [PoolEnv era] → Specification (PoolEnv era) Source # guardTypeSpec ∷ [String] → TypeSpec (PoolEnv era) → Specification (PoolEnv era) Source # prerequisites ∷ Evidence (Prerequisites (PoolEnv era)) Source # | |||||||||
| (EraGov era, EraTxOut era, EraSpecPParams era, EraCertState era, HasSpec (CertState era)) ⇒ HasSpec (UtxoEnv era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (UtxoEnv era) Source # combineSpec ∷ TypeSpec (UtxoEnv era) → TypeSpec (UtxoEnv era) → Specification (UtxoEnv era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (UtxoEnv era) → GenT m (UtxoEnv era) Source # conformsTo ∷ UtxoEnv era → TypeSpec (UtxoEnv era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (UtxoEnv era) → UtxoEnv era → [UtxoEnv era] Source # fixupWithTypeSpec ∷ TypeSpec (UtxoEnv era) → UtxoEnv era → Maybe (UtxoEnv era) Source # toPreds ∷ Term (UtxoEnv era) → TypeSpec (UtxoEnv era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (UtxoEnv era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (UtxoEnv era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (UtxoEnv era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (UtxoEnv era) → [UtxoEnv era] → Specification (UtxoEnv era) Source # guardTypeSpec ∷ [String] → TypeSpec (UtxoEnv era) → Specification (UtxoEnv era) Source # prerequisites ∷ Evidence (Prerequisites (UtxoEnv era)) Source # | |||||||||
| Typeable era ⇒ HasSpec (ShelleyAccountState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ShelleyAccountState era) Source # combineSpec ∷ TypeSpec (ShelleyAccountState era) → TypeSpec (ShelleyAccountState era) → Specification (ShelleyAccountState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyAccountState era) → GenT m (ShelleyAccountState era) Source # conformsTo ∷ ShelleyAccountState era → TypeSpec (ShelleyAccountState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ShelleyAccountState era) → ShelleyAccountState era → [ShelleyAccountState era] Source # fixupWithTypeSpec ∷ TypeSpec (ShelleyAccountState era) → ShelleyAccountState era → Maybe (ShelleyAccountState era) Source # toPreds ∷ Term (ShelleyAccountState era) → TypeSpec (ShelleyAccountState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ShelleyAccountState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ShelleyAccountState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ShelleyAccountState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ShelleyAccountState era) → [ShelleyAccountState era] → Specification (ShelleyAccountState era) Source # guardTypeSpec ∷ [String] → TypeSpec (ShelleyAccountState era) → Specification (ShelleyAccountState era) Source # prerequisites ∷ Evidence (Prerequisites (ShelleyAccountState era)) Source # | |||||||||
| Typeable era ⇒ HasSpec (ShelleyAccounts era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ShelleyAccounts era) Source # combineSpec ∷ TypeSpec (ShelleyAccounts era) → TypeSpec (ShelleyAccounts era) → Specification (ShelleyAccounts era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyAccounts era) → GenT m (ShelleyAccounts era) Source # conformsTo ∷ ShelleyAccounts era → TypeSpec (ShelleyAccounts era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ShelleyAccounts era) → ShelleyAccounts era → [ShelleyAccounts era] Source # fixupWithTypeSpec ∷ TypeSpec (ShelleyAccounts era) → ShelleyAccounts era → Maybe (ShelleyAccounts era) Source # toPreds ∷ Term (ShelleyAccounts era) → TypeSpec (ShelleyAccounts era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ShelleyAccounts era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ShelleyAccounts era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ShelleyAccounts era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ShelleyAccounts era) → [ShelleyAccounts era] → Specification (ShelleyAccounts era) Source # guardTypeSpec ∷ [String] → TypeSpec (ShelleyAccounts era) → Specification (ShelleyAccounts era) Source # prerequisites ∷ Evidence (Prerequisites (ShelleyAccounts era)) Source # | |||||||||
| (EraCertState era, HasSpec (Accounts era)) ⇒ HasSpec (ShelleyCertState era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ShelleyCertState era) Source # combineSpec ∷ TypeSpec (ShelleyCertState era) → TypeSpec (ShelleyCertState era) → Specification (ShelleyCertState era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyCertState era) → GenT m (ShelleyCertState era) Source # conformsTo ∷ ShelleyCertState era → TypeSpec (ShelleyCertState era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ShelleyCertState era) → ShelleyCertState era → [ShelleyCertState era] Source # fixupWithTypeSpec ∷ TypeSpec (ShelleyCertState era) → ShelleyCertState era → Maybe (ShelleyCertState era) Source # toPreds ∷ Term (ShelleyCertState era) → TypeSpec (ShelleyCertState era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ShelleyCertState era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ShelleyCertState era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ShelleyCertState era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ShelleyCertState era) → [ShelleyCertState era] → Specification (ShelleyCertState era) Source # guardTypeSpec ∷ [String] → TypeSpec (ShelleyCertState era) → Specification (ShelleyCertState era) Source # prerequisites ∷ Evidence (Prerequisites (ShelleyCertState era)) Source # | |||||||||
| Typeable era ⇒ HasSpec (ShelleyInstantStake era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ShelleyInstantStake era) Source # combineSpec ∷ TypeSpec (ShelleyInstantStake era) → TypeSpec (ShelleyInstantStake era) → Specification (ShelleyInstantStake era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyInstantStake era) → GenT m (ShelleyInstantStake era) Source # conformsTo ∷ ShelleyInstantStake era → TypeSpec (ShelleyInstantStake era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ShelleyInstantStake era) → ShelleyInstantStake era → [ShelleyInstantStake era] Source # fixupWithTypeSpec ∷ TypeSpec (ShelleyInstantStake era) → ShelleyInstantStake era → Maybe (ShelleyInstantStake era) Source # toPreds ∷ Term (ShelleyInstantStake era) → TypeSpec (ShelleyInstantStake era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ShelleyInstantStake era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ShelleyInstantStake era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ShelleyInstantStake era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ShelleyInstantStake era) → [ShelleyInstantStake era] → Specification (ShelleyInstantStake era) Source # guardTypeSpec ∷ [String] → TypeSpec (ShelleyInstantStake era) → Specification (ShelleyInstantStake era) Source # prerequisites ∷ Evidence (Prerequisites (ShelleyInstantStake era)) Source # | |||||||||
| (Era era, AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec (ShelleyTxAuxData era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ShelleyTxAuxData era) Source # combineSpec ∷ TypeSpec (ShelleyTxAuxData era) → TypeSpec (ShelleyTxAuxData era) → Specification (ShelleyTxAuxData era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyTxAuxData era) → GenT m (ShelleyTxAuxData era) Source # conformsTo ∷ ShelleyTxAuxData era → TypeSpec (ShelleyTxAuxData era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ShelleyTxAuxData era) → ShelleyTxAuxData era → [ShelleyTxAuxData era] Source # fixupWithTypeSpec ∷ TypeSpec (ShelleyTxAuxData era) → ShelleyTxAuxData era → Maybe (ShelleyTxAuxData era) Source # toPreds ∷ Term (ShelleyTxAuxData era) → TypeSpec (ShelleyTxAuxData era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ShelleyTxAuxData era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ShelleyTxAuxData era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ShelleyTxAuxData era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ShelleyTxAuxData era) → [ShelleyTxAuxData era] → Specification (ShelleyTxAuxData era) Source # guardTypeSpec ∷ [String] → TypeSpec (ShelleyTxAuxData era) → Specification (ShelleyTxAuxData era) Source # prerequisites ∷ Evidence (Prerequisites (ShelleyTxAuxData era)) Source # | |||||||||
| Era era ⇒ HasSpec (ShelleyTxCert era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ShelleyTxCert era) Source # combineSpec ∷ TypeSpec (ShelleyTxCert era) → TypeSpec (ShelleyTxCert era) → Specification (ShelleyTxCert era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyTxCert era) → GenT m (ShelleyTxCert era) Source # conformsTo ∷ ShelleyTxCert era → TypeSpec (ShelleyTxCert era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ShelleyTxCert era) → ShelleyTxCert era → [ShelleyTxCert era] Source # fixupWithTypeSpec ∷ TypeSpec (ShelleyTxCert era) → ShelleyTxCert era → Maybe (ShelleyTxCert era) Source # toPreds ∷ Term (ShelleyTxCert era) → TypeSpec (ShelleyTxCert era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ShelleyTxCert era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ShelleyTxCert era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ShelleyTxCert era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ShelleyTxCert era) → [ShelleyTxCert era] → Specification (ShelleyTxCert era) Source # guardTypeSpec ∷ [String] → TypeSpec (ShelleyTxCert era) → Specification (ShelleyTxCert era) Source # prerequisites ∷ Evidence (Prerequisites (ShelleyTxCert era)) Source # | |||||||||
| (EraTxOut era, HasSpec (Value era)) ⇒ HasSpec (ShelleyTxOut era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ShelleyTxOut era) Source # combineSpec ∷ TypeSpec (ShelleyTxOut era) → TypeSpec (ShelleyTxOut era) → Specification (ShelleyTxOut era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyTxOut era) → GenT m (ShelleyTxOut era) Source # conformsTo ∷ ShelleyTxOut era → TypeSpec (ShelleyTxOut era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ShelleyTxOut era) → ShelleyTxOut era → [ShelleyTxOut era] Source # fixupWithTypeSpec ∷ TypeSpec (ShelleyTxOut era) → ShelleyTxOut era → Maybe (ShelleyTxOut era) Source # toPreds ∷ Term (ShelleyTxOut era) → TypeSpec (ShelleyTxOut era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ShelleyTxOut era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ShelleyTxOut era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ShelleyTxOut era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ShelleyTxOut era) → [ShelleyTxOut era] → Specification (ShelleyTxOut era) Source # guardTypeSpec ∷ [String] → TypeSpec (ShelleyTxOut era) → Specification (ShelleyTxOut era) Source # prerequisites ∷ Evidence (Prerequisites (ShelleyTxOut era)) Source # | |||||||||
| EraScript era ⇒ HasSpec (ShelleyTxWits era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ShelleyTxWits era) Source # combineSpec ∷ TypeSpec (ShelleyTxWits era) → TypeSpec (ShelleyTxWits era) → Specification (ShelleyTxWits era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyTxWits era) → GenT m (ShelleyTxWits era) Source # conformsTo ∷ ShelleyTxWits era → TypeSpec (ShelleyTxWits era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ShelleyTxWits era) → ShelleyTxWits era → [ShelleyTxWits era] Source # fixupWithTypeSpec ∷ TypeSpec (ShelleyTxWits era) → ShelleyTxWits era → Maybe (ShelleyTxWits era) Source # toPreds ∷ Term (ShelleyTxWits era) → TypeSpec (ShelleyTxWits era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ShelleyTxWits era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ShelleyTxWits era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ShelleyTxWits era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ShelleyTxWits era) → [ShelleyTxWits era] → Specification (ShelleyTxWits era) Source # guardTypeSpec ∷ [String] → TypeSpec (ShelleyTxWits era) → Specification (ShelleyTxWits era) Source # prerequisites ∷ Evidence (Prerequisites (ShelleyTxWits era)) Source # | |||||||||
| HasSpec a ⇒ HasSpec (StrictSeq a) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (StrictSeq a) Source # combineSpec ∷ TypeSpec (StrictSeq a) → TypeSpec (StrictSeq a) → Specification (StrictSeq a) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (StrictSeq a) → GenT m (StrictSeq a) Source # conformsTo ∷ StrictSeq a → TypeSpec (StrictSeq a) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (StrictSeq a) → StrictSeq a → [StrictSeq a] Source # fixupWithTypeSpec ∷ TypeSpec (StrictSeq a) → StrictSeq a → Maybe (StrictSeq a) Source # toPreds ∷ Term (StrictSeq a) → TypeSpec (StrictSeq a) → Pred Source # cardinalTypeSpec ∷ TypeSpec (StrictSeq a) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (StrictSeq a) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (StrictSeq a) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (StrictSeq a) → [StrictSeq a] → Specification (StrictSeq a) Source # guardTypeSpec ∷ [String] → TypeSpec (StrictSeq a) → Specification (StrictSeq a) Source # prerequisites ∷ Evidence (Prerequisites (StrictSeq a)) Source # | |||||||||
| HasSpec a ⇒ HasSpec (Seq a) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (Seq a) Source # combineSpec ∷ TypeSpec (Seq a) → TypeSpec (Seq a) → Specification (Seq a) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Seq a) → GenT m (Seq a) Source # conformsTo ∷ Seq a → TypeSpec (Seq a) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (Seq a) → Seq a → [Seq a] Source # fixupWithTypeSpec ∷ TypeSpec (Seq a) → Seq a → Maybe (Seq a) Source # toPreds ∷ Term (Seq a) → TypeSpec (Seq a) → Pred Source # cardinalTypeSpec ∷ TypeSpec (Seq a) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (Seq a) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (Seq a) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (Seq a) → [Seq a] → Specification (Seq a) Source # guardTypeSpec ∷ [String] → TypeSpec (Seq a) → Specification (Seq a) Source # prerequisites ∷ Evidence (Prerequisites (Seq a)) Source # | |||||||||
| (Typeable a, Ord a) ⇒ HasSimpleRep (OSet a) Source # | |||||||||
Associated Types
| |||||||||
| (Era era, Typeable (NativeScript era), EncCBOR (NativeScript era)) ⇒ HasSimpleRep (AllegraTxAuxData era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ AllegraTxAuxData era → SimpleRep (AllegraTxAuxData era) Source # fromSimpleRep ∷ SimpleRep (AllegraTxAuxData era) → AllegraTxAuxData era Source # | |||||||||
| (Era era, Typeable (NativeScript era)) ⇒ HasSimpleRep (AlonzoScript era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ AlonzoScript era → SimpleRep (AlonzoScript era) Source # fromSimpleRep ∷ SimpleRep (AlonzoScript era) → AlonzoScript era Source # | |||||||||
| AlonzoEraScript era ⇒ HasSimpleRep (AlonzoTxAuxData era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ AlonzoTxAuxData era → SimpleRep (AlonzoTxAuxData era) Source # fromSimpleRep ∷ SimpleRep (AlonzoTxAuxData era) → AlonzoTxAuxData era Source # | |||||||||
| (Era era, Val (Value era)) ⇒ HasSimpleRep (AlonzoTxOut era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ AlonzoTxOut era → SimpleRep (AlonzoTxOut era) Source # fromSimpleRep ∷ SimpleRep (AlonzoTxOut era) → AlonzoTxOut era Source # | |||||||||
| AlonzoEraScript era ⇒ HasSimpleRep (AlonzoTxWits era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ AlonzoTxWits era → SimpleRep (AlonzoTxWits era) Source # fromSimpleRep ∷ SimpleRep (AlonzoTxWits era) → AlonzoTxWits era Source # | |||||||||
| (Typeable (Script era), Era era, Val (Value era)) ⇒ HasSimpleRep (BabbageTxOut era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ BabbageTxOut era → SimpleRep (BabbageTxOut era) Source # fromSimpleRep ∷ SimpleRep (BabbageTxOut era) → BabbageTxOut era Source # | |||||||||
| Typeable a ⇒ HasSimpleRep (Sized a) Source # | |||||||||
| HasSimpleRep (ConwayGovState ConwayEra) Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep (DRepPulsingState ConwayEra) Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep (PulsingSnapshot ConwayEra) Source # | |||||||||
Associated Types
| |||||||||
| Typeable era ⇒ HasSimpleRep (EnactState era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ EnactState era → SimpleRep (EnactState era) Source # fromSimpleRep ∷ SimpleRep (EnactState era) → EnactState era Source # | |||||||||
| (HasSpec (Accounts era), HasSpec (InstantStake era), Typeable era) ⇒ HasSimpleRep (RatifyEnv era) Source # | |||||||||
| HasSimpleRep (RatifySignal ConwayEra) Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep (RatifyState ConwayEra) Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep (Committee era) Source # | |||||||||
| HasSimpleRep (Constitution era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ Constitution era → SimpleRep (Constitution era) Source # fromSimpleRep ∷ SimpleRep (Constitution era) → Constitution era Source # | |||||||||
| Typeable era ⇒ HasSimpleRep (GovAction era) Source # | |||||||||
| Typeable era ⇒ HasSimpleRep (GovActionState era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ GovActionState era → SimpleRep (GovActionState era) Source # fromSimpleRep ∷ SimpleRep (GovActionState era) → GovActionState era Source # | |||||||||
| HasSimpleRep (GovPurposeId p) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ GovPurposeId p → SimpleRep (GovPurposeId p) Source # fromSimpleRep ∷ SimpleRep (GovPurposeId p) → GovPurposeId p Source # | |||||||||
| HasSimpleRep (GovRelation StrictMaybe) Source # | |||||||||
Associated Types
| |||||||||
| Typeable era ⇒ HasSimpleRep (ProposalProcedure era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ProposalProcedure era → SimpleRep (ProposalProcedure era) Source # fromSimpleRep ∷ SimpleRep (ProposalProcedure era) → ProposalProcedure era Source # | |||||||||
| HasSimpleRep (VotingProcedure era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ VotingProcedure era → SimpleRep (VotingProcedure era) Source # fromSimpleRep ∷ SimpleRep (VotingProcedure era) → VotingProcedure era Source # | |||||||||
| Typeable era ⇒ HasSimpleRep (VotingProcedures era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ VotingProcedures era → SimpleRep (VotingProcedures era) Source # fromSimpleRep ∷ SimpleRep (VotingProcedures era) → VotingProcedures era Source # | |||||||||
| EraPParams era ⇒ HasSimpleRep (Proposals era) Source # | |||||||||
Associated Types
| |||||||||
| Era era ⇒ HasSimpleRep (CertEnv era) Source # | |||||||||
| (Typeable (Tx 'TopTx era), Typeable era) ⇒ HasSimpleRep (CertsEnv era) Source # | |||||||||
| Typeable era ⇒ HasSimpleRep (ConwayDelegEnv era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ConwayDelegEnv era → SimpleRep (ConwayDelegEnv era) Source # fromSimpleRep ∷ SimpleRep (ConwayDelegEnv era) → ConwayDelegEnv era Source # | |||||||||
| HasSimpleRep (EnactSignal ConwayEra) Source # | |||||||||
Associated Types
| |||||||||
| (Typeable (CertState era), Era era) ⇒ HasSimpleRep (GovEnv era) Source # | |||||||||
| (Typeable (TxCert era), Typeable era) ⇒ HasSimpleRep (GovSignal era) Source # | |||||||||
| HasSimpleRep (ConwayGovCertEnv ConwayEra) Source # | |||||||||
Associated Types
| |||||||||
| HasSimpleRep (ConwayAccountState era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ConwayAccountState era → SimpleRep (ConwayAccountState era) Source # fromSimpleRep ∷ SimpleRep (ConwayAccountState era) → ConwayAccountState era Source # | |||||||||
| Typeable era ⇒ HasSimpleRep (ConwayAccounts era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ConwayAccounts era → SimpleRep (ConwayAccounts era) Source # fromSimpleRep ∷ SimpleRep (ConwayAccounts era) → ConwayAccounts era Source # | |||||||||
| Typeable era ⇒ HasSimpleRep (ConwayCertState era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ConwayCertState era → SimpleRep (ConwayCertState era) Source # fromSimpleRep ∷ SimpleRep (ConwayCertState era) → ConwayCertState era Source # | |||||||||
| HasSimpleRep (ConwayInstantStake era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ConwayInstantStake era → SimpleRep (ConwayInstantStake era) Source # fromSimpleRep ∷ SimpleRep (ConwayInstantStake era) → ConwayInstantStake era Source # | |||||||||
| Typeable era ⇒ HasSimpleRep (VState era) Source # | |||||||||
| HasSimpleRep (ConwayTxCert era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ConwayTxCert era → SimpleRep (ConwayTxCert era) Source # fromSimpleRep ∷ SimpleRep (ConwayTxCert era) → ConwayTxCert era Source # | |||||||||
| (Compactible a, HasSimpleRep a, Show (SimpleRep a)) ⇒ HasSimpleRep (CompactForm a) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ CompactForm a → SimpleRep (CompactForm a) Source # fromSimpleRep ∷ SimpleRep (CompactForm a) → CompactForm a Source # | |||||||||
| Typeable r ⇒ HasSimpleRep (Credential r) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ Credential r → SimpleRep (Credential r) Source # fromSimpleRep ∷ SimpleRep (Credential r) → Credential r Source # | |||||||||
| HasSimpleRep (NoUpdate a) Source # | |||||||||
| Era era ⇒ HasSimpleRep (BinaryData era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ BinaryData era → SimpleRep (BinaryData era) Source # fromSimpleRep ∷ SimpleRep (BinaryData era) → BinaryData era Source # | |||||||||
| Era era ⇒ HasSimpleRep (Data era) Source # | |||||||||
Associated Types
| |||||||||
| Typeable era ⇒ HasSimpleRep (Datum era) Source # | |||||||||
| HasSimpleRep (CommitteeState era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ CommitteeState era → SimpleRep (CommitteeState era) Source # fromSimpleRep ∷ SimpleRep (CommitteeState era) → CommitteeState era Source # | |||||||||
| Typeable (Accounts era) ⇒ HasSimpleRep (DState era) Source # | |||||||||
| HasSimpleRep (PState era) Source # | |||||||||
| Typeable (TxOut era) ⇒ HasSimpleRep (UTxO era) Source # | |||||||||
| Typeable era ⇒ HasSimpleRep (ShelleyGovState era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ShelleyGovState era → SimpleRep (ShelleyGovState era) Source # fromSimpleRep ∷ SimpleRep (ShelleyGovState era) → ShelleyGovState era Source # | |||||||||
| Era era ⇒ HasSimpleRep (EpochState era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ EpochState era → SimpleRep (EpochState era) Source # fromSimpleRep ∷ SimpleRep (EpochState era) → EpochState era Source # | |||||||||
| (Typeable (CertState era), EraTxOut era) ⇒ HasSimpleRep (LedgerState era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ LedgerState era → SimpleRep (LedgerState era) Source # fromSimpleRep ∷ SimpleRep (LedgerState era) → LedgerState era Source # | |||||||||
| (Typeable (StashedAVVMAddresses era), Era era) ⇒ HasSimpleRep (NewEpochState era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ NewEpochState era → SimpleRep (NewEpochState era) Source # fromSimpleRep ∷ SimpleRep (NewEpochState era) → NewEpochState era Source # | |||||||||
| (Typeable (InstantStake era), Typeable (GovState era), Typeable era) ⇒ HasSimpleRep (UTxOState era) Source # | |||||||||
| Era era ⇒ HasSimpleRep (LedgerEnv era) Source # | |||||||||
| Typeable era ⇒ HasSimpleRep (PoolEnv era) Source # | |||||||||
| (Typeable (CertState era), Era era) ⇒ HasSimpleRep (UtxoEnv era) Source # | |||||||||
| Typeable era ⇒ HasSimpleRep (ShelleyAccountState era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ShelleyAccountState era → SimpleRep (ShelleyAccountState era) Source # fromSimpleRep ∷ SimpleRep (ShelleyAccountState era) → ShelleyAccountState era Source # | |||||||||
| Typeable era ⇒ HasSimpleRep (ShelleyAccounts era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ShelleyAccounts era → SimpleRep (ShelleyAccounts era) Source # fromSimpleRep ∷ SimpleRep (ShelleyAccounts era) → ShelleyAccounts era Source # | |||||||||
| Typeable era ⇒ HasSimpleRep (ShelleyCertState era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ShelleyCertState era → SimpleRep (ShelleyCertState era) Source # fromSimpleRep ∷ SimpleRep (ShelleyCertState era) → ShelleyCertState era Source # | |||||||||
| HasSimpleRep (ShelleyInstantStake era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ShelleyInstantStake era → SimpleRep (ShelleyInstantStake era) Source # fromSimpleRep ∷ SimpleRep (ShelleyInstantStake era) → ShelleyInstantStake era Source # | |||||||||
| Era era ⇒ HasSimpleRep (ShelleyTxAuxData era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ShelleyTxAuxData era → SimpleRep (ShelleyTxAuxData era) Source # fromSimpleRep ∷ SimpleRep (ShelleyTxAuxData era) → ShelleyTxAuxData era Source # | |||||||||
| HasSimpleRep (ShelleyTxCert era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ShelleyTxCert era → SimpleRep (ShelleyTxCert era) Source # fromSimpleRep ∷ SimpleRep (ShelleyTxCert era) → ShelleyTxCert era Source # | |||||||||
| (Era era, Val (Value era)) ⇒ HasSimpleRep (ShelleyTxOut era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ShelleyTxOut era → SimpleRep (ShelleyTxOut era) Source # fromSimpleRep ∷ SimpleRep (ShelleyTxOut era) → ShelleyTxOut era Source # | |||||||||
| EraScript era ⇒ HasSimpleRep (ShelleyTxWits era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ShelleyTxWits era → SimpleRep (ShelleyTxWits era) Source # fromSimpleRep ∷ SimpleRep (ShelleyTxWits era) → ShelleyTxWits era Source # | |||||||||
| Typeable a ⇒ HasSimpleRep (StrictSeq a) Source # | |||||||||
Associated Types
| |||||||||
| Typeable a ⇒ HasSimpleRep (Seq a) Source # | |||||||||
Associated Types
| |||||||||
| HasDivision (CompactForm Coin) Source # | |||||||||
Methods doDivide ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source # divideSpec ∷ CompactForm Coin → TypeSpec (CompactForm Coin) → Specification (CompactForm Coin) Source # | |||||||||
| MaybeBounded (CompactForm Coin) Source # | |||||||||
| NumLike (CompactForm Coin) Source # | |||||||||
Methods subtractSpec ∷ CompactForm Coin → TypeSpec (CompactForm Coin) → Specification (CompactForm Coin) Source # negateSpec ∷ TypeSpec (CompactForm Coin) → Specification (CompactForm Coin) Source # safeSubtract ∷ CompactForm Coin → CompactForm Coin → Maybe (CompactForm Coin) Source # | |||||||||
| OrdLike (CompactForm Coin) Source # | |||||||||
Methods leqSpec ∷ CompactForm Coin → Specification (CompactForm Coin) Source # ltSpec ∷ CompactForm Coin → Specification (CompactForm Coin) Source # geqSpec ∷ CompactForm Coin → Specification (CompactForm Coin) Source # gtSpec ∷ CompactForm Coin → Specification (CompactForm Coin) Source # | |||||||||
| HasSpec a ⇒ Sized (Seq a) Source # | |||||||||
Methods sizeOf ∷ Seq a → Integer Source # liftSizeSpec ∷ SizeSpec → [Integer] → Specification (Seq a) Source # liftMemberSpec ∷ [Integer] → Specification (Seq a) Source # sizeOfTypeSpec ∷ TypeSpec (Seq a) → Specification Integer Source # | |||||||||
| Num (CompactForm Coin) Source # | |||||||||
Methods (+) ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin # (-) ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin # (*) ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin # negate ∷ CompactForm Coin → CompactForm Coin # abs ∷ CompactForm Coin → CompactForm Coin # | |||||||||
| (Typeable a, Ord a) ⇒ Forallable (OSet a) a Source # | |||||||||
Methods fromForAllSpec ∷ Specification a → Specification (OSet a) Source # forAllToList ∷ OSet a → [a] Source # | |||||||||
| Typeable a ⇒ Forallable (StrictSeq a) a Source # | |||||||||
Methods fromForAllSpec ∷ Specification a → Specification (StrictSeq a) Source # forAllToList ∷ StrictSeq a → [a] Source # | |||||||||
| Typeable a ⇒ Forallable (Seq a) a Source # | |||||||||
Methods fromForAllSpec ∷ Specification a → Specification (Seq a) Source # forAllToList ∷ Seq a → [a] Source # | |||||||||
| (HashAlgorithm a, Typeable b) ⇒ HasSpec (Hash a b) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (Hash a b) Source # combineSpec ∷ TypeSpec (Hash a b) → TypeSpec (Hash a b) → Specification (Hash a b) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Hash a b) → GenT m (Hash a b) Source # conformsTo ∷ Hash a b → TypeSpec (Hash a b) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (Hash a b) → Hash a b → [Hash a b] Source # fixupWithTypeSpec ∷ TypeSpec (Hash a b) → Hash a b → Maybe (Hash a b) Source # toPreds ∷ Term (Hash a b) → TypeSpec (Hash a b) → Pred Source # cardinalTypeSpec ∷ TypeSpec (Hash a b) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (Hash a b) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (Hash a b) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (Hash a b) → [Hash a b] → Specification (Hash a b) Source # guardTypeSpec ∷ [String] → TypeSpec (Hash a b) → Specification (Hash a b) Source # prerequisites ∷ Evidence (Prerequisites (Hash a b)) Source # | |||||||||
| Typeable b ⇒ HasSpec (AbstractHash Blake2b_224 b) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (AbstractHash Blake2b_224 b) Source # combineSpec ∷ TypeSpec (AbstractHash Blake2b_224 b) → TypeSpec (AbstractHash Blake2b_224 b) → Specification (AbstractHash Blake2b_224 b) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (AbstractHash Blake2b_224 b) → GenT m (AbstractHash Blake2b_224 b) Source # conformsTo ∷ AbstractHash Blake2b_224 b → TypeSpec (AbstractHash Blake2b_224 b) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (AbstractHash Blake2b_224 b) → AbstractHash Blake2b_224 b → [AbstractHash Blake2b_224 b] Source # fixupWithTypeSpec ∷ TypeSpec (AbstractHash Blake2b_224 b) → AbstractHash Blake2b_224 b → Maybe (AbstractHash Blake2b_224 b) Source # toPreds ∷ Term (AbstractHash Blake2b_224 b) → TypeSpec (AbstractHash Blake2b_224 b) → Pred Source # cardinalTypeSpec ∷ TypeSpec (AbstractHash Blake2b_224 b) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (AbstractHash Blake2b_224 b) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (AbstractHash Blake2b_224 b) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (AbstractHash Blake2b_224 b) → [AbstractHash Blake2b_224 b] → Specification (AbstractHash Blake2b_224 b) Source # guardTypeSpec ∷ [String] → TypeSpec (AbstractHash Blake2b_224 b) → Specification (AbstractHash Blake2b_224 b) Source # prerequisites ∷ Evidence (Prerequisites (AbstractHash Blake2b_224 b)) Source # | |||||||||
| (AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec (Timelock era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (Timelock era) Source # combineSpec ∷ TypeSpec (Timelock era) → TypeSpec (Timelock era) → Specification (Timelock era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Timelock era) → GenT m (Timelock era) Source # conformsTo ∷ Timelock era → TypeSpec (Timelock era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (Timelock era) → Timelock era → [Timelock era] Source # fixupWithTypeSpec ∷ TypeSpec (Timelock era) → Timelock era → Maybe (Timelock era) Source # toPreds ∷ Term (Timelock era) → TypeSpec (Timelock era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (Timelock era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (Timelock era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (Timelock era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (Timelock era) → [Timelock era] → Specification (Timelock era) Source # guardTypeSpec ∷ [String] → TypeSpec (Timelock era) → Specification (Timelock era) Source # prerequisites ∷ Evidence (Prerequisites (Timelock era)) Source # | |||||||||
| (EraSpecPParams era, HasSpec (TxBody 'TopTx era), HasSpec (TxWits era), HasSpec (TxAuxData era), IsNormalType (TxAuxData era)) ⇒ HasSpec (AlonzoTx 'TopTx era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (AlonzoTx 'TopTx era) Source # combineSpec ∷ TypeSpec (AlonzoTx 'TopTx era) → TypeSpec (AlonzoTx 'TopTx era) → Specification (AlonzoTx 'TopTx era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (AlonzoTx 'TopTx era) → GenT m (AlonzoTx 'TopTx era) Source # conformsTo ∷ AlonzoTx 'TopTx era → TypeSpec (AlonzoTx 'TopTx era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (AlonzoTx 'TopTx era) → AlonzoTx 'TopTx era → [AlonzoTx 'TopTx era] Source # fixupWithTypeSpec ∷ TypeSpec (AlonzoTx 'TopTx era) → AlonzoTx 'TopTx era → Maybe (AlonzoTx 'TopTx era) Source # toPreds ∷ Term (AlonzoTx 'TopTx era) → TypeSpec (AlonzoTx 'TopTx era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (AlonzoTx 'TopTx era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (AlonzoTx 'TopTx era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (AlonzoTx 'TopTx era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (AlonzoTx 'TopTx era) → [AlonzoTx 'TopTx era] → Specification (AlonzoTx 'TopTx era) Source # guardTypeSpec ∷ [String] → TypeSpec (AlonzoTx 'TopTx era) → Specification (AlonzoTx 'TopTx era) Source # prerequisites ∷ Evidence (Prerequisites (AlonzoTx 'TopTx era)) Source # | |||||||||
| Typeable c ⇒ HasSpec (ConwayPParams StrictMaybe c) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ConwayPParams StrictMaybe c) Source # combineSpec ∷ TypeSpec (ConwayPParams StrictMaybe c) → TypeSpec (ConwayPParams StrictMaybe c) → Specification (ConwayPParams StrictMaybe c) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayPParams StrictMaybe c) → GenT m (ConwayPParams StrictMaybe c) Source # conformsTo ∷ ConwayPParams StrictMaybe c → TypeSpec (ConwayPParams StrictMaybe c) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ConwayPParams StrictMaybe c) → ConwayPParams StrictMaybe c → [ConwayPParams StrictMaybe c] Source # fixupWithTypeSpec ∷ TypeSpec (ConwayPParams StrictMaybe c) → ConwayPParams StrictMaybe c → Maybe (ConwayPParams StrictMaybe c) Source # toPreds ∷ Term (ConwayPParams StrictMaybe c) → TypeSpec (ConwayPParams StrictMaybe c) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ConwayPParams StrictMaybe c) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ConwayPParams StrictMaybe c) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ConwayPParams StrictMaybe c) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ConwayPParams StrictMaybe c) → [ConwayPParams StrictMaybe c] → Specification (ConwayPParams StrictMaybe c) Source # guardTypeSpec ∷ [String] → TypeSpec (ConwayPParams StrictMaybe c) → Specification (ConwayPParams StrictMaybe c) Source # prerequisites ∷ Evidence (Prerequisites (ConwayPParams StrictMaybe c)) Source # | |||||||||
| Era era ⇒ HasSpec (ConwayPParams Identity era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ConwayPParams Identity era) Source # combineSpec ∷ TypeSpec (ConwayPParams Identity era) → TypeSpec (ConwayPParams Identity era) → Specification (ConwayPParams Identity era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayPParams Identity era) → GenT m (ConwayPParams Identity era) Source # conformsTo ∷ ConwayPParams Identity era → TypeSpec (ConwayPParams Identity era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ConwayPParams Identity era) → ConwayPParams Identity era → [ConwayPParams Identity era] Source # fixupWithTypeSpec ∷ TypeSpec (ConwayPParams Identity era) → ConwayPParams Identity era → Maybe (ConwayPParams Identity era) Source # toPreds ∷ Term (ConwayPParams Identity era) → TypeSpec (ConwayPParams Identity era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ConwayPParams Identity era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ConwayPParams Identity era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ConwayPParams Identity era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ConwayPParams Identity era) → [ConwayPParams Identity era] → Specification (ConwayPParams Identity era) Source # guardTypeSpec ∷ [String] → TypeSpec (ConwayPParams Identity era) → Specification (ConwayPParams Identity era) Source # prerequisites ∷ Evidence (Prerequisites (ConwayPParams Identity era)) Source # | |||||||||
| HasSpec (Tx 'TopTx ConwayEra) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (Tx 'TopTx ConwayEra) Source # combineSpec ∷ TypeSpec (Tx 'TopTx ConwayEra) → TypeSpec (Tx 'TopTx ConwayEra) → Specification (Tx 'TopTx ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Tx 'TopTx ConwayEra) → GenT m (Tx 'TopTx ConwayEra) Source # conformsTo ∷ Tx 'TopTx ConwayEra → TypeSpec (Tx 'TopTx ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (Tx 'TopTx ConwayEra) → Tx 'TopTx ConwayEra → [Tx 'TopTx ConwayEra] Source # fixupWithTypeSpec ∷ TypeSpec (Tx 'TopTx ConwayEra) → Tx 'TopTx ConwayEra → Maybe (Tx 'TopTx ConwayEra) Source # toPreds ∷ Term (Tx 'TopTx ConwayEra) → TypeSpec (Tx 'TopTx ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (Tx 'TopTx ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (Tx 'TopTx ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (Tx 'TopTx ConwayEra) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (Tx 'TopTx ConwayEra) → [Tx 'TopTx ConwayEra] → Specification (Tx 'TopTx ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (Tx 'TopTx ConwayEra) → Specification (Tx 'TopTx ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (Tx 'TopTx ConwayEra)) Source # | |||||||||
| HasSpec (TxBody 'TopTx ConwayEra) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (TxBody 'TopTx ConwayEra) Source # combineSpec ∷ TypeSpec (TxBody 'TopTx ConwayEra) → TypeSpec (TxBody 'TopTx ConwayEra) → Specification (TxBody 'TopTx ConwayEra) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (TxBody 'TopTx ConwayEra) → GenT m (TxBody 'TopTx ConwayEra) Source # conformsTo ∷ TxBody 'TopTx ConwayEra → TypeSpec (TxBody 'TopTx ConwayEra) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (TxBody 'TopTx ConwayEra) → TxBody 'TopTx ConwayEra → [TxBody 'TopTx ConwayEra] Source # fixupWithTypeSpec ∷ TypeSpec (TxBody 'TopTx ConwayEra) → TxBody 'TopTx ConwayEra → Maybe (TxBody 'TopTx ConwayEra) Source # toPreds ∷ Term (TxBody 'TopTx ConwayEra) → TypeSpec (TxBody 'TopTx ConwayEra) → Pred Source # cardinalTypeSpec ∷ TypeSpec (TxBody 'TopTx ConwayEra) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (TxBody 'TopTx ConwayEra) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (TxBody 'TopTx ConwayEra) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (TxBody 'TopTx ConwayEra) → [TxBody 'TopTx ConwayEra] → Specification (TxBody 'TopTx ConwayEra) Source # guardTypeSpec ∷ [String] → TypeSpec (TxBody 'TopTx ConwayEra) → Specification (TxBody 'TopTx ConwayEra) Source # prerequisites ∷ Evidence (Prerequisites (TxBody 'TopTx ConwayEra)) Source # | |||||||||
| (EraTxOut era, EraTx era, EraSpecPParams era, HasSpec (TxBody 'TopTx era), HasSpec (TxWits era), HasSpec (TxAuxData era), IsNormalType (TxAuxData era)) ⇒ HasSpec (ShelleyTx 'TopTx era) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (ShelleyTx 'TopTx era) Source # combineSpec ∷ TypeSpec (ShelleyTx 'TopTx era) → TypeSpec (ShelleyTx 'TopTx era) → Specification (ShelleyTx 'TopTx era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyTx 'TopTx era) → GenT m (ShelleyTx 'TopTx era) Source # conformsTo ∷ ShelleyTx 'TopTx era → TypeSpec (ShelleyTx 'TopTx era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (ShelleyTx 'TopTx era) → ShelleyTx 'TopTx era → [ShelleyTx 'TopTx era] Source # fixupWithTypeSpec ∷ TypeSpec (ShelleyTx 'TopTx era) → ShelleyTx 'TopTx era → Maybe (ShelleyTx 'TopTx era) Source # toPreds ∷ Term (ShelleyTx 'TopTx era) → TypeSpec (ShelleyTx 'TopTx era) → Pred Source # cardinalTypeSpec ∷ TypeSpec (ShelleyTx 'TopTx era) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (ShelleyTx 'TopTx era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (ShelleyTx 'TopTx era) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (ShelleyTx 'TopTx era) → [ShelleyTx 'TopTx era] → Specification (ShelleyTx 'TopTx era) Source # guardTypeSpec ∷ [String] → TypeSpec (ShelleyTx 'TopTx era) → Specification (ShelleyTx 'TopTx era) Source # prerequisites ∷ Evidence (Prerequisites (ShelleyTx 'TopTx era)) Source # | |||||||||
| (Typeable (TxAuxData era), Typeable (TxBody 'TopTx era), Typeable (TxWits era), Era era) ⇒ HasSimpleRep (AlonzoTx 'TopTx era) Source # | |||||||||
| HasSimpleRep (ConwayPParams StrictMaybe c) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ConwayPParams StrictMaybe c → SimpleRep (ConwayPParams StrictMaybe c) Source # fromSimpleRep ∷ SimpleRep (ConwayPParams StrictMaybe c) → ConwayPParams StrictMaybe c Source # | |||||||||
| HasSimpleRep (ConwayPParams Identity era) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ ConwayPParams Identity era → SimpleRep (ConwayPParams Identity era) Source # fromSimpleRep ∷ SimpleRep (ConwayPParams Identity era) → ConwayPParams Identity era Source # | |||||||||
| HasSimpleRep (Tx 'TopTx ConwayEra) Source # | |||||||||
| HasSimpleRep (TxBody 'TopTx ConwayEra) Source # | |||||||||
| (EraTx era, EraTxOut era, EraSpecPParams era) ⇒ HasSimpleRep (ShelleyTx 'TopTx era) Source # | |||||||||
| HasSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # combineSpec ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → GenT m (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # conformsTo ∷ DRepPulser ConwayEra Identity (RatifyState ConwayEra) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → DRepPulser ConwayEra Identity (RatifyState ConwayEra) → [DRepPulser ConwayEra Identity (RatifyState ConwayEra)] Source # fixupWithTypeSpec ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → DRepPulser ConwayEra Identity (RatifyState ConwayEra) → Maybe (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # toPreds ∷ Term (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Pred Source # cardinalTypeSpec ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → [DRepPulser ConwayEra Identity (RatifyState ConwayEra)] → Specification (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # guardTypeSpec ∷ [String] → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # prerequisites ∷ Evidence (Prerequisites (DRepPulser ConwayEra Identity (RatifyState ConwayEra))) Source # | |||||||||
| (IsNormalType a, Typeable tag, HasSpec a) ⇒ HasSpec (THKD tag StrictMaybe a) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (THKD tag StrictMaybe a) Source # combineSpec ∷ TypeSpec (THKD tag StrictMaybe a) → TypeSpec (THKD tag StrictMaybe a) → Specification (THKD tag StrictMaybe a) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (THKD tag StrictMaybe a) → GenT m (THKD tag StrictMaybe a) Source # conformsTo ∷ THKD tag StrictMaybe a → TypeSpec (THKD tag StrictMaybe a) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (THKD tag StrictMaybe a) → THKD tag StrictMaybe a → [THKD tag StrictMaybe a] Source # fixupWithTypeSpec ∷ TypeSpec (THKD tag StrictMaybe a) → THKD tag StrictMaybe a → Maybe (THKD tag StrictMaybe a) Source # toPreds ∷ Term (THKD tag StrictMaybe a) → TypeSpec (THKD tag StrictMaybe a) → Pred Source # cardinalTypeSpec ∷ TypeSpec (THKD tag StrictMaybe a) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (THKD tag StrictMaybe a) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (THKD tag StrictMaybe a) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (THKD tag StrictMaybe a) → [THKD tag StrictMaybe a] → Specification (THKD tag StrictMaybe a) Source # guardTypeSpec ∷ [String] → TypeSpec (THKD tag StrictMaybe a) → Specification (THKD tag StrictMaybe a) Source # prerequisites ∷ Evidence (Prerequisites (THKD tag StrictMaybe a)) Source # | |||||||||
| (IsNormalType a, Typeable tag, HasSpec a, GenericallyInstantiated (THKD tag Identity a)) ⇒ HasSpec (THKD tag Identity a) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (THKD tag Identity a) Source # combineSpec ∷ TypeSpec (THKD tag Identity a) → TypeSpec (THKD tag Identity a) → Specification (THKD tag Identity a) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (THKD tag Identity a) → GenT m (THKD tag Identity a) Source # conformsTo ∷ THKD tag Identity a → TypeSpec (THKD tag Identity a) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (THKD tag Identity a) → THKD tag Identity a → [THKD tag Identity a] Source # fixupWithTypeSpec ∷ TypeSpec (THKD tag Identity a) → THKD tag Identity a → Maybe (THKD tag Identity a) Source # toPreds ∷ Term (THKD tag Identity a) → TypeSpec (THKD tag Identity a) → Pred Source # cardinalTypeSpec ∷ TypeSpec (THKD tag Identity a) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (THKD tag Identity a) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (THKD tag Identity a) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (THKD tag Identity a) → [THKD tag Identity a] → Specification (THKD tag Identity a) Source # guardTypeSpec ∷ [String] → TypeSpec (THKD tag Identity a) → Specification (THKD tag Identity a) Source # prerequisites ∷ Evidence (Prerequisites (THKD tag Identity a)) Source # | |||||||||
| HasSimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # | |||||||||
Associated Types
| |||||||||
| Typeable a ⇒ HasSimpleRep (THKD tag StrictMaybe a) Source # | |||||||||
Associated Types
Methods toSimpleRep ∷ THKD tag StrictMaybe a → SimpleRep (THKD tag StrictMaybe a) Source # fromSimpleRep ∷ SimpleRep (THKD tag StrictMaybe a) → THKD tag StrictMaybe a Source # | |||||||||
| Typeable a ⇒ HasSimpleRep (THKD tag Identity a) Source # | |||||||||
| (Vector vk k, Vector vv v, Typeable vk, Typeable vv, Ord k, Eq (vv v), Eq (vk k), HasSpec k, HasSpec v, IsNormalType v, IsNormalType k) ⇒ HasSpec (VMap vk vv k v) Source # | |||||||||
Associated Types
Methods emptySpec ∷ TypeSpec (VMap vk vv k v) Source # combineSpec ∷ TypeSpec (VMap vk vv k v) → TypeSpec (VMap vk vv k v) → Specification (VMap vk vv k v) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (VMap vk vv k v) → GenT m (VMap vk vv k v) Source # conformsTo ∷ VMap vk vv k v → TypeSpec (VMap vk vv k v) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec (VMap vk vv k v) → VMap vk vv k v → [VMap vk vv k v] Source # fixupWithTypeSpec ∷ TypeSpec (VMap vk vv k v) → VMap vk vv k v → Maybe (VMap vk vv k v) Source # toPreds ∷ Term (VMap vk vv k v) → TypeSpec (VMap vk vv k v) → Pred Source # cardinalTypeSpec ∷ TypeSpec (VMap vk vv k v) → Specification Integer Source # cardinalTrueSpec ∷ Specification Integer Source # typeSpecHasError ∷ TypeSpec (VMap vk vv k v) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec (VMap vk vv k v) → BinaryShow Source # typeSpecOpt ∷ TypeSpec (VMap vk vv k v) → [VMap vk vv k v] → Specification (VMap vk vv k v) Source # guardTypeSpec ∷ [String] → TypeSpec (VMap vk vv k v) → Specification (VMap vk vv k v) Source # prerequisites ∷ Evidence (Prerequisites (VMap vk vv k v)) Source # | |||||||||
| (Typeable k, Typeable v, Vector vk k, Vector vv v) ⇒ HasSimpleRep (VMap vk vv k v) Source # | |||||||||
Associated Types
| |||||||||