| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Preds.Certs
Synopsis
- sRegKey ∷ ∀ era. Typeable era ⇒ RootTarget era (ShelleyTxCert era) (StakeCredential → ShelleyTxCert era)
- sUnRegKey ∷ ∀ era. Typeable era ⇒ RootTarget era (ShelleyTxCert era) (StakeCredential → ShelleyTxCert era)
- sDelegStake ∷ ∀ era. Typeable era ⇒ RootTarget era (ShelleyTxCert era) (StakeCredential → KeyHash 'StakePool → ShelleyTxCert era)
- sRegPool ∷ Target era (PoolParams → ShelleyTxCert era)
- sRetirePool ∷ Target era (KeyHash 'StakePool → EpochNo → ShelleyTxCert era)
- sMirShift ∷ ∀ era. Era era ⇒ RootTarget era (ShelleyTxCert era) (Coin → MIRPot → Coin → ShelleyTxCert era)
- cRegKey ∷ Target era (StakeCredential → Maybe Coin → ConwayTxCert era)
- cUnRegKey ∷ Target era (StakeCredential → Maybe Coin → ConwayTxCert era)
- cDelegStake ∷ Target era (StakeCredential → KeyHash 'StakePool → ConwayTxCert era)
- cDelegVote ∷ Target era (StakeCredential → DRep → a → ConwayTxCert era)
- cDelegStakeVote ∷ Target era (StakeCredential → KeyHash 'StakePool → DRep → a → ConwayTxCert era)
- cRegDeleg ∷ ConwayEraTxCert era ⇒ Target era (StakeCredential → Delegatee → Coin → TxCert era)
- cDelegateeStake ∷ RootTarget era Delegatee (KeyHash 'StakePool → Delegatee)
- cDelegateeVote ∷ RootTarget era Delegatee (DRep → Delegatee)
- cDelegateeStakeVote ∷ RootTarget era Delegatee (KeyHash 'StakePool → DRep → Delegatee)
- cRegPool ∷ Target era (PoolParams → ConwayTxCert era)
- cRetirePool ∷ Target era (KeyHash 'StakePool → EpochNo → ConwayTxCert era)
- partBfromPartA ∷ Ord k ⇒ Proof era → Map k Coin → Map k DeltaCoin
- makeDRepPred ∷ ∀ era. Era era ⇒ Term era DRep → Term era (Credential 'DRepRole) → Pred era
- minusCoinDeltaCoin ∷ Coin → DeltaCoin → DeltaCoin
- availableForDistrC ∷ DeltaCoin → MIRPot → AccountState → InstantaneousRewards → DeltaCoin
- txCertMir ∷ ∀ era any. Era era ⇒ RootTarget era (ShelleyTxCert era) (MIRPot → Map (Credential 'Staking) DeltaCoin → any → ShelleyTxCert era)
- certsPreds ∷ ∀ era. Reflect era ⇒ UnivSize → Proof era → [Pred era]
- certsStage ∷ Reflect era ⇒ UnivSize → Proof era → Subst era → Gen (Subst era)
- demo ∷ ReplMode → Int → IO ()
- demoTest ∷ TestTree
- main ∷ Int → IO ()
- sMaybeL ∷ Lens' (StrictMaybe a) (Maybe a)
- maybeSL ∷ Lens' (Maybe a) (StrictMaybe a)
- poolMetaL ∷ Lens' PoolParams (StrictMaybe PoolMetadata)
- poolMetadata ∷ Era era ⇒ Proof era → Term era (Maybe PoolMetadata)
Documentation
sRegKey ∷ ∀ era. Typeable era ⇒ RootTarget era (ShelleyTxCert era) (StakeCredential → ShelleyTxCert era) Source #
sUnRegKey ∷ ∀ era. Typeable era ⇒ RootTarget era (ShelleyTxCert era) (StakeCredential → ShelleyTxCert era) Source #
sDelegStake ∷ ∀ era. Typeable era ⇒ RootTarget era (ShelleyTxCert era) (StakeCredential → KeyHash 'StakePool → ShelleyTxCert era) Source #
sRegPool ∷ Target era (PoolParams → ShelleyTxCert era) Source #
sRetirePool ∷ Target era (KeyHash 'StakePool → EpochNo → ShelleyTxCert era) Source #
sMirShift ∷ ∀ era. Era era ⇒ RootTarget era (ShelleyTxCert era) (Coin → MIRPot → Coin → ShelleyTxCert era) Source #
cRegKey ∷ Target era (StakeCredential → Maybe Coin → ConwayTxCert era) Source #
cUnRegKey ∷ Target era (StakeCredential → Maybe Coin → ConwayTxCert era) Source #
cDelegStake ∷ Target era (StakeCredential → KeyHash 'StakePool → ConwayTxCert era) Source #
cDelegVote ∷ Target era (StakeCredential → DRep → a → ConwayTxCert era) Source #
cDelegStakeVote ∷ Target era (StakeCredential → KeyHash 'StakePool → DRep → a → ConwayTxCert era) Source #
cRegDeleg ∷ ConwayEraTxCert era ⇒ Target era (StakeCredential → Delegatee → Coin → TxCert era) Source #
cDelegateeStake ∷ RootTarget era Delegatee (KeyHash 'StakePool → Delegatee) Source #
cDelegateeVote ∷ RootTarget era Delegatee (DRep → Delegatee) Source #
cDelegateeStakeVote ∷ RootTarget era Delegatee (KeyHash 'StakePool → DRep → Delegatee) Source #
cRegPool ∷ Target era (PoolParams → ConwayTxCert era) Source #
cRetirePool ∷ Target era (KeyHash 'StakePool → EpochNo → ConwayTxCert era) Source #
partBfromPartA ∷ Ord k ⇒ Proof era → Map k Coin → Map k DeltaCoin Source #
Transform some SubMap of instanReserves (or instanTreasury) into a partB map with invariants: (partB ! key) + (instanReserves ! key) >= (Coin 0) Note in Era before Alonzo, Negative transfers are not allowed.
makeDRepPred ∷ ∀ era. Era era ⇒ Term era DRep → Term era (Credential 'DRepRole) → Pred era Source #
A user defined Predicate that Binds drep to a random DRep
The parameter vote should be existentially bound
in the surrounding context (inside a Choose Target perhaps)
txCertMir ∷ ∀ era any. Era era ⇒ RootTarget era (ShelleyTxCert era) (MIRPot → Map (Credential 'Staking) DeltaCoin → any → ShelleyTxCert era) Source #
poolMetadata ∷ Era era ⇒ Proof era → Term era (Maybe PoolMetadata) Source #