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

Test.Cardano.Ledger.Constrained.TypeRep

Synopsis

Documentation

data Rep era t where Source #

Constructors

RationalRRep era Rational 
CoinRRep era Coin 
EpochRRep era EpochNo 
EpochIntervalRRep era EpochInterval 
(:->)Rep era a → Rep era b → Rep era (a → b) infixr 0 
MapROrd a ⇒ Rep era a → Rep era b → Rep era (Map a b) 
SetROrd a ⇒ Rep era a → Rep era (Set a) 
ListRRep era a → Rep era [a] 
AddrREra era ⇒ Rep era (Addr (EraCrypto era)) 
CredREra era ⇒ Rep era (Credential 'Staking (EraCrypto era)) 
VCredREra era ⇒ Rep era (Credential 'DRepRole (EraCrypto era)) 
PoolHashREra era ⇒ Rep era (KeyHash 'StakePool (EraCrypto era)) 
WitHashREra era ⇒ Rep era (KeyHash 'Witness (EraCrypto era)) 
GenHashREra era ⇒ Rep era (KeyHash 'Genesis (EraCrypto era)) 
GenDelegHashREra era ⇒ Rep era (KeyHash 'GenesisDelegate (EraCrypto era)) 
VHashREra era ⇒ Rep era (KeyHash 'DRepRole (EraCrypto era)) 
CommColdCredREra era ⇒ Rep era (Credential 'ColdCommitteeRole (EraCrypto era)) 
CommHotCredREra era ⇒ Rep era (Credential 'HotCommitteeRole (EraCrypto era)) 
PoolParamsREra era ⇒ Rep era (PoolParams (EraCrypto era)) 
NewEpochStateREra era ⇒ Rep era (NewEpochState era) 
IntRRep era Int 
FloatRRep era Float 
NaturalRRep era Natural 
Word64RRep era Word64 
TxInREra era ⇒ Rep era (TxIn (EraCrypto era)) 
TxIdREra era ⇒ Rep era (TxId (EraCrypto era)) 
CharRRep era Char 
UnitRRep era () 
PairRRep era a → Rep era b → Rep era (a, b) 
ProtVerREra era ⇒ Proof era → Rep era ProtVer 
ValueREra era ⇒ Proof era → Rep era (ValueF era) 
UTxOREra era ⇒ Proof era → Rep era (UTxO era) 
TxOutREra era ⇒ Proof era → Rep era (TxOutF era) 
PParamsREra era ⇒ Proof era → Rep era (PParamsF era) 
FuturePParamsREra era ⇒ Proof era → Rep era (FuturePParams era) 
PParamsUpdateREra era ⇒ Proof era → Rep era (PParamsUpdateF era) 
DeltaCoinRRep era DeltaCoin 
GenDelegPairREra era ⇒ Rep era (GenDelegPair (EraCrypto era)) 
FutureGenDelegREra era ⇒ Rep era (FutureGenDeleg (EraCrypto era)) 
PPUPStateREra era ⇒ Proof era → Rep era (ShelleyGovState era) 
PtrRRep era Ptr 
IPoolStakeREra era ⇒ Rep era (IndividualPoolStake (EraCrypto era)) 
SnapShotsREra era ⇒ Rep era (SnapShots (EraCrypto era)) 
RewardREra era ⇒ Rep era (Reward (EraCrypto era)) 
MaybeRRep era t → Rep era (Maybe t) 
SlotNoRRep era SlotNo 
SizeRRep era Size 
MultiAssetREra era ⇒ Rep era (MultiAsset (EraCrypto era)) 
PolicyIDREra era ⇒ Rep era (PolicyID (EraCrypto era)) 
WitnessesFieldREra era ⇒ Proof era → Rep era (WitnessesField era) 
AssetNameRRep era AssetName 
TxCertREra era ⇒ Proof era → Rep era (TxCertF era) 
RewardAccountREra era ⇒ Rep era (RewardAccount (EraCrypto era)) 
ValidityIntervalREra era ⇒ Rep era ValidityInterval 
KeyPairREra era ⇒ Rep era (KeyPair 'Witness (EraCrypto era)) 
GenRRep era x → Rep era (Gen x) 
ScriptREra era ⇒ Proof era → Rep era (ScriptF era) 
ScriptHashREra era ⇒ Rep era (ScriptHash (EraCrypto era)) 
NetworkRRep era Network 
RdmrPtrREra era ⇒ Proof era → Rep era (PlutusPointerF era) 
DataREra era ⇒ Rep era (Data era) 
DatumREra era ⇒ Rep era (Datum era) 
ExUnitsRRep era ExUnits 
DataHashREra era ⇒ Rep era (DataHash (EraCrypto era)) 
PCredREra era ⇒ Rep era (Credential 'Payment (EraCrypto era)) 
ShelleyTxCertREra era ⇒ Rep era (ShelleyTxCert era) 
ConwayTxCertREra era ⇒ Rep era (ConwayTxCert era) 
MIRPotRRep era MIRPot 
IsValidRRep era IsValid 
IntegerRRep era Integer 
ScriptsNeededREra era ⇒ Proof era → Rep era (ScriptsNeededF era) 
ScriptPurposeREra era ⇒ Proof era → Rep era (PlutusPurposeF era) 
TxBodyREra era ⇒ Proof era → Rep era (TxBodyF era) 
BootstrapWitnessREra era ⇒ Rep era (BootstrapWitness (EraCrypto era)) 
SigningKeyRRep era SigningKey 
TxWitsREra era ⇒ Proof era → Rep era (TxWitsF era) 
PayHashREra era ⇒ Rep era (KeyHash 'Payment (EraCrypto era)) 
TxREra era ⇒ Proof era → Rep era (TxF era) 
ScriptIntegrityHashREra era ⇒ Rep era (SafeHash (EraCrypto era) EraIndependentScriptIntegrity) 
AuxiliaryDataHashREra era ⇒ Rep era (AuxiliaryDataHash (EraCrypto era)) 
GovActionREra era ⇒ Rep era (GovAction era) 
WitVKeyREra era ⇒ Proof era → Rep era (WitVKey 'Witness (EraCrypto era)) 
TxAuxDataREra era ⇒ Proof era → Rep era (TxAuxDataF era) 
LanguageRRep era Language 
LedgerStateREra era ⇒ Proof era → Rep era (LedgerState era) 
StakeHashREra era ⇒ Rep era (KeyHash 'Staking (EraCrypto era)) 
BoolRRep era Bool 
DRepREra era ⇒ Rep era (DRep (EraCrypto era)) 
PoolMetadataREra era ⇒ Proof era → Rep era PoolMetadata 
DRepStateREra era ⇒ Rep era (DRepState (EraCrypto era)) 
DStateREra era ⇒ Rep era (DState era) 
GovActionIdREra era ⇒ Rep era (GovActionId (EraCrypto era)) 
GovActionIxRRep era GovActionIx 
GovActionStateREra era ⇒ Rep era (GovActionState era) 
ProposalsREra era ⇒ Proof era → Rep era (Proposals era) 
UnitIntervalRRep era UnitInterval 
CommitteeREra era ⇒ Rep era (Committee era) 
ConstitutionREra era ⇒ Rep era (Constitution era) 
PrevGovActionIdsREra era ⇒ Rep era (GovRelation StrictMaybe era) 
PrevPParamUpdateREra era ⇒ Rep era (GovPurposeId 'PParamUpdatePurpose era) 
PrevHardForkREra era ⇒ Rep era (GovPurposeId 'HardForkPurpose era) 
PrevCommitteeREra era ⇒ Rep era (GovPurposeId 'CommitteePurpose era) 
PrevConstitutionREra era ⇒ Rep era (GovPurposeId 'ConstitutionPurpose era) 
RatifyStateRReflect era ⇒ Rep era (RatifyState era) 
NumDormantEpochsREra era ⇒ Rep era EpochNo 
DRepHashREra era ⇒ Rep era (KeyHash 'DRepRole (EraCrypto era)) 
AnchorREra era ⇒ Rep era (Anchor (EraCrypto era)) 
CommitteeStateREra era ⇒ Rep era (CommitteeState era) 
CommitteeAuthorizationREra era ⇒ Rep era (CommitteeAuthorization (EraCrypto era)) 
VStateREra era ⇒ Rep era (VState era) 
EnactStateRReflect era ⇒ Rep era (EnactState era) 
DRepPulserR ∷ (RunConwayRatify era, Reflect era) ⇒ Rep era (DRepPulser era Identity (RatifyState era)) 
DelegateeREra era ⇒ Rep era (Delegatee (EraCrypto era)) 
VoteRRep era Vote 

Instances

Instances details
Singleton (Rep era ∷ TypeType) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.TypeRep

Methods

testEql ∷ ∀ (i ∷ k) (j ∷ k). Rep era i → Rep era j → Maybe (i :~: j) Source #

cmpIndex ∷ ∀ (a ∷ k) (b ∷ k). Rep era a → Rep era b → Ordering Source #

Show (Rep era t) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.TypeRep

Methods

showsPrecIntRep era t → ShowS Source #

showRep era t → String Source #

showList ∷ [Rep era t] → ShowS Source #

Eq (Rep e t) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Env

Methods

(==)Rep e t → Rep e t → Bool Source #

(/=)Rep e t → Rep e t → Bool Source #

Hashable (Rep e t) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Env

Methods

hashWithSaltIntRep e t → Int Source #

hashRep e t → Int Source #

data (a ∷ k) :~: (b ∷ k) where infix 4 Source #

Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.

Since: base-4.7.0.0

Constructors

Refl ∷ ∀ {k} (a ∷ k). a :~: a 

Instances

Instances details
Category ((:~:) ∷ k → k → Type)

Since: base-4.7.0.0

Instance details

Defined in Control.Category

Methods

id ∷ ∀ (a ∷ k0). a :~: a Source #

(.) ∷ ∀ (b ∷ k0) (c ∷ k0) (a ∷ k0). (b :~: c) → (a :~: b) → a :~: c Source #

TestEquality ((:~:) a ∷ k → Type)

Since: base-4.7.0.0

Instance details

Defined in Data.Type.Equality

Methods

testEquality ∷ ∀ (a0 ∷ k0) (b ∷ k0). (a :~: a0) → (a :~: b) → Maybe (a0 :~: b) Source #

GNFData ((:~:) a ∷ k → Type)

Since: some-1.0.3

Instance details

Defined in Data.GADT.DeepSeq

Methods

grnf ∷ ∀ (a0 ∷ k0). (a :~: a0) → () Source #

GCompare ((:~:) a ∷ k → Type) 
Instance details

Defined in Data.GADT.Internal

Methods

gcompare ∷ ∀ (a0 ∷ k0) (b ∷ k0). (a :~: a0) → (a :~: b) → GOrdering a0 b Source #

GEq ((:~:) a ∷ k → Type) 
Instance details

Defined in Data.GADT.Internal

Methods

geq ∷ ∀ (a0 ∷ k0) (b ∷ k0). (a :~: a0) → (a :~: b) → Maybe (a0 :~: b) Source #

GRead ((:~:) a ∷ k → Type) 
Instance details

Defined in Data.GADT.Internal

Methods

greadsPrecIntGReadS ((:~:) a) Source #

GShow ((:~:) a ∷ k → Type) 
Instance details

Defined in Data.GADT.Internal

Methods

gshowsPrec ∷ ∀ (a0 ∷ k0). Int → (a :~: a0) → ShowS Source #

NFData2 ((:~:)TypeTypeType)

Since: deepseq-1.4.3.0

Instance details

Defined in Control.DeepSeq

Methods

liftRnf2 ∷ (a → ()) → (b → ()) → (a :~: b) → () Source #

NFData1 ((:~:) a)

Since: deepseq-1.4.3.0

Instance details

Defined in Control.DeepSeq

Methods

liftRnf ∷ (a0 → ()) → (a :~: a0) → () Source #

a ~ b ⇒ Bounded (a :~: b)

Since: base-4.7.0.0

Instance details

Defined in Data.Type.Equality

Methods

minBound ∷ a :~: b Source #

maxBound ∷ a :~: b Source #

a ~ b ⇒ Enum (a :~: b)

Since: base-4.7.0.0

Instance details

Defined in Data.Type.Equality

Methods

succ ∷ (a :~: b) → a :~: b Source #

pred ∷ (a :~: b) → a :~: b Source #

toEnumInt → a :~: b Source #

fromEnum ∷ (a :~: b) → Int Source #

enumFrom ∷ (a :~: b) → [a :~: b] Source #

enumFromThen ∷ (a :~: b) → (a :~: b) → [a :~: b] Source #

enumFromTo ∷ (a :~: b) → (a :~: b) → [a :~: b] Source #

enumFromThenTo ∷ (a :~: b) → (a :~: b) → (a :~: b) → [a :~: b] Source #

a ~ b ⇒ Read (a :~: b)

Since: base-4.7.0.0

Instance details

Defined in Data.Type.Equality

Show (a :~: b)

Since: base-4.7.0.0

Instance details

Defined in Data.Type.Equality

Methods

showsPrecInt → (a :~: b) → ShowS Source #

show ∷ (a :~: b) → String Source #

showList ∷ [a :~: b] → ShowS Source #

NFData (a :~: b)

Since: deepseq-1.4.3.0

Instance details

Defined in Control.DeepSeq

Methods

rnf ∷ (a :~: b) → () Source #

Eq (a :~: b)

Since: base-4.7.0.0

Instance details

Defined in Data.Type.Equality

Methods

(==) ∷ (a :~: b) → (a :~: b) → Bool Source #

(/=) ∷ (a :~: b) → (a :~: b) → Bool Source #

Ord (a :~: b)

Since: base-4.7.0.0

Instance details

Defined in Data.Type.Equality

Methods

compare ∷ (a :~: b) → (a :~: b) → Ordering Source #

(<) ∷ (a :~: b) → (a :~: b) → Bool Source #

(<=) ∷ (a :~: b) → (a :~: b) → Bool Source #

(>) ∷ (a :~: b) → (a :~: b) → Bool Source #

(>=) ∷ (a :~: b) → (a :~: b) → Bool Source #

max ∷ (a :~: b) → (a :~: b) → a :~: b Source #

min ∷ (a :~: b) → (a :~: b) → a :~: b Source #

class Singleton (t ∷ k → Type) where Source #

Given (Singleton T), a value of type (T i) has exactly 0 or 1 inhabitants, so we can compare the structure of the type to get proofs that the indexes (i and j) are the same type, using testEql, at runtime. cmpIndex, it is like compare except we can have two different indexes (a and b).

Methods

testEql ∷ ∀ (i ∷ k) (j ∷ k). t i → t j → Maybe (i :~: j) Source #

cmpIndex ∷ ∀ (a ∷ k) (b ∷ k). t a → t b → Ordering Source #

Instances

Instances details
Singleton R 
Instance details

Defined in Data.Universe

Methods

testEql ∷ ∀ (i ∷ k) (j ∷ k). R i → R j → Maybe (i :~: j) Source #

cmpIndex ∷ ∀ (a ∷ k) (b ∷ k). R a → R b → Ordering Source #

Singleton Proof Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

testEql ∷ ∀ (i ∷ k) (j ∷ k). Proof i → Proof j → Maybe (i :~: j) Source #

cmpIndex ∷ ∀ (a ∷ k) (b ∷ k). Proof a → Proof b → Ordering Source #

Singleton (Rep era ∷ TypeType) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.TypeRep

Methods

testEql ∷ ∀ (i ∷ k) (j ∷ k). Rep era i → Rep era j → Maybe (i :~: j) Source #

cmpIndex ∷ ∀ (a ∷ k) (b ∷ k). Rep era a → Rep era b → Ordering Source #

Singleton (TypeRep ∷ k → Type) 
Instance details

Defined in Data.Universe

Methods

testEql ∷ ∀ (i ∷ k0) (j ∷ k0). TypeRep i → TypeRep j → Maybe (i :~: j) Source #

cmpIndex ∷ ∀ (a ∷ k0) (b ∷ k0). TypeRep a → TypeRep b → Ordering Source #

type Eql (x ∷ k) (y ∷ k) = x :~: y Source #

Type synonym, so we can use ( :~: ) without TypeOperators

typeRepOfRep era t → TypeRep Source #

synopsis ∷ ∀ e t. Rep e t → t → String Source #

genSizedRep ∷ ∀ era t. IntRep era t → Gen t Source #

genRep ∷ ∀ era b. Rep era b → Gen b Source #

shrinkRepRep era t → t → [t] Source #

data TxOutF era where Source #

Constructors

TxOutFProof era → TxOut era → TxOutF era 

Instances

Instances details
Show (TxOutF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

showsPrecIntTxOutF era → ShowS Source #

showTxOutF era → String Source #

showList ∷ [TxOutF era] → ShowS Source #

PrettyA (TxOutF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

prettyATxOutF era → PDoc Source #

Eq (TxOutF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

(==)TxOutF era → TxOutF era → Bool Source #

(/=)TxOutF era → TxOutF era → Bool Source #

Ord (TxOutF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

compareTxOutF era → TxOutF era → Ordering Source #

(<)TxOutF era → TxOutF era → Bool Source #

(<=)TxOutF era → TxOutF era → Bool Source #

(>)TxOutF era → TxOutF era → Bool Source #

(>=)TxOutF era → TxOutF era → Bool Source #

maxTxOutF era → TxOutF era → TxOutF era Source #

minTxOutF era → TxOutF era → TxOutF era Source #

Reflect era ⇒ Sums (TxOutF era) Coin Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

getSumTxOutF era → Coin Source #

genT ∷ [String] → CoinGen (TxOutF era) Source #

unTxOutTxOutF era → TxOut era Source #

data ValueF era where Source #

Constructors

ValueFProof era → Value era → ValueF era 

Instances

Instances details
Show (ValueF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

showsPrecIntValueF era → ShowS Source #

showValueF era → String Source #

showList ∷ [ValueF era] → ShowS Source #

PrettyA (ValueF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

prettyAValueF era → PDoc Source #

Eq (ValueF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

(==)ValueF era → ValueF era → Bool Source #

(/=)ValueF era → ValueF era → Bool Source #

Ord (ValueF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

compareValueF era → ValueF era → Ordering Source #

(<)ValueF era → ValueF era → Bool Source #

(<=)ValueF era → ValueF era → Bool Source #

(>)ValueF era → ValueF era → Bool Source #

(>=)ValueF era → ValueF era → Bool Source #

maxValueF era → ValueF era → ValueF era Source #

minValueF era → ValueF era → ValueF era Source #

Reflect era ⇒ Sums (ValueF era) Coin Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

getSumValueF era → Coin Source #

genT ∷ [String] → CoinGen (ValueF era) Source #

unValueValueF era → Value era Source #

data PParamsF era where Source #

Constructors

PParamsFProof era → PParams era → PParamsF era 

Instances

Instances details
Show (PParamsF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

showsPrecIntPParamsF era → ShowS Source #

showPParamsF era → String Source #

showList ∷ [PParamsF era] → ShowS Source #

PrettyA (PParamsF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

prettyAPParamsF era → PDoc Source #

Eq (PParamsF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

Methods

(==)PParamsF era → PParamsF era → Bool Source #

(/=)PParamsF era → PParamsF era → Bool Source #

data PParamsUpdateF era where Source #

Constructors

PParamsUpdateFProof era → PParamsUpdate era → PParamsUpdateF era 

Instances

Instances details
Show (PParamsUpdateF era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Classes

liftUTxOMap (TxIn (EraCrypto era)) (TxOutF era) → UTxO era Source #

data Proof era where Source #

Proof of a valid (predefined) era

Instances

Instances details
Singleton Proof Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

testEql ∷ ∀ (i ∷ k) (j ∷ k). Proof i → Proof j → Maybe (i :~: j) Source #

cmpIndex ∷ ∀ (a ∷ k) (b ∷ k). Proof a → Proof b → Ordering Source #

Shaped Proof any Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

shape ∷ ∀ (i ∷ k). Proof i → Shape any Source #

Show (Proof e) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

Methods

showsPrecIntProof e → ShowS Source #

showProof e → String Source #

showList ∷ [Proof e] → ShowS Source #

Eq (Proof e) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Env

Methods

(==)Proof e → Proof e → Bool Source #

(/=)Proof e → Proof e → Bool Source #

Hashable (Proof e) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Env

Methods

hashWithSaltIntProof e → Int Source #

hashProof e → Int Source #

Show (Some Proof) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Proof

hasOrdRep era t → s t → Typed (HasConstraint Ord (s t)) Source #

hasEqRep era t → s t → Typed (HasConstraint Eq (s t)) Source #

formatRep era t → t → String Source #

genSigningKeyGen SigningKey Source #

Turn a random bytestring into a SigningKey