Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Constrained.TypeRep

Synopsis

data Rep era t where
- RationalR ∷ Rep era Rational
- CoinR ∷ Rep era Coin
- EpochR ∷ Rep era EpochNo
- EpochIntervalR ∷ Rep era EpochInterval
- (:->) ∷ Rep era a → Rep era b → Rep era (a → b)
- MapR ∷ Ord a ⇒ Rep era a → Rep era b → Rep era (Map a b)
- SetR ∷ Ord a ⇒ Rep era a → Rep era (Set a)
- ListR ∷ Rep era a → Rep era [a]
- AddrR ∷ Era era ⇒ Rep era Addr
- CredR ∷ Era era ⇒ Rep era (Credential 'Staking)
- VCredR ∷ Era era ⇒ Rep era (Credential 'DRepRole)
- PoolHashR ∷ Era era ⇒ Rep era (KeyHash 'StakePool)
- WitHashR ∷ Era era ⇒ Rep era (KeyHash 'Witness)
- GenHashR ∷ Era era ⇒ Rep era (KeyHash 'Genesis)
- GenDelegHashR ∷ Era era ⇒ Rep era (KeyHash 'GenesisDelegate)
- VHashR ∷ Era era ⇒ Rep era (KeyHash 'DRepRole)
- CommColdCredR ∷ Era era ⇒ Rep era (Credential 'ColdCommitteeRole)
- CommHotCredR ∷ Era era ⇒ Rep era (Credential 'HotCommitteeRole)
- PoolParamsR ∷ Era era ⇒ Rep era PoolParams
- NewEpochStateR ∷ Era era ⇒ Rep era (NewEpochState era)
- IntR ∷ Rep era Int
- FloatR ∷ Rep era Float
- NaturalR ∷ Rep era Natural
- Word64R ∷ Rep era Word64
- TxInR ∷ Era era ⇒ Rep era TxIn
- TxIdR ∷ Era era ⇒ Rep era TxId
- CharR ∷ Rep era Char
- UnitR ∷ Rep era ()
- PairR ∷ Rep era a → Rep era b → Rep era (a, b)
- ProtVerR ∷ Era era ⇒ Proof era → Rep era ProtVer
- ValueR ∷ Era era ⇒ Proof era → Rep era (ValueF era)
- UTxOR ∷ Era era ⇒ Proof era → Rep era (UTxO era)
- TxOutR ∷ Era era ⇒ Proof era → Rep era (TxOutF era)
- PParamsR ∷ Era era ⇒ Proof era → Rep era (PParamsF era)
- FuturePParamsR ∷ Era era ⇒ Proof era → Rep era (FuturePParams era)
- PParamsUpdateR ∷ Era era ⇒ Proof era → Rep era (PParamsUpdateF era)
- DeltaCoinR ∷ Rep era DeltaCoin
- GenDelegPairR ∷ Era era ⇒ Rep era GenDelegPair
- FutureGenDelegR ∷ Era era ⇒ Rep era FutureGenDeleg
- PPUPStateR ∷ Era era ⇒ Proof era → Rep era (ShelleyGovState era)
- PtrR ∷ Rep era Ptr
- IPoolStakeR ∷ Era era ⇒ Rep era IndividualPoolStake
- SnapShotsR ∷ Era era ⇒ Rep era SnapShots
- RewardR ∷ Era era ⇒ Rep era Reward
- MaybeR ∷ Rep era t → Rep era (Maybe t)
- SlotNoR ∷ Rep era SlotNo
- SizeR ∷ Rep era Size
- MultiAssetR ∷ Era era ⇒ Rep era MultiAsset
- PolicyIDR ∷ Era era ⇒ Rep era PolicyID
- WitnessesFieldR ∷ Era era ⇒ Proof era → Rep era (WitnessesField era)
- AssetNameR ∷ Rep era AssetName
- TxCertR ∷ Era era ⇒ Proof era → Rep era (TxCertF era)
- RewardAccountR ∷ Era era ⇒ Rep era RewardAccount
- ValidityIntervalR ∷ Era era ⇒ Rep era ValidityInterval
- KeyPairR ∷ Era era ⇒ Rep era (KeyPair 'Witness)
- GenR ∷ Rep era x → Rep era (Gen x)
- ScriptR ∷ Era era ⇒ Proof era → Rep era (ScriptF era)
- ScriptHashR ∷ Era era ⇒ Rep era ScriptHash
- NetworkR ∷ Rep era Network
- RdmrPtrR ∷ Era era ⇒ Proof era → Rep era (PlutusPointerF era)
- DataR ∷ Era era ⇒ Rep era (Data era)
- DatumR ∷ Era era ⇒ Rep era (Datum era)
- ExUnitsR ∷ Rep era ExUnits
- DataHashR ∷ Era era ⇒ Rep era DataHash
- PCredR ∷ Era era ⇒ Rep era (Credential 'Payment)
- ShelleyTxCertR ∷ Era era ⇒ Rep era (ShelleyTxCert era)
- ConwayTxCertR ∷ Era era ⇒ Rep era (ConwayTxCert era)
- MIRPotR ∷ Rep era MIRPot
- IsValidR ∷ Rep era IsValid
- IntegerR ∷ Rep era Integer
- ScriptsNeededR ∷ Era era ⇒ Proof era → Rep era (ScriptsNeededF era)
- ScriptPurposeR ∷ Era era ⇒ Proof era → Rep era (PlutusPurposeF era)
- TxBodyR ∷ Era era ⇒ Proof era → Rep era (TxBodyF era)
- BootstrapWitnessR ∷ Era era ⇒ Rep era BootstrapWitness
- SigningKeyR ∷ Rep era SigningKey
- TxWitsR ∷ Era era ⇒ Proof era → Rep era (TxWitsF era)
- PayHashR ∷ Era era ⇒ Rep era (KeyHash 'Payment)
- TxR ∷ Era era ⇒ Proof era → Rep era (TxF era)
- ScriptIntegrityHashR ∷ Era era ⇒ Rep era (SafeHash EraIndependentScriptIntegrity)
- TxAuxDataHashR ∷ Era era ⇒ Rep era TxAuxDataHash
- GovActionR ∷ Era era ⇒ Rep era (GovAction era)
- WitVKeyR ∷ Era era ⇒ Proof era → Rep era (WitVKey 'Witness)
- TxAuxDataR ∷ Era era ⇒ Proof era → Rep era (TxAuxDataF era)
- LanguageR ∷ Rep era Language
- LedgerStateR ∷ Era era ⇒ Proof era → Rep era (LedgerState era)
- StakeHashR ∷ Era era ⇒ Rep era (KeyHash 'Staking)
- BoolR ∷ Rep era Bool
- DRepR ∷ Era era ⇒ Rep era DRep
- PoolMetadataR ∷ Era era ⇒ Proof era → Rep era PoolMetadata
- DRepStateR ∷ Era era ⇒ Rep era DRepState
- DStateR ∷ Era era ⇒ Rep era (DState era)
- GovActionIdR ∷ Era era ⇒ Rep era GovActionId
- GovActionIxR ∷ Rep era GovActionIx
- GovActionStateR ∷ Era era ⇒ Rep era (GovActionState era)
- ProposalsR ∷ Era era ⇒ Proof era → Rep era (Proposals era)
- UnitIntervalR ∷ Rep era UnitInterval
- CommitteeR ∷ Era era ⇒ Rep era (Committee era)
- ConstitutionR ∷ Era era ⇒ Rep era (Constitution era)
- PrevGovActionIdsR ∷ Era era ⇒ Rep era (GovRelation StrictMaybe era)
- PrevPParamUpdateR ∷ Era era ⇒ Rep era (GovPurposeId 'PParamUpdatePurpose era)
- PrevHardForkR ∷ Era era ⇒ Rep era (GovPurposeId 'HardForkPurpose era)
- PrevCommitteeR ∷ Era era ⇒ Rep era (GovPurposeId 'CommitteePurpose era)
- PrevConstitutionR ∷ Era era ⇒ Rep era (GovPurposeId 'ConstitutionPurpose era)
- RatifyStateR ∷ Reflect era ⇒ Rep era (RatifyState era)
- NumDormantEpochsR ∷ Era era ⇒ Rep era EpochNo
- DRepHashR ∷ Era era ⇒ Rep era (KeyHash 'DRepRole)
- AnchorR ∷ Era era ⇒ Rep era Anchor
- CommitteeStateR ∷ Era era ⇒ Rep era (CommitteeState era)
- CommitteeAuthorizationR ∷ Era era ⇒ Rep era CommitteeAuthorization
- VStateR ∷ Era era ⇒ Rep era (VState era)
- EnactStateR ∷ Reflect era ⇒ Rep era (EnactState era)
- DRepPulserR ∷ (RunConwayRatify era, Reflect era) ⇒ Rep era (DRepPulser era Identity (RatifyState era))
- DelegateeR ∷ Era era ⇒ Rep era Delegatee
- VoteR ∷ Rep era Vote
data (a ∷ k) :~: (b ∷ k) where
- Refl ∷ ∀ {k} (a ∷ k). a :~: a
class Singleton (t ∷ k → Type) where
- testEql ∷ ∀ (i ∷ k) (j ∷ k). t i → t j → Maybe (i :~: j)
- cmpIndex ∷ ∀ (a ∷ k) (b ∷ k). t a → t b → Ordering
type Eql (x ∷ k) (y ∷ k) = x :~: y
typeRepOf ∷ Rep era t → TypeRep
synopsis ∷ ∀ e t. Rep e t → t → String
genSizedRep ∷ ∀ era t. Int → Rep era t → Gen t
genRep ∷ ∀ era b. Rep era b → Gen b
shrinkRep ∷ Rep era t → t → [t]
data TxOutF era where
- TxOutF ∷ Proof era → TxOut era → TxOutF era
unTxOut ∷ TxOutF era → TxOut era
data ValueF era where
- ValueF ∷ Proof era → Value era → ValueF era
unValue ∷ ValueF era → Value era
data PParamsF era where
- PParamsF ∷ Proof era → PParams era → PParamsF era
unPParams ∷ PParamsF era → PParams era
data PParamsUpdateF era where
- PParamsUpdateF ∷ Proof era → PParamsUpdate era → PParamsUpdateF era
unPParamsUpdate ∷ PParamsUpdateF era → PParamsUpdate era
liftUTxO ∷ Map TxIn (TxOutF era) → UTxO era
data Proof era where
- Shelley ∷ Proof ShelleyEra
- Mary ∷ Proof MaryEra
- Allegra ∷ Proof AllegraEra
- Alonzo ∷ Proof AlonzoEra
- Babbage ∷ Proof BabbageEra
- Conway ∷ Proof ConwayEra
stringR ∷ Rep era String
hasOrd ∷ Rep era t → s t → Typed (HasConstraint Ord (s t))
hasEq ∷ Rep era t → s t → Typed (HasConstraint Eq (s t))
format ∷ Rep era t → t → String
genSigningKey ∷ Gen SigningKey

Documentation

data Rep era t where Source #

Constructors

RationalR ∷ Rep era Rational
CoinR ∷ Rep era Coin
EpochR ∷ Rep era EpochNo
EpochIntervalR ∷ Rep era EpochInterval
(:->) ∷ Rep era a → Rep era b → Rep era (a → b) infixr 0
MapR ∷ Ord a ⇒ Rep era a → Rep era b → Rep era (Map a b)
SetR ∷ Ord a ⇒ Rep era a → Rep era (Set a)
ListR ∷ Rep era a → Rep era [a]
AddrR ∷ Era era ⇒ Rep era Addr
CredR ∷ Era era ⇒ Rep era (Credential 'Staking)
VCredR ∷ Era era ⇒ Rep era (Credential 'DRepRole)
PoolHashR ∷ Era era ⇒ Rep era (KeyHash 'StakePool)
WitHashR ∷ Era era ⇒ Rep era (KeyHash 'Witness)
GenHashR ∷ Era era ⇒ Rep era (KeyHash 'Genesis)
GenDelegHashR ∷ Era era ⇒ Rep era (KeyHash 'GenesisDelegate)
VHashR ∷ Era era ⇒ Rep era (KeyHash 'DRepRole)
CommColdCredR ∷ Era era ⇒ Rep era (Credential 'ColdCommitteeRole)
CommHotCredR ∷ Era era ⇒ Rep era (Credential 'HotCommitteeRole)
PoolParamsR ∷ Era era ⇒ Rep era PoolParams
NewEpochStateR ∷ Era era ⇒ Rep era (NewEpochState era)
IntR ∷ Rep era Int
FloatR ∷ Rep era Float
NaturalR ∷ Rep era Natural
Word64R ∷ Rep era Word64
TxInR ∷ Era era ⇒ Rep era TxIn
TxIdR ∷ Era era ⇒ Rep era TxId
CharR ∷ Rep era Char
UnitR ∷ Rep era ()
PairR ∷ Rep era a → Rep era b → Rep era (a, b)
ProtVerR ∷ Era era ⇒ Proof era → Rep era ProtVer
ValueR ∷ Era era ⇒ Proof era → Rep era (ValueF era)
UTxOR ∷ Era era ⇒ Proof era → Rep era (UTxO era)
TxOutR ∷ Era era ⇒ Proof era → Rep era (TxOutF era)
PParamsR ∷ Era era ⇒ Proof era → Rep era (PParamsF era)
FuturePParamsR ∷ Era era ⇒ Proof era → Rep era (FuturePParams era)
PParamsUpdateR ∷ Era era ⇒ Proof era → Rep era (PParamsUpdateF era)
DeltaCoinR ∷ Rep era DeltaCoin
GenDelegPairR ∷ Era era ⇒ Rep era GenDelegPair
FutureGenDelegR ∷ Era era ⇒ Rep era FutureGenDeleg
PPUPStateR ∷ Era era ⇒ Proof era → Rep era (ShelleyGovState era)
PtrR ∷ Rep era Ptr
IPoolStakeR ∷ Era era ⇒ Rep era IndividualPoolStake
SnapShotsR ∷ Era era ⇒ Rep era SnapShots
RewardR ∷ Era era ⇒ Rep era Reward
MaybeR ∷ Rep era t → Rep era (Maybe t)
SlotNoR ∷ Rep era SlotNo
SizeR ∷ Rep era Size
MultiAssetR ∷ Era era ⇒ Rep era MultiAsset
PolicyIDR ∷ Era era ⇒ Rep era PolicyID
WitnessesFieldR ∷ Era era ⇒ Proof era → Rep era (WitnessesField era)
AssetNameR ∷ Rep era AssetName
TxCertR ∷ Era era ⇒ Proof era → Rep era (TxCertF era)
RewardAccountR ∷ Era era ⇒ Rep era RewardAccount
ValidityIntervalR ∷ Era era ⇒ Rep era ValidityInterval
KeyPairR ∷ Era era ⇒ Rep era (KeyPair 'Witness)
GenR ∷ Rep era x → Rep era (Gen x)
ScriptR ∷ Era era ⇒ Proof era → Rep era (ScriptF era)
ScriptHashR ∷ Era era ⇒ Rep era ScriptHash
NetworkR ∷ Rep era Network
RdmrPtrR ∷ Era era ⇒ Proof era → Rep era (PlutusPointerF era)
DataR ∷ Era era ⇒ Rep era (Data era)
DatumR ∷ Era era ⇒ Rep era (Datum era)
ExUnitsR ∷ Rep era ExUnits
DataHashR ∷ Era era ⇒ Rep era DataHash
PCredR ∷ Era era ⇒ Rep era (Credential 'Payment)
ShelleyTxCertR ∷ Era era ⇒ Rep era (ShelleyTxCert era)
ConwayTxCertR ∷ Era era ⇒ Rep era (ConwayTxCert era)
MIRPotR ∷ Rep era MIRPot
IsValidR ∷ Rep era IsValid
IntegerR ∷ Rep era Integer
ScriptsNeededR ∷ Era era ⇒ Proof era → Rep era (ScriptsNeededF era)
ScriptPurposeR ∷ Era era ⇒ Proof era → Rep era (PlutusPurposeF era)
TxBodyR ∷ Era era ⇒ Proof era → Rep era (TxBodyF era)
BootstrapWitnessR ∷ Era era ⇒ Rep era BootstrapWitness
SigningKeyR ∷ Rep era SigningKey
TxWitsR ∷ Era era ⇒ Proof era → Rep era (TxWitsF era)
PayHashR ∷ Era era ⇒ Rep era (KeyHash 'Payment)
TxR ∷ Era era ⇒ Proof era → Rep era (TxF era)
ScriptIntegrityHashR ∷ Era era ⇒ Rep era (SafeHash EraIndependentScriptIntegrity)
TxAuxDataHashR ∷ Era era ⇒ Rep era TxAuxDataHash
GovActionR ∷ Era era ⇒ Rep era (GovAction era)
WitVKeyR ∷ Era era ⇒ Proof era → Rep era (WitVKey 'Witness)
TxAuxDataR ∷ Era era ⇒ Proof era → Rep era (TxAuxDataF era)
LanguageR ∷ Rep era Language
LedgerStateR ∷ Era era ⇒ Proof era → Rep era (LedgerState era)
StakeHashR ∷ Era era ⇒ Rep era (KeyHash 'Staking)
BoolR ∷ Rep era Bool
DRepR ∷ Era era ⇒ Rep era DRep
PoolMetadataR ∷ Era era ⇒ Proof era → Rep era PoolMetadata
DRepStateR ∷ Era era ⇒ Rep era DRepState
DStateR ∷ Era era ⇒ Rep era (DState era)
GovActionIdR ∷ Era era ⇒ Rep era GovActionId
GovActionIxR ∷ Rep era GovActionIx
GovActionStateR ∷ Era era ⇒ Rep era (GovActionState era)
ProposalsR ∷ Era era ⇒ Proof era → Rep era (Proposals era)
UnitIntervalR ∷ Rep era UnitInterval
CommitteeR ∷ Era era ⇒ Rep era (Committee era)
ConstitutionR ∷ Era era ⇒ Rep era (Constitution era)
PrevGovActionIdsR ∷ Era era ⇒ Rep era (GovRelation StrictMaybe era)
PrevPParamUpdateR ∷ Era era ⇒ Rep era (GovPurposeId 'PParamUpdatePurpose era)
PrevHardForkR ∷ Era era ⇒ Rep era (GovPurposeId 'HardForkPurpose era)
PrevCommitteeR ∷ Era era ⇒ Rep era (GovPurposeId 'CommitteePurpose era)
PrevConstitutionR ∷ Era era ⇒ Rep era (GovPurposeId 'ConstitutionPurpose era)
RatifyStateR ∷ Reflect era ⇒ Rep era (RatifyState era)
NumDormantEpochsR ∷ Era era ⇒ Rep era EpochNo
DRepHashR ∷ Era era ⇒ Rep era (KeyHash 'DRepRole)
AnchorR ∷ Era era ⇒ Rep era Anchor
CommitteeStateR ∷ Era era ⇒ Rep era (CommitteeState era)
CommitteeAuthorizationR ∷ Era era ⇒ Rep era CommitteeAuthorization
VStateR ∷ Era era ⇒ Rep era (VState era)
EnactStateR ∷ Reflect era ⇒ Rep era (EnactState era)
DRepPulserR ∷ (RunConwayRatify era, Reflect era) ⇒ Rep era (DRepPulser era Identity (RatifyState era))
DelegateeR ∷ Era era ⇒ Rep era Delegatee
VoteR ∷ Rep era Vote

Instances

Instances details

Singleton (Rep era ∷ Type → Type) 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 showsPrec ∷ Int → Rep era t → ShowS Source # show ∷ Rep 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 hashWithSalt ∷ Int → Rep e t → Int Source # hash ∷ Rep 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 greadsPrec ∷ Int → GReadS ((:~:) a) Source #
GShow ((:~:) a ∷ k → Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec ∷ ∀ (a0 ∷ k0). Int → (a :~: a0) → ShowS Source #
NFData2 ((:~:) ∷ Type → Type → Type)	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 # toEnum ∷ Int → 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 Methods readsPrec ∷ Int → ReadS (a :~: b) Source # readList ∷ ReadS [a :~: b] Source # readPrec ∷ ReadPrec (a :~: b) Source # readListPrec ∷ ReadPrec [a :~: b] Source #
Show (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods showsPrec ∷ Int → (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 ∷ Type → Type) 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

typeRepOf ∷ Rep era t → TypeRep Source #

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

genSizedRep ∷ ∀ era t. Int → Rep era t → Gen t Source #

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

shrinkRep ∷ Rep era t → t → [t] Source #

data TxOutF era where Source #

Constructors

TxOutF ∷ Proof era → TxOut era → TxOutF era

Instances

Instances details

Show (TxOutF era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Classes Methods showsPrec ∷ Int → TxOutF era → ShowS Source # show ∷ TxOutF era → String Source # showList ∷ [TxOutF era] → ShowS Source #
PrettyA (TxOutF era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Classes Methods prettyA ∷ TxOutF 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 compare ∷ TxOutF 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 # max ∷ TxOutF era → TxOutF era → TxOutF era Source # min ∷ TxOutF era → TxOutF era → TxOutF era Source #
Reflect era ⇒ Sums (TxOutF era) Coin Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Classes Methods getSum ∷ TxOutF era → Coin Source # genT ∷ [String] → Coin → Gen (TxOutF era) Source #

unTxOut ∷ TxOutF era → TxOut era Source #

data ValueF era where Source #

Constructors

ValueF ∷ Proof era → Value era → ValueF era

Instances

Instances details

Show (ValueF era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Classes Methods showsPrec ∷ Int → ValueF era → ShowS Source # show ∷ ValueF era → String Source # showList ∷ [ValueF era] → ShowS Source #
PrettyA (ValueF era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Classes Methods prettyA ∷ ValueF 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 compare ∷ ValueF 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 # max ∷ ValueF era → ValueF era → ValueF era Source # min ∷ ValueF era → ValueF era → ValueF era Source #
Reflect era ⇒ Sums (ValueF era) Coin Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Classes Methods getSum ∷ ValueF era → Coin Source # genT ∷ [String] → Coin → Gen (ValueF era) Source #

unValue ∷ ValueF era → Value era Source #

data PParamsF era where Source #

Constructors

PParamsF ∷ Proof era → PParams era → PParamsF era

Instances

Instances details

Show (PParamsF era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Classes Methods showsPrec ∷ Int → PParamsF era → ShowS Source # show ∷ PParamsF era → String Source # showList ∷ [PParamsF era] → ShowS Source #
PrettyA (PParamsF era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Classes Methods prettyA ∷ PParamsF 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 #

unPParams ∷ PParamsF era → PParams era Source #

data PParamsUpdateF era where Source #

Constructors

PParamsUpdateF ∷ Proof era → PParamsUpdate era → PParamsUpdateF era

Instances

Instances details

Show (PParamsUpdateF era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Classes Methods showsPrec ∷ Int → PParamsUpdateF era → ShowS Source # show ∷ PParamsUpdateF era → String Source # showList ∷ [PParamsUpdateF era] → ShowS Source #

unPParamsUpdate ∷ PParamsUpdateF era → PParamsUpdate era Source #

liftUTxO ∷ Map TxIn (TxOutF era) → UTxO era Source #

data Proof era where Source #

Proof of a valid (predefined) era

Constructors

Shelley ∷ Proof ShelleyEra
Mary ∷ Proof MaryEra
Allegra ∷ Proof AllegraEra
Alonzo ∷ Proof AlonzoEra
Babbage ∷ Proof BabbageEra
Conway ∷ Proof ConwayEra

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 showsPrec ∷ Int → Proof e → ShowS Source # show ∷ Proof 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 hashWithSalt ∷ Int → Proof e → Int Source # hash ∷ Proof e → Int Source #
Show (Some Proof) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Proof Methods showsPrec ∷ Int → Some Proof → ShowS Source # show ∷ Some Proof → String Source # showList ∷ [Some Proof] → ShowS Source #

stringR ∷ Rep era String Source #

hasOrd ∷ Rep era t → s t → Typed (HasConstraint Ord (s t)) Source #

hasEq ∷ Rep era t → s t → Typed (HasConstraint Eq (s t)) Source #

format ∷ Rep era t → t → String Source #

genSigningKey ∷ Gen SigningKey Source #

Turn a random bytestring into a SigningKey