| 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
- class Singleton (t ∷ k → Type) where
- 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
- unTxOut ∷ TxOutF era → TxOut era
- data ValueF era where
- unValue ∷ ValueF era → Value era
- data PParamsF era where
- 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
- 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
Constructors
data (a ∷ k) :~: (b ∷ k) where #
Instances
| Category ((:~:) ∷ k → k → Type) | |
| TestEquality ((:~:) a ∷ k → Type) | |
Defined in Data.Type.Equality | |
| GNFData ((:~:) a ∷ k → Type) | Since: some-1.0.3 |
Defined in Data.GADT.DeepSeq | |
| GCompare ((:~:) a ∷ k → Type) | |
| GEq ((:~:) a ∷ k → Type) | |
| GRead ((:~:) a ∷ k → Type) | |
Defined in Data.GADT.Internal | |
| GShow ((:~:) a ∷ k → Type) | |
Defined in Data.GADT.Internal | |
| NFData2 ((:~:) ∷ Type → Type → Type) | |
Defined in Control.DeepSeq | |
| NFData1 ((:~:) a) | |
Defined in Control.DeepSeq | |
| a ~ b ⇒ Bounded (a :~: b) | |
| a ~ b ⇒ Enum (a :~: b) | |
| a ~ b ⇒ Read (a :~: b) | |
| Show (a :~: b) | |
| NFData (a :~: b) | |
Defined in Control.DeepSeq | |
| Eq (a :~: b) | |
| Ord (a :~: b) | |
Defined in Data.Type.Equality | |
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).
type Eql (x ∷ k) (y ∷ k) = x :~: y Source #
Type synonym, so we can use ( :~: ) without TypeOperators
data PParamsUpdateF era where Source #
Constructors
| PParamsUpdateF ∷ Proof era → PParamsUpdate era → PParamsUpdateF era |
Instances
| Show (PParamsUpdateF era) Source # | |
Defined in Test.Cardano.Ledger.Constrained.Classes Methods showsPrec ∷ Int → PParamsUpdateF era → ShowS # show ∷ PParamsUpdateF era → String # showList ∷ [PParamsUpdateF era] → ShowS # | |
unPParamsUpdate ∷ PParamsUpdateF era → PParamsUpdate era 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 |
genSigningKey ∷ Gen SigningKey Source #
Turn a random bytestring into a SigningKey