Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Constrained.Vars

Synopsis

field ∷ Era era ⇒ Rep era s → Term era t → AnyF era s
getName ∷ Term era t → Name era
type NELens era t = Lens' (NewEpochState era) t
currentEpoch ∷ Era era ⇒ Term era EpochNo
prevBlocksMade ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) Natural)
currBlocksMade ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) Natural)
poolDistr ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era)))
mockPoolDistr ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) Rational)
poolDistrL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era)))
rewards ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin)
rewardsL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin)
delegations ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era)))
delegationsL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era)))
stakeDeposits ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin)
stakeDepositsL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin)
ptrs ∷ Era era ⇒ Term era (Map Ptr (Credential 'Staking (EraCrypto era)))
ptrsL ∷ NELens era (Map Ptr (Credential 'Staking (EraCrypto era)))
currentDRepState ∷ Era era ⇒ Term era (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))
drepsL ∷ NELens era (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))
drepDelegation ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era)))
drepDelegationL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era)))
futureGenDelegs ∷ Era era ⇒ Term era (Map (FutureGenDeleg (EraCrypto era)) (GenDelegPair (EraCrypto era)))
futureGenDelegsL ∷ NELens era (Map (FutureGenDeleg (EraCrypto era)) (GenDelegPair (EraCrypto era)))
genDelegs ∷ Era era ⇒ Term era (Map (KeyHash 'Genesis (EraCrypto era)) (GenDelegPair (EraCrypto era)))
genDelegsL ∷ NELens era (Map (KeyHash 'Genesis (EraCrypto era)) (GenDelegPair (EraCrypto era)))
instanReserves ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin)
instanReservesL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin)
instanReservesSum ∷ Era era ⇒ Term era Coin
instanTreasury ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin)
instanTreasuryL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin)
instanTreasurySum ∷ Era era ⇒ Term era Coin
deltaReserves ∷ Era era ⇒ Term era DeltaCoin
deltaReservesNEL ∷ NELens era DeltaCoin
deltaTreasury ∷ Era era ⇒ Term era DeltaCoin
deltaTreasuryNEL ∷ NELens era DeltaCoin
regPools ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
regPoolsL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
futureRegPools ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
futureRegPoolsL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
retiring ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) EpochNo)
retiringL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) EpochNo)
poolDeposits ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) Coin)
poolDepositsL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) Coin)
committeeState ∷ Era era ⇒ Term era (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era)))
committeeStateL ∷ NELens era (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era)))
numDormantEpochs ∷ Era era ⇒ Term era EpochNo
numDormantEpochsL ∷ NELens era EpochNo
utxo ∷ Era era ⇒ Proof era → Term era (Map (TxIn (EraCrypto era)) (TxOutF era))
utxoL ∷ Proof era → NELens era (Map (TxIn (EraCrypto era)) (TxOutF era))
unUtxoL ∷ Proof era → Lens' (UTxO era) (Map (TxIn (EraCrypto era)) (TxOutF era))
deposits ∷ Era era ⇒ Term era Coin
depositsL ∷ NELens era Coin
fees ∷ Era era ⇒ Term era Coin
feesL ∷ NELens era Coin
donation ∷ Era era ⇒ Term era Coin
donationL ∷ NELens era Coin
ppup ∷ Era era ⇒ Proof era → Term era (ShelleyGovState era)
ppupsL ∷ Proof era → NELens era (ShelleyGovState era)
pparamProposals ∷ Era era ⇒ Proof era → Term era (Map (KeyHash 'Genesis (EraCrypto era)) (PParamsUpdateF era))
futurePParamProposals ∷ Era era ⇒ Proof era → Term era (Map (KeyHash 'Genesis (EraCrypto era)) (PParamsUpdateF era))
currPParams ∷ Era era ⇒ Proof era → Term era (PParamsF era)
futurePParams ∷ Era era ⇒ Proof era → Term era (FuturePParams era)
prevPParams ∷ EraGov era ⇒ Proof era → Term era (PParamsF era)
ppupStateT ∷ ∀ era. (GovState era ~ ShelleyGovState era, EraGov era) ⇒ Proof era → RootTarget era (ShelleyGovState era) (ShelleyGovState era)
govL ∷ Lens' (GovState era) (GovState era)
govStateT ∷ ∀ era. Era era ⇒ Proof era → RootTarget era (GovState era) (GovState era)
individualPoolStakeL ∷ Lens' (IndividualPoolStake c) Rational
isPtrMapT ∷ Era era ⇒ Term era (Map Ptr Coin)
ptrMapL ∷ Lens' (NewEpochState era) (Map Ptr Coin)
isCredMapT ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin)
credMapL ∷ Lens' (NewEpochState era) (Map (Credential 'Staking (EraCrypto era)) Coin)
incrementalStake ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin)
incrementalStakeT ∷ Reflect era ⇒ Proof era → Target era (Map (Credential 'Staking (EraCrypto era)) Coin)
treasury ∷ Era era ⇒ Term era Coin
treasuryL ∷ NELens era Coin
reserves ∷ Era era ⇒ Term era Coin
reservesL ∷ NELens era Coin
mirAvailTreasury ∷ Era era ⇒ Term era Coin
mirAvailReserves ∷ Era era ⇒ Term era Coin
snapshots ∷ Era era ⇒ Term era (SnapShots (EraCrypto era))
snapshotsL ∷ NELens era (SnapShots (EraCrypto era))
ppFL ∷ Proof era → Lens' (PParams era) (PParamsF era)
pparamsVar ∷ EraGov era ⇒ Proof era → V era (PParamsF era)
pparams ∷ EraGov era ⇒ Proof era → Term era (PParamsF era)
nmLikelihoodsT ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) [Float])
nmRewardPotT ∷ Era era ⇒ Term era Coin
stakeL ∷ Lens' (Stake c) (Map (Credential 'Staking c) Coin)
vmapL ∷ Lens' (VMap VB VB k v) (Map k v)
markStakeL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin)
markStake ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin)
markDelegs ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era)))
markDelegsL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era)))
markPools ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
markPoolsL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
markSnapShotT ∷ ∀ era. Era era ⇒ RootTarget era (SnapShot (EraCrypto era)) (SnapShot (EraCrypto era))
setStake ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin)
setStakeL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin)
setDelegs ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era)))
setDelegsL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era)))
setPools ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
setPoolsL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
setSnapShotT ∷ ∀ era. Era era ⇒ RootTarget era (SnapShot (EraCrypto era)) (SnapShot (EraCrypto era))
goStake ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin)
goStakeL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin)
goDelegs ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era)))
goDelegsL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era)))
goPools ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
goPoolsL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
goSnapShotT ∷ ∀ era. Era era ⇒ RootTarget era (SnapShot (EraCrypto era)) (SnapShot (EraCrypto era))
markPoolDistr ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era)))
markPoolDistrL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era)))
snapShotFee ∷ Era era ⇒ Term era Coin
snapShotsT ∷ ∀ era. Era era ⇒ RootTarget era (SnapShots (EraCrypto era)) (SnapShots (EraCrypto era))
deltaT ∷ Era era ⇒ Term era (Maybe DeltaCoin)
deltaTL ∷ NELens era (Maybe DeltaCoin)
deltaR ∷ Era era ⇒ Term era (Maybe DeltaCoin)
deltaRL ∷ NELens era (Maybe DeltaCoin)
deltaF ∷ Era era ⇒ Term era (Maybe DeltaCoin)
deltaFL ∷ NELens era (Maybe DeltaCoin)
rewardSet ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era))))
rewardSetL ∷ NELens era (Maybe (Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era)))))
totalAda ∷ Era era ⇒ Term era Coin
utxoCoin ∷ Era era ⇒ Term era Coin
credsUniv ∷ Era era ⇒ Term era (Set (Credential 'Staking (EraCrypto era)))
spendCredsUniv ∷ Era era ⇒ Term era (Set (Credential 'Payment (EraCrypto era)))
voteUniv ∷ Era era ⇒ Term era (Set (Credential 'DRepRole (EraCrypto era)))
drepUniv ∷ Era era ⇒ Term era (Set (DRep (EraCrypto era)))
hotCommitteeCredsUniv ∷ Era era ⇒ Term era (Set (Credential 'HotCommitteeRole (EraCrypto era)))
coldCommitteeCredsUniv ∷ Era era ⇒ Term era (Set (Credential 'ColdCommitteeRole (EraCrypto era)))
payUniv ∷ Era era ⇒ Term era (Set (Credential 'Payment (EraCrypto era)))
spendscriptUniv ∷ Era era ⇒ Proof era → Term era (Map (ScriptHash (EraCrypto era)) (ScriptF era))
nonSpendScriptUniv ∷ Era era ⇒ Proof era → Term era (Map (ScriptHash (EraCrypto era)) (ScriptF era))
allScriptUniv ∷ Era era ⇒ Proof era → Term era (Map (ScriptHash (EraCrypto era)) (ScriptF era))
dataUniv ∷ Era era ⇒ Term era (Map (DataHash (EraCrypto era)) (Data era))
poolHashUniv ∷ Era era ⇒ Term era (Set (KeyHash 'StakePool (EraCrypto era)))
stakeHashUniv ∷ Era era ⇒ Term era (Set (KeyHash 'Staking (EraCrypto era)))
drepHashUniv ∷ Era era ⇒ Term era (Set (KeyHash 'DRepRole (EraCrypto era)))
genesisHashUniv ∷ Era era ⇒ Term era (Map (KeyHash 'Genesis (EraCrypto era)) (GenDelegPair (EraCrypto era)))
voteCredUniv ∷ Era era ⇒ Term era (Set (Credential 'ColdCommitteeRole (EraCrypto era)))
txinUniv ∷ Era era ⇒ Term era (Set (TxIn (EraCrypto era)))
govActionIdUniv ∷ Era era ⇒ Term era (Set (GovActionId (EraCrypto era)))
txoutUniv ∷ Era era ⇒ Proof era → Term era (Set (TxOutF era))
colTxoutUniv ∷ Era era ⇒ Proof era → Term era (Set (TxOutF era))
feeTxOut ∷ Reflect era ⇒ Term era (TxOutF era)
feeTxIn ∷ Era era ⇒ Term era (TxIn (EraCrypto era))
bigCoin ∷ Era era ⇒ Term era Coin
datumsUniv ∷ Era era ⇒ Term era [Datum era]
multiAssetUniv ∷ Era era ⇒ Term era [MultiAsset (EraCrypto era)]
keymapUniv ∷ Era era ⇒ Term era (Map (KeyHash 'Witness (EraCrypto era)) (KeyPair 'Witness (EraCrypto era)))
currentSlot ∷ Era era ⇒ Term era SlotNo
endSlotDelta ∷ Era era ⇒ Term era SlotNo
beginSlotDelta ∷ Era era ⇒ Term era SlotNo
network ∷ Era era ⇒ Term era Network
quorumConstant ∷ Word64
quorum ∷ Era era ⇒ Term era Int
addrUniv ∷ Era era ⇒ Term era (Set (Addr (EraCrypto era)))
ptrUniv ∷ Era era ⇒ Term era (Set Ptr)
plutusUniv ∷ Reflect era ⇒ Term era (Map (ScriptHash (EraCrypto era)) (IsValid, ScriptF era))
spendPlutusUniv ∷ Reflect era ⇒ Term era (Map (ScriptHash (EraCrypto era)) (IsValid, ScriptF era))
byronAddrUniv ∷ Era era ⇒ Term era (Map (KeyHash 'Payment (EraCrypto era)) (Addr (EraCrypto era), SigningKey))
newEpochStateConstr ∷ Proof era → EpochNo → Map (KeyHash 'StakePool (EraCrypto era)) Natural → Map (KeyHash 'StakePool (EraCrypto era)) Natural → EpochState era → Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era)) → NewEpochState era
newEpochStateT ∷ ∀ era. EraGov era ⇒ Proof era → RootTarget era (NewEpochState era) (NewEpochState era)
epochStateT ∷ ∀ era. EraGov era ⇒ Proof era → RootTarget era (EpochState era) (EpochState era)
accountStateT ∷ Era era ⇒ RootTarget era AccountState AccountState
ledgerStateT ∷ ∀ era. EraGov era ⇒ Proof era → RootTarget era (LedgerState era) (LedgerState era)
ledgerState ∷ Reflect era ⇒ Term era (LedgerState era)
utxoStateT ∷ ∀ era. EraGov era ⇒ Proof era → RootTarget era (UTxOState era) (UTxOState era)
unGovL ∷ Proof era → Lens' (GovState era) (GovState era)
justProtocolVersion ∷ ∀ era. Reflect era ⇒ Proof era → PParams era
certstateT ∷ ∀ era. Era era ⇒ RootTarget era (CertState era) (CertState era)
vstateT ∷ ∀ era. Era era ⇒ RootTarget era (VState era) (VState era)
committeeL ∷ Lens' (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era))) (CommitteeState era)
pstateT ∷ ∀ era. Era era ⇒ RootTarget era (PState era) (PState era)
dstateT ∷ ∀ era. Era era ⇒ RootTarget era (DState era) (DState era)
dstate ∷ Map (Credential 'Staking (EraCrypto era)) Coin → Map (Credential 'Staking (EraCrypto era)) Coin → Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era)) → Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era)) → Map Ptr (Credential 'Staking (EraCrypto era)) → Map (FutureGenDeleg (EraCrypto era)) (GenDelegPair (EraCrypto era)) → Map (KeyHash 'Genesis (EraCrypto era)) (GenDelegPair (EraCrypto era)) → InstantaneousRewards (EraCrypto era) → DState era
instantaneousRewardsT ∷ ∀ era. Era era ⇒ RootTarget era (InstantaneousRewards (EraCrypto era)) (InstantaneousRewards (EraCrypto era))
allvars ∷ String
printTarget ∷ RootTarget era root t → IO ()
protVer ∷ Era era ⇒ Proof era → Term era ProtVer
prevProtVer ∷ Era era ⇒ Proof era → Term era ProtVer
minFeeA ∷ Era era ⇒ Proof era → Term era Coin
minFeeB ∷ Era era ⇒ Proof era → Term era Coin
maxBBSize ∷ Era era ⇒ Proof era → Term era Natural
maxTxSize ∷ Era era ⇒ Proof era → Term era Natural
fromIntegralBounded ∷ ∀ a b. (HasCallStack, Integral a, Show a, Integral b, Bounded b, Show b) ⇒ String → a → b
word32NaturalL ∷ Lens' Word32 Natural
word16NaturalL ∷ Lens' Word16 Natural
maxBHSize ∷ Era era ⇒ Proof era → Term era Natural
poolDepAmt ∷ Era era ⇒ Proof era → Term era Coin
keyDepAmt ∷ Era era ⇒ Proof era → Term era Coin
proposalDeposit ∷ ConwayEraPParams era ⇒ Proof era → Term era Coin
maxTxExUnits ∷ AlonzoEraPParams era ⇒ Proof era → Term era ExUnits
collateralPercentage ∷ AlonzoEraPParams era ⇒ Proof era → Term era Natural
drepDeposit ∷ ConwayEraPParams era ⇒ Proof era → Term era Coin
drepActivity ∷ ConwayEraPParams era ⇒ Proof era → Term era EpochInterval
maxEpoch ∷ Era era ⇒ Proof era → Term era EpochInterval
txbodyterm ∷ Reflect era ⇒ Term era (TxBodyF era)
inputs ∷ Era era ⇒ Term era (Set (TxIn (EraCrypto era)))
collateral ∷ Era era ⇒ Term era (Set (TxIn (EraCrypto era)))
refInputs ∷ Era era ⇒ Term era (Set (TxIn (EraCrypto era)))
outputs ∷ Era era ⇒ Proof era → Term era [TxOutF era]
collateralReturn ∷ Era era ⇒ Proof era → Term era (TxOutF era)
totalCol ∷ Era era ⇒ Term era Coin
certs ∷ Reflect era ⇒ Term era [TxCertF era]
withdrawals ∷ ∀ era. Era era ⇒ Term era (Map (RewardAccount (EraCrypto era)) Coin)
txfee ∷ Era era ⇒ Term era Coin
ttl ∷ Era era ⇒ Term era SlotNo
validityInterval ∷ Era era ⇒ Term era ValidityInterval
mint ∷ Era era ⇒ Term era (Map (ScriptHash (EraCrypto era)) (Map AssetName Integer))
reqSignerHashes ∷ Era era ⇒ Term era (Set (KeyHash 'Witness (EraCrypto era)))
networkID ∷ Era era ⇒ Term era (Maybe Network)
adHash ∷ Era era ⇒ Term era (Maybe (AuxiliaryDataHash (EraCrypto era)))
wppHash ∷ Era era ⇒ Term era (Maybe (SafeHash (EraCrypto era) EraIndependentScriptIntegrity))
txDonation ∷ Era era ⇒ Term era Coin
liftMultiAsset ∷ Map (ScriptHash c) (Map AssetName Integer) → MultiAsset c
scriptsNeeded ∷ Reflect era ⇒ Term era (ScriptsNeededF era)
smNeededL ∷ ScriptsNeeded era ~ ShelleyScriptsNeeded era ⇒ Lens' (ScriptsNeededF era) (Set (ScriptHash (EraCrypto era)))
acNeededL ∷ ScriptsNeeded era ~ AlonzoScriptsNeeded era ⇒ Lens' (ScriptsNeededF era) [(PlutusPurposeF era, ScriptHash (EraCrypto era))]
extraCol ∷ Era era ⇒ Term era Coin
sumCol ∷ Era era ⇒ Term era Coin
colRetAddr ∷ Era era ⇒ Term era (Addr (EraCrypto era))
colRetCoin ∷ Era era ⇒ Term era Coin
owed ∷ Era era ⇒ Term era Coin
txbody ∷ Reflect era ⇒ Term era (TxBodyF era)
txwits ∷ Reflect era ⇒ Term era (TxWitsF era)
txauxdata ∷ Reflect era ⇒ Term era (Maybe (TxAuxDataF era))
txisvalid ∷ Era era ⇒ Term era IsValid
valids ∷ Era era ⇒ Term era [IsValid]
txterm ∷ Reflect era ⇒ Term era (TxF era)
getRwdCredL ∷ Lens' (RewardAccount c) (Credential 'Staking c)
txOutFL ∷ Lens' (TxOutF era) (TxOut era)
valueFL ∷ Reflect era ⇒ Lens' (Value era) (ValueF era)
lensVC ∷ Val t ⇒ Lens' t Coin
valueFCoinL ∷ (HasCallStack, Reflect era) ⇒ Lens' (ValueF era) Coin
outputCoinL ∷ (HasCallStack, Reflect era) ⇒ Lens' (TxOutF era) Coin
valCoinF ∷ (HasCallStack, Reflect era) ⇒ Field era (ValueF era) Coin
valCoin ∷ (HasCallStack, Reflect era) ⇒ Term era Coin
maryValueMultiAssetL ∷ Lens' (MaryValue c) (MultiAsset c)
valueFMultiAssetL ∷ Lens' (ValueF era) (MultiAsset (EraCrypto era))
valueFMultiAssetF ∷ Reflect era ⇒ Field era (ValueF era) (MultiAsset (EraCrypto era))
valueFMultiAsset ∷ Reflect era ⇒ Term era (MultiAsset (EraCrypto era))
txoutAddressF ∷ Reflect era ⇒ Field era (TxOutF era) (Addr (EraCrypto era))
txoutAddress ∷ Reflect era ⇒ Term era (Addr (EraCrypto era))
txoutCoinF ∷ (HasCallStack, Reflect era) ⇒ Field era (TxOutF era) Coin
txoutCoin ∷ (HasCallStack, Reflect era) ⇒ Term era Coin
txoutAmountF ∷ Reflect era ⇒ Field era (TxOutF era) (ValueF era)
txoutAmount ∷ Reflect era ⇒ Term era (ValueF era)
scriptWits ∷ Reflect era ⇒ Term era (Map (ScriptHash (EraCrypto era)) (ScriptF era))
redeemers ∷ Reflect era ⇒ Term era (Map (PlutusPointerF era) (Data era, ExUnits))
bootWits ∷ ∀ era. Reflect era ⇒ Term era (Set (BootstrapWitness (EraCrypto era)))
dataWits ∷ Reflect era ⇒ Term era (Map (DataHash (EraCrypto era)) (Data era))
keyWits ∷ Reflect era ⇒ Term era (Set (WitVKey 'Witness (EraCrypto era)))
witsTarget ∷ Reflect era ⇒ Term era (Set (BootstrapWitness (EraCrypto era))) → Term era (Set (WitVKey 'Witness (EraCrypto era))) → Target era (TxWits era)
txTarget ∷ Reflect era ⇒ Term era (TxBodyF era) → Term era (Set (BootstrapWitness (EraCrypto era))) → Term era (Set (WitVKey 'Witness (EraCrypto era))) → Target era (TxF era)
txbodyTarget ∷ Reflect era ⇒ Term era Coin → Term era (Maybe (ScriptIntegrityHash (EraCrypto era))) → Term era Coin → Target era (TxBodyF era)
allowMIRTransfer ∷ Proof era → Term era Bool
constitution ∷ Era era ⇒ Term era (Constitution era)
enactTreasury ∷ Era era ⇒ Term era Coin
enactWithdrawals ∷ ∀ era. Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin)
currentGovActionStates ∷ Era era ⇒ Term era (Map (GovActionId (EraCrypto era)) (GovActionState era))
currentProposalOrder ∷ Era era ⇒ Term era [GovActionId (EraCrypto era)]
prevGovActionStates ∷ Era era ⇒ Term era (Map (GovActionId (EraCrypto era)) (GovActionState era))
prevProposalOrder ∷ Era era ⇒ Term era [GovActionId (EraCrypto era)]
previousCommitteeState ∷ Era era ⇒ Term era (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (Maybe (Credential 'HotCommitteeRole (EraCrypto era))))
commMembers ∷ Era era ⇒ Term era (Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo)
commQuorum ∷ Era era ⇒ Term era UnitInterval
committeeVar ∷ Era era ⇒ Term era (Maybe (Committee era))
type UtxoPulse era = (Map (TxIn (EraCrypto era)) (TxOutF era), DRepPulser era Identity (RatifyState era))
utxoPulse ∷ (RunConwayRatify era, Reflect era) ⇒ Proof era → Term era (UtxoPulse era)
pulsingPairT ∷ ∀ era. (RunConwayRatify era, Reflect era) ⇒ Proof era → RootTarget era (UtxoPulse era) (UtxoPulse era)
justPulser ∷ ∀ era. (Reflect era, RunConwayRatify era) ⇒ Proof era → RootTarget era (DRepPulser era Identity (RatifyState era)) (DRepPulser era Identity (RatifyState era))
drepPulser ∷ (RunConwayRatify era, Reflect era) ⇒ Term era (DRepPulser era Identity (RatifyState era))
prevPulsingPreds ∷ (RunConwayRatify era, Reflect era) ⇒ Proof era → [Pred era]
pulsingPulsingStateT ∷ ∀ era. (RunConwayRatify era, Reflect era) ⇒ RootTarget era (DRepPulsingState era) (DRepPulsingState era)
pulsingStatePulserL ∷ Lens' (DRepPulsingState era) (DRepPulser era Identity (RatifyState era))
initPulser ∷ ∀ era. (Reflect era, RunConwayRatify era) ⇒ Proof era → Map (TxIn (EraCrypto era)) (TxOutF era) → Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era)) → Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era)) → Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)) → EpochNo → Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era)) → EnactState era → [GovActionState era] → DRepPulser era Identity (RatifyState era)
proposalsT ∷ ∀ era. Era era ⇒ Proof era → RootTarget era (Proposals era) (Proposals era)
pulsingSnapshotT ∷ ∀ era. Era era ⇒ RootTarget era (PulsingSnapshot era) (PulsingSnapshot era)
pulsingSnapshotL ∷ Lens' (DRepPulsingState era) (PulsingSnapshot era)
completePulsingStateT ∷ ∀ era. Reflect era ⇒ Proof era → RootTarget era (DRepPulsingState era) (DRepPulsingState era)
ratifyState ∷ Reflect era ⇒ Term era (RatifyState era)
ratifyStateL ∷ Lens' (DRepPulsingState era) (RatifyState era)
prevProposals ∷ Era era ⇒ Proof era → Term era (Proposals era)
ratifyGovActionStatesL ∷ Lens' (DRepPulser era Identity (RatifyState era)) [GovActionState era]
partialDRepDistr ∷ Era era ⇒ Term era (Map (DRep (EraCrypto era)) Coin)
partialDRepDistrL ∷ Lens' (DRepPulser era Identity (RatifyState era)) (Map (DRep (EraCrypto era)) Coin)
prevDRepState ∷ Era era ⇒ Term era (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))
prevDRepStateL ∷ Lens' (DRepPulser era Identity (RatifyState era)) (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))
prevPoolDistr ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era)))
prevPoolDistrL ∷ Lens' (DRepPulser era Identity (RatifyState era)) (Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era)))
prevDRepDelegations ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era)))
prevDRepDelegationsL ∷ Lens' (DRepPulser era Identity (RatifyState era)) (Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era)))
prevCommitteeState ∷ Era era ⇒ Term era (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era)))
prevCommitteeStateL ∷ Lens' (DRepPulser era Identity (RatifyState era)) (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era)))
prevEnactState ∷ Reflect era ⇒ Term era (EnactState era)
prevEnactStateL ∷ Lens' (DRepPulser era Identity (RatifyState era)) (EnactState era)
prevEpoch ∷ Era era ⇒ Term era EpochNo
prevEpochL ∷ Lens' (DRepPulser era Identity (RatifyState era)) EpochNo
prevTreasury ∷ Era era ⇒ Term era Coin
conwayGovStateT ∷ ∀ era. (RunConwayRatify era, Reflect era) ⇒ Proof era → RootTarget era (ConwayGovState era) (ConwayGovState era)
proposalDeposits ∷ Era era ⇒ Term era Coin
drepDepositsView ∷ Era era ⇒ Term era (Map (Credential 'DRepRole (EraCrypto era)) Coin)
currProposals ∷ Era era ⇒ Proof era → Term era (Proposals era)
prevGovActionIds ∷ ∀ era. Reflect era ⇒ Term era (GovRelation StrictMaybe era)
currGovStates ∷ Era era ⇒ Term era [GovActionState era]
enactStateT ∷ ∀ era. Reflect era ⇒ RootTarget era (EnactState era) (EnactState era)
committeeT ∷ ∀ era. Era era ⇒ RootTarget era (Committee era) (Committee era)
ppUpdateChildren ∷ Era era ⇒ Term era (Set (GovActionId (EraCrypto era)))
hardForkChildren ∷ Era era ⇒ Term era (Set (GovActionId (EraCrypto era)))
committeeChildren ∷ Era era ⇒ Term era (Set (GovActionId (EraCrypto era)))
constitutionChildren ∷ Era era ⇒ Term era (Set (GovActionId (EraCrypto era)))
pparamsFL ∷ Proof era → Lens' (PParams era) (PParamsF era)
pparamsMaybeFL ∷ Proof era → Lens' (Maybe (PParams era)) (Maybe (PParamsF era))
smCommL ∷ Lens' (StrictMaybe (Committee era)) (Committee era)
proposedMapL ∷ Proof era → Lens' (ProposedPPUpdates era) (Map (KeyHash 'Genesis (EraCrypto era)) (PParamsUpdateF era))
pair1 ∷ Era era ⇒ Rep era a → Term era a
pair2 ∷ Era era ⇒ Rep era b → Term era b
pairT ∷ ∀ era a b. (Typeable a, Typeable b, Era era) ⇒ Rep era a → Rep era b → RootTarget era (a, b) (a, b)
idV ∷ Era era ⇒ Term era (GovActionId (EraCrypto era))
committeeVotesV ∷ Era era ⇒ Term era (Map (Credential 'HotCommitteeRole (EraCrypto era)) Vote)
drepVotesV ∷ Era era ⇒ Term era (Map (Credential 'DRepRole (EraCrypto era)) Vote)
stakePoolVotesV ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) Vote)
depositV ∷ Era era ⇒ Term era Coin
returnAddrV ∷ Era era ⇒ Term era (RewardAccount (EraCrypto era))
actionV ∷ Era era ⇒ Term era (GovAction era)
proposedInV ∷ Era era ⇒ Term era EpochNo
expiresAfterV ∷ Era era ⇒ Term era EpochNo
childrenV ∷ Era era ⇒ Term era (Set (GovActionId (EraCrypto era)))
anchorV ∷ Era era ⇒ Term era (Anchor (EraCrypto era))
govActionStateTarget ∷ ∀ era. Era era ⇒ RootTarget era (GovActionState era) (GovActionState era)
liftId ∷ Maybe (GovActionId (EraCrypto era)) → StrictMaybe (GovPurposeId p era)
dropId ∷ StrictMaybe (GovPurposeId p era) → Maybe (GovActionId (EraCrypto era))
gaPrevId ∷ Era era ⇒ Term era (Maybe (GovActionId (EraCrypto era)))
gaPParamsUpdate ∷ Reflect era ⇒ Term era (PParamsUpdateF era)
gaProtVer ∷ Reflect era ⇒ Term era ProtVer
gaRewardAccount ∷ Era era ⇒ Term era (Map (RewardAccount (EraCrypto era)) Coin)
gaRemMember ∷ Era era ⇒ Term era (Set (Credential 'ColdCommitteeRole (EraCrypto era)))
gaAddMember ∷ Era era ⇒ Term era (Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo)
gaThreshold ∷ Era era ⇒ Term era UnitInterval
gaPolicy ∷ Era era ⇒ Term era (Maybe (ScriptHash (EraCrypto era)))
gaConstitutionAnchor ∷ Era era ⇒ Term era (Anchor (EraCrypto era))
gaNewConstitution ∷ Era era ⇒ Term era (Constitution era)
constitutionT ∷ ∀ era. Reflect era ⇒ RootTarget era (Constitution era) (Constitution era)
parameterChangeT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era)
hardForkInitiationT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era)
treasuryWithdrawalsT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era)
noConfidenceT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era)
updateCommitteeT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era)
newConstitutionT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era)
infoActionT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era)

Documentation

field ∷ Era era ⇒ Rep era s → Term era t → AnyF era s Source #

Used in Component constraints to turn a Var Term into a component (AnyF era s) E.g. (Component foo [ field fooRep fooPart1, field fooRep fooPart2]) Where fooPart1 :: Term era a, and fooPart2 :: Term era b And fooPart1 has an (Access foo a) And fooPart2 has an (Access foo b)

getName ∷ Term era t → Name era Source #

type NELens era t = Lens' (NewEpochState era) t Source #

currentEpoch ∷ Era era ⇒ Term era EpochNo Source #

prevBlocksMade ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) Natural) Source #

currBlocksMade ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) Natural) Source #

poolDistr ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era))) Source #

mockPoolDistr ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) Rational) Source #

For tests only, Like PoolDistr but has a Rational (rather than a IndividualPoolStake).

poolDistrL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era))) Source #

rewards ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

rewardsL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

delegations ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era))) Source #

delegationsL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era))) Source #

stakeDeposits ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

stakeDepositsL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

ptrs ∷ Era era ⇒ Term era (Map Ptr (Credential 'Staking (EraCrypto era))) Source #

ptrsL ∷ NELens era (Map Ptr (Credential 'Staking (EraCrypto era))) Source #

currentDRepState ∷ Era era ⇒ Term era (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era))) Source #

drepsL ∷ NELens era (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era))) Source #

drepDelegation ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era))) Source #

drepDelegationL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era))) Source #

futureGenDelegs ∷ Era era ⇒ Term era (Map (FutureGenDeleg (EraCrypto era)) (GenDelegPair (EraCrypto era))) Source #

futureGenDelegsL ∷ NELens era (Map (FutureGenDeleg (EraCrypto era)) (GenDelegPair (EraCrypto era))) Source #

genDelegs ∷ Era era ⇒ Term era (Map (KeyHash 'Genesis (EraCrypto era)) (GenDelegPair (EraCrypto era))) Source #

genDelegsL ∷ NELens era (Map (KeyHash 'Genesis (EraCrypto era)) (GenDelegPair (EraCrypto era))) Source #

instanReserves ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

instanReservesL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

instanReservesSum ∷ Era era ⇒ Term era Coin Source #

instanTreasury ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

instanTreasuryL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

instanTreasurySum ∷ Era era ⇒ Term era Coin Source #

deltaReserves ∷ Era era ⇒ Term era DeltaCoin Source #

deltaReservesNEL ∷ NELens era DeltaCoin Source #

deltaTreasury ∷ Era era ⇒ Term era DeltaCoin Source #

deltaTreasuryNEL ∷ NELens era DeltaCoin Source #

regPools ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))) Source #

regPoolsL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))) Source #

futureRegPools ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))) Source #

futureRegPoolsL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))) Source #

retiring ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) EpochNo) Source #

retiringL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) EpochNo) Source #

poolDeposits ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) Coin) Source #

poolDepositsL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) Coin) Source #

committeeState ∷ Era era ⇒ Term era (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era))) Source #

committeeStateL ∷ NELens era (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era))) Source #

numDormantEpochs ∷ Era era ⇒ Term era EpochNo Source #

numDormantEpochsL ∷ NELens era EpochNo Source #

utxo ∷ Era era ⇒ Proof era → Term era (Map (TxIn (EraCrypto era)) (TxOutF era)) Source #

utxoL ∷ Proof era → NELens era (Map (TxIn (EraCrypto era)) (TxOutF era)) Source #

unUtxoL ∷ Proof era → Lens' (UTxO era) (Map (TxIn (EraCrypto era)) (TxOutF era)) Source #

deposits ∷ Era era ⇒ Term era Coin Source #

depositsL ∷ NELens era Coin Source #

fees ∷ Era era ⇒ Term era Coin Source #

feesL ∷ NELens era Coin Source #

donation ∷ Era era ⇒ Term era Coin Source #

donationL ∷ NELens era Coin Source #

ppup ∷ Era era ⇒ Proof era → Term era (ShelleyGovState era) Source #

ppupsL ∷ Proof era → NELens era (ShelleyGovState era) Source #

pparamProposals ∷ Era era ⇒ Proof era → Term era (Map (KeyHash 'Genesis (EraCrypto era)) (PParamsUpdateF era)) Source #

futurePParamProposals ∷ Era era ⇒ Proof era → Term era (Map (KeyHash 'Genesis (EraCrypto era)) (PParamsUpdateF era)) Source #

currPParams ∷ Era era ⇒ Proof era → Term era (PParamsF era) Source #

futurePParams ∷ Era era ⇒ Proof era → Term era (FuturePParams era) Source #

prevPParams ∷ EraGov era ⇒ Proof era → Term era (PParamsF era) Source #

ppupStateT ∷ ∀ era. (GovState era ~ ShelleyGovState era, EraGov era) ⇒ Proof era → RootTarget era (ShelleyGovState era) (ShelleyGovState era) Source #

govL ∷ Lens' (GovState era) (GovState era) Source #

govStateT ∷ ∀ era. Era era ⇒ Proof era → RootTarget era (GovState era) (GovState era) Source #

individualPoolStakeL ∷ Lens' (IndividualPoolStake c) Rational Source #

isPtrMapT ∷ Era era ⇒ Term era (Map Ptr Coin) Source #

ptrMapL ∷ Lens' (NewEpochState era) (Map Ptr Coin) Source #

isCredMapT ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

credMapL ∷ Lens' (NewEpochState era) (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

incrementalStake ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

This variable is computed from the UTxO and the PParams, It represents the incremental stake that is computed by smartUTxO in the UTxOState Target UTxOStateT The domain of this map is the complete set of credentials used to delegate Coin in the TxOuts in the UTxO.

incrementalStakeT ∷ Reflect era ⇒ Proof era → Target era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

treasury ∷ Era era ⇒ Term era Coin Source #

treasuryL ∷ NELens era Coin Source #

reserves ∷ Era era ⇒ Term era Coin Source #

reservesL ∷ NELens era Coin Source #

mirAvailTreasury ∷ Era era ⇒ Term era Coin Source #

The Coin availabe for a MIR transfer to/from the Treasury Computed from treasury + deltaTreasury - sum(instanTreasury)

mirAvailReserves ∷ Era era ⇒ Term era Coin Source #

The Coin availabe for a MIR transfer to/from the Reserves Computed from reserves + deltaReserves - sum(instanReserves)

snapshots ∷ Era era ⇒ Term era (SnapShots (EraCrypto era)) Source #

snapshotsL ∷ NELens era (SnapShots (EraCrypto era)) Source #

ppFL ∷ Proof era → Lens' (PParams era) (PParamsF era) Source #

Lens' from the Core PParams to the Model PParamsF which embeds a (Proof era)

pparamsVar ∷ EraGov era ⇒ Proof era → V era (PParamsF era) Source #

pparams ∷ EraGov era ⇒ Proof era → Term era (PParamsF era) Source #

nmLikelihoodsT ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) [Float]) Source #

nmRewardPotT ∷ Era era ⇒ Term era Coin Source #

stakeL ∷ Lens' (Stake c) (Map (Credential 'Staking c) Coin) Source #

Helper lens that deals with the Stake newtype, and the shift from Map to VMap

vmapL ∷ Lens' (VMap VB VB k v) (Map k v) Source #

Helper lens that deals with the shift from Map to VMap

markStakeL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

markStake ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

markDelegs ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era))) Source #

markDelegsL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era))) Source #

markPools ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))) Source #

markPoolsL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))) Source #

markSnapShotT ∷ ∀ era. Era era ⇒ RootTarget era (SnapShot (EraCrypto era)) (SnapShot (EraCrypto era)) Source #

setStake ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

setStakeL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

setDelegs ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era))) Source #

setDelegsL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era))) Source #

setPools ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))) Source #

setPoolsL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))) Source #

setSnapShotT ∷ ∀ era. Era era ⇒ RootTarget era (SnapShot (EraCrypto era)) (SnapShot (EraCrypto era)) Source #

goStake ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

goStakeL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

goDelegs ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era))) Source #

goDelegsL ∷ NELens era (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era))) Source #

goPools ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))) Source #

goPoolsL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))) Source #

goSnapShotT ∷ ∀ era. Era era ⇒ RootTarget era (SnapShot (EraCrypto era)) (SnapShot (EraCrypto era)) Source #

markPoolDistr ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era))) Source #

markPoolDistrL ∷ NELens era (Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era))) Source #

snapShotFee ∷ Era era ⇒ Term era Coin Source #

snapShotsT ∷ ∀ era. Era era ⇒ RootTarget era (SnapShots (EraCrypto era)) (SnapShots (EraCrypto era)) Source #

deltaT ∷ Era era ⇒ Term era (Maybe DeltaCoin) Source #

deltaTL ∷ NELens era (Maybe DeltaCoin) Source #

deltaR ∷ Era era ⇒ Term era (Maybe DeltaCoin) Source #

deltaRL ∷ NELens era (Maybe DeltaCoin) Source #

deltaF ∷ Era era ⇒ Term era (Maybe DeltaCoin) Source #

deltaFL ∷ NELens era (Maybe DeltaCoin) Source #

rewardSet ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era)))) Source #

rewardSetL ∷ NELens era (Maybe (Map (Credential 'Staking (EraCrypto era)) (Set (Reward (EraCrypto era))))) Source #

totalAda ∷ Era era ⇒ Term era Coin Source #

utxoCoin ∷ Era era ⇒ Term era Coin Source #

credsUniv ∷ Era era ⇒ Term era (Set (Credential 'Staking (EraCrypto era))) Source #

The universe of Staking Credentials. A credential is either KeyHash of a ScriptHash Any Plutus scripts in this Universe are NOT Spending scripts, so they do not need a Redeemer

spendCredsUniv ∷ Era era ⇒ Term era (Set (Credential 'Payment (EraCrypto era))) Source #

The universe of Staking Credentials. A credential is either KeyHash of a ScriptHash All Plutus scripts in this Universe are SPENDING scripts, so they will need a Redeemer Use this ONLY in the Pay-part of an Address (Do not use this in the Stake-part of an Address)

voteUniv ∷ Era era ⇒ Term era (Set (Credential 'DRepRole (EraCrypto era))) Source #

The universe of Voting Credentials. A credential is either KeyHash of a ScriptHash

drepUniv ∷ Era era ⇒ Term era (Set (DRep (EraCrypto era))) Source #

The universe of DReps

hotCommitteeCredsUniv ∷ Era era ⇒ Term era (Set (Credential 'HotCommitteeRole (EraCrypto era))) Source #

The universe of Credentials used in voting for constitutional committee changes.

coldCommitteeCredsUniv ∷ Era era ⇒ Term era (Set (Credential 'ColdCommitteeRole (EraCrypto era))) Source #

The universe of Credentials used in voting for constitutional committee changes.

payUniv ∷ Era era ⇒ Term era (Set (Credential 'Payment (EraCrypto era))) Source #

The universe of Payment Credentials. A credential is either KeyHash of a ScriptHash We only find payment credentials in the Payment part of an Addr.

spendscriptUniv ∷ Era era ⇒ Proof era → Term era (Map (ScriptHash (EraCrypto era)) (ScriptF era)) Source #

The universe of Scripts (and their hashes) useable in spending contexts That means if they are Plutus scripts then they will be passed an additional argument (the TxInfo context)

nonSpendScriptUniv ∷ Era era ⇒ Proof era → Term era (Map (ScriptHash (EraCrypto era)) (ScriptF era)) Source #

The universe of Scripts (and their hashes) useable in contexts other than Spending

allScriptUniv ∷ Era era ⇒ Proof era → Term era (Map (ScriptHash (EraCrypto era)) (ScriptF era)) Source #

The union of spendscriptUniv and nonSpendScriptUniv. All possible scripts in any context

dataUniv ∷ Era era ⇒ Term era (Map (DataHash (EraCrypto era)) (Data era)) Source #

The universe of Data (and their hashes)

poolHashUniv ∷ Era era ⇒ Term era (Set (KeyHash 'StakePool (EraCrypto era))) Source #

The universe of StakePool key hashes. These hashes hash the cold key of the Pool operators.

stakeHashUniv ∷ Era era ⇒ Term era (Set (KeyHash 'Staking (EraCrypto era))) Source #

The universe of StakePool key hashes. These hashes hash are hashes of the Owners of a PoolParam

drepHashUniv ∷ Era era ⇒ Term era (Set (KeyHash 'DRepRole (EraCrypto era))) Source #

The universe of DRep key hashes. These hashes hash are hashes of the DReps

genesisHashUniv ∷ Era era ⇒ Term era (Map (KeyHash 'Genesis (EraCrypto era)) (GenDelegPair (EraCrypto era))) Source #

The universe of the Genesis key hashes and their signing and validating GenDelegPairs

voteCredUniv ∷ Era era ⇒ Term era (Set (Credential 'ColdCommitteeRole (EraCrypto era))) Source #

txinUniv ∷ Era era ⇒ Term era (Set (TxIn (EraCrypto era))) Source #

The universe of TxIns. Pairs of TxId: hashes of previously run transaction bodies, and TxIx: indexes of one of the bodies outputs.

govActionIdUniv ∷ Era era ⇒ Term era (Set (GovActionId (EraCrypto era))) Source #

The universe of GovActionId. Pairs of TxId: hashes of previously run transaction bodies, and GovActionIx: indexes of one of the bodies Proposals .

txoutUniv ∷ Era era ⇒ Proof era → Term era (Set (TxOutF era)) Source #

The universe of TxOuts. It contains colTxoutUniv as a sublist and feeOutput as an element See also feeOutput which is defined by the universes, and is related.

colTxoutUniv ∷ Era era ⇒ Proof era → Term era (Set (TxOutF era)) Source #

The universe of TxOuts useable for collateral The collateral TxOuts consists only of VKey addresses and The collateral TxOuts do not contain any non-ADA part

feeTxOut ∷ Reflect era ⇒ Term era (TxOutF era) Source #

A TxOut, guaranteed to have 1) no scripts in its Addr, and 2) It's Addr is in the addrUniv 3) bigCoin is stored in the Addr Value, and 4) the Addr Value has empty MutiAssets 5) be a member of the txoutUniv

feeTxIn ∷ Era era ⇒ Term era (TxIn (EraCrypto era)) Source #

A TxIn, guaranteed to have 1) be a member of the txinUniv

bigCoin ∷ Era era ⇒ Term era Coin Source #

A Coin large enough to pay almost any fee. See also feeOutput which is related.

datumsUniv ∷ Era era ⇒ Term era [Datum era] Source #

multiAssetUniv ∷ Era era ⇒ Term era [MultiAsset (EraCrypto era)] Source #

keymapUniv ∷ Era era ⇒ Term era (Map (KeyHash 'Witness (EraCrypto era)) (KeyPair 'Witness (EraCrypto era))) Source #

The universe of key hashes, and the signing and validating key pairs they represent.

currentSlot ∷ Era era ⇒ Term era SlotNo Source #

endSlotDelta ∷ Era era ⇒ Term era SlotNo Source #

beginSlotDelta ∷ Era era ⇒ Term era SlotNo Source #

network ∷ Era era ⇒ Term era Network Source #

From Globals

quorumConstant ∷ Word64 Source #

This not really a variable, But a constant that is set by the testGlobals we reflect this into a Term, so we can refer to it in the Preds.

quorum ∷ Era era ⇒ Term era Int Source #

From Globals. Reflected here at type Int, This is set to quorumConstant in CertState. because is is used to compare the Size of things, which are computed as Int

addrUniv ∷ Era era ⇒ Term era (Set (Addr (EraCrypto era))) Source #

ptrUniv ∷ Era era ⇒ Term era (Set Ptr) Source #

plutusUniv ∷ Reflect era ⇒ Term era (Map (ScriptHash (EraCrypto era)) (IsValid, ScriptF era)) Source #

spendPlutusUniv ∷ Reflect era ⇒ Term era (Map (ScriptHash (EraCrypto era)) (IsValid, ScriptF era)) Source #

byronAddrUniv ∷ Era era ⇒ Term era (Map (KeyHash 'Payment (EraCrypto era)) (Addr (EraCrypto era), SigningKey)) Source #

The universe of all Byron addresses. In Eras, Babbage, Conway we avoid these Adresses, as they do not play well with Plutus Scripts.

newEpochStateConstr ∷ Proof era → EpochNo → Map (KeyHash 'StakePool (EraCrypto era)) Natural → Map (KeyHash 'StakePool (EraCrypto era)) Natural → EpochState era → Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era)) → NewEpochState era Source #

Abstract constuctor function for NewEpochState

newEpochStateT ∷ ∀ era. EraGov era ⇒ Proof era → RootTarget era (NewEpochState era) (NewEpochState era) Source #

Target for NewEpochState

epochStateT ∷ ∀ era. EraGov era ⇒ Proof era → RootTarget era (EpochState era) (EpochState era) Source #

Target for EpochState

accountStateT ∷ Era era ⇒ RootTarget era AccountState AccountState Source #

Target for AccountState

ledgerStateT ∷ ∀ era. EraGov era ⇒ Proof era → RootTarget era (LedgerState era) (LedgerState era) Source #

Target for LedgerState

ledgerState ∷ Reflect era ⇒ Term era (LedgerState era) Source #

utxoStateT ∷ ∀ era. EraGov era ⇒ Proof era → RootTarget era (UTxOState era) (UTxOState era) Source #

Target for UTxOState

unGovL ∷ Proof era → Lens' (GovState era) (GovState era) Source #

justProtocolVersion ∷ ∀ era. Reflect era ⇒ Proof era → PParams era Source #

certstateT ∷ ∀ era. Era era ⇒ RootTarget era (CertState era) (CertState era) Source #

Target for CertState

vstateT ∷ ∀ era. Era era ⇒ RootTarget era (VState era) (VState era) Source #

Target for VState

committeeL ∷ Lens' (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era))) (CommitteeState era) Source #

pstateT ∷ ∀ era. Era era ⇒ RootTarget era (PState era) (PState era) Source #

Target for PState

dstateT ∷ ∀ era. Era era ⇒ RootTarget era (DState era) (DState era) Source #

Target for DState

dstate ∷ Map (Credential 'Staking (EraCrypto era)) Coin → Map (Credential 'Staking (EraCrypto era)) Coin → Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era)) → Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era)) → Map Ptr (Credential 'Staking (EraCrypto era)) → Map (FutureGenDeleg (EraCrypto era)) (GenDelegPair (EraCrypto era)) → Map (KeyHash 'Genesis (EraCrypto era)) (GenDelegPair (EraCrypto era)) → InstantaneousRewards (EraCrypto era) → DState era Source #

Abstract construcor function for DState

instantaneousRewardsT ∷ ∀ era. Era era ⇒ RootTarget era (InstantaneousRewards (EraCrypto era)) (InstantaneousRewards (EraCrypto era)) Source #

allvars ∷ String Source #

A String that pretty prints the complete set of variables of the NewEpochState

printTarget ∷ RootTarget era root t → IO () Source #

protVer ∷ Era era ⇒ Proof era → Term era ProtVer Source #

ProtVer in pparams

prevProtVer ∷ Era era ⇒ Proof era → Term era ProtVer Source #

ProtVer in prevPParams

minFeeA ∷ Era era ⇒ Proof era → Term era Coin Source #

minFeeB ∷ Era era ⇒ Proof era → Term era Coin Source #

maxBBSize ∷ Era era ⇒ Proof era → Term era Natural Source #

Max Block Body Size

maxTxSize ∷ Era era ⇒ Proof era → Term era Natural Source #

Max Tx Size

fromIntegralBounded ∷ ∀ a b. (HasCallStack, Integral a, Show a, Integral b, Bounded b, Show b) ⇒ String → a → b Source #

word32NaturalL ∷ Lens' Word32 Natural Source #

word16NaturalL ∷ Lens' Word16 Natural Source #

maxBHSize ∷ Era era ⇒ Proof era → Term era Natural Source #

Max Block Header Size

poolDepAmt ∷ Era era ⇒ Proof era → Term era Coin Source #

keyDepAmt ∷ Era era ⇒ Proof era → Term era Coin Source #

proposalDeposit ∷ ConwayEraPParams era ⇒ Proof era → Term era Coin Source #

maxTxExUnits ∷ AlonzoEraPParams era ⇒ Proof era → Term era ExUnits Source #

collateralPercentage ∷ AlonzoEraPParams era ⇒ Proof era → Term era Natural Source #

drepDeposit ∷ ConwayEraPParams era ⇒ Proof era → Term era Coin Source #

drepActivity ∷ ConwayEraPParams era ⇒ Proof era → Term era EpochInterval Source #

maxEpoch ∷ Era era ⇒ Proof era → Term era EpochInterval Source #

txbodyterm ∷ Reflect era ⇒ Term era (TxBodyF era) Source #

inputs ∷ Era era ⇒ Term era (Set (TxIn (EraCrypto era))) Source #

collateral ∷ Era era ⇒ Term era (Set (TxIn (EraCrypto era))) Source #

refInputs ∷ Era era ⇒ Term era (Set (TxIn (EraCrypto era))) Source #

outputs ∷ Era era ⇒ Proof era → Term era [TxOutF era] Source #

collateralReturn ∷ Era era ⇒ Proof era → Term era (TxOutF era) Source #

totalCol ∷ Era era ⇒ Term era Coin Source #

The sum of all the collateral inputs. The Tx is constucted by SNothing or wrapping SJust around this value.

certs ∷ Reflect era ⇒ Term era [TxCertF era] Source #

withdrawals ∷ ∀ era. Era era ⇒ Term era (Map (RewardAccount (EraCrypto era)) Coin) Source #

txfee ∷ Era era ⇒ Term era Coin Source #

ttl ∷ Era era ⇒ Term era SlotNo Source #

validityInterval ∷ Era era ⇒ Term era ValidityInterval Source #

mint ∷ Era era ⇒ Term era (Map (ScriptHash (EraCrypto era)) (Map AssetName Integer)) Source #

reqSignerHashes ∷ Era era ⇒ Term era (Set (KeyHash 'Witness (EraCrypto era))) Source #

networkID ∷ Era era ⇒ Term era (Maybe Network) Source #

adHash ∷ Era era ⇒ Term era (Maybe (AuxiliaryDataHash (EraCrypto era))) Source #

wppHash ∷ Era era ⇒ Term era (Maybe (SafeHash (EraCrypto era) EraIndependentScriptIntegrity)) Source #

txDonation ∷ Era era ⇒ Term era Coin Source #

liftMultiAsset ∷ Map (ScriptHash c) (Map AssetName Integer) → MultiAsset c Source #

lift the model type of mint into a MultiAsset

scriptsNeeded ∷ Reflect era ⇒ Term era (ScriptsNeededF era) Source #

smNeededL ∷ ScriptsNeeded era ~ ShelleyScriptsNeeded era ⇒ Lens' (ScriptsNeededF era) (Set (ScriptHash (EraCrypto era))) Source #

acNeededL ∷ ScriptsNeeded era ~ AlonzoScriptsNeeded era ⇒ Lens' (ScriptsNeededF era) [(PlutusPurposeF era, ScriptHash (EraCrypto era))] Source #

extraCol ∷ Era era ⇒ Term era Coin Source #

A Coin that needs to be added to the range of the colInputs in the UtxO that will make sure the collateral is large enough to pay the fees if needed

sumCol ∷ Era era ⇒ Term era Coin Source #

The sum of all the collateral inputs, total colateral of the Tx is computed by adding (SJust _) to this value.

colRetAddr ∷ Era era ⇒ Term era (Addr (EraCrypto era)) Source #

colRetCoin ∷ Era era ⇒ Term era Coin Source #

The Coin in the collateralReturn TxOut

owed ∷ Era era ⇒ Term era Coin Source #

The amount that the collateral must cover if there is a two phase error. This is roughly the collateralPercentage * txfee . The calculation deals with rounding, but you don't need those details to understand what is going on.

txbody ∷ Reflect era ⇒ Term era (TxBodyF era) Source #

txwits ∷ Reflect era ⇒ Term era (TxWitsF era) Source #

txauxdata ∷ Reflect era ⇒ Term era (Maybe (TxAuxDataF era)) Source #

txisvalid ∷ Era era ⇒ Term era IsValid Source #

valids ∷ Era era ⇒ Term era [IsValid] Source #

txterm ∷ Reflect era ⇒ Term era (TxF era) Source #

getRwdCredL ∷ Lens' (RewardAccount c) (Credential 'Staking c) Source #

txOutFL ∷ Lens' (TxOutF era) (TxOut era) Source #

valueFL ∷ Reflect era ⇒ Lens' (Value era) (ValueF era) Source #

lensVC ∷ Val t ⇒ Lens' t Coin Source #

valueFCoinL ∷ (HasCallStack, Reflect era) ⇒ Lens' (ValueF era) Coin Source #

outputCoinL ∷ (HasCallStack, Reflect era) ⇒ Lens' (TxOutF era) Coin Source #

valCoinF ∷ (HasCallStack, Reflect era) ⇒ Field era (ValueF era) Coin Source #

a Field from (ValueF era) to Coin

valCoin ∷ (HasCallStack, Reflect era) ⇒ Term era Coin Source #

maryValueMultiAssetL ∷ Lens' (MaryValue c) (MultiAsset c) Source #

valueFMultiAssetL ∷ Lens' (ValueF era) (MultiAsset (EraCrypto era)) Source #

valueFMultiAssetF ∷ Reflect era ⇒ Field era (ValueF era) (MultiAsset (EraCrypto era)) Source #

a Field from (ValueF era) to MultiAsset

valueFMultiAsset ∷ Reflect era ⇒ Term era (MultiAsset (EraCrypto era)) Source #

txoutAddressF ∷ Reflect era ⇒ Field era (TxOutF era) (Addr (EraCrypto era)) Source #

a Field from (TxOut era) to (Addr era)

txoutAddress ∷ Reflect era ⇒ Term era (Addr (EraCrypto era)) Source #

txoutCoinF ∷ (HasCallStack, Reflect era) ⇒ Field era (TxOutF era) Coin Source #

a Field from (TxOutF era) to Coin

txoutCoin ∷ (HasCallStack, Reflect era) ⇒ Term era Coin Source #

txoutAmountF ∷ Reflect era ⇒ Field era (TxOutF era) (ValueF era) Source #

a Field from (TxOutF era) to (ValueF era)

txoutAmount ∷ Reflect era ⇒ Term era (ValueF era) Source #

scriptWits ∷ Reflect era ⇒ Term era (Map (ScriptHash (EraCrypto era)) (ScriptF era)) Source #

redeemers ∷ Reflect era ⇒ Term era (Map (PlutusPointerF era) (Data era, ExUnits)) Source #

bootWits ∷ ∀ era. Reflect era ⇒ Term era (Set (BootstrapWitness (EraCrypto era))) Source #

dataWits ∷ Reflect era ⇒ Term era (Map (DataHash (EraCrypto era)) (Data era)) Source #

keyWits ∷ Reflect era ⇒ Term era (Set (WitVKey 'Witness (EraCrypto era))) Source #

witsTarget ∷ Reflect era ⇒ Term era (Set (BootstrapWitness (EraCrypto era))) → Term era (Set (WitVKey 'Witness (EraCrypto era))) → Target era (TxWits era) Source #

txTarget ∷ Reflect era ⇒ Term era (TxBodyF era) → Term era (Set (BootstrapWitness (EraCrypto era))) → Term era (Set (WitVKey 'Witness (EraCrypto era))) → Target era (TxF era) Source #

txbodyTarget ∷ Reflect era ⇒ Term era Coin → Term era (Maybe (ScriptIntegrityHash (EraCrypto era))) → Term era Coin → Target era (TxBodyF era) Source #

Need to build the TxBody with different terms that control the fee and wppHash so we parameterise this target over those two terms

allowMIRTransfer ∷ Proof era → Term era Bool Source #

constitution ∷ Era era ⇒ Term era (Constitution era) Source #

enactTreasury ∷ Era era ⇒ Term era Coin Source #

enactWithdrawals ∷ ∀ era. Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) Coin) Source #

currentGovActionStates ∷ Era era ⇒ Term era (Map (GovActionId (EraCrypto era)) (GovActionState era)) Source #

currentProposalOrder ∷ Era era ⇒ Term era [GovActionId (EraCrypto era)] Source #

prevGovActionStates ∷ Era era ⇒ Term era (Map (GovActionId (EraCrypto era)) (GovActionState era)) Source #

prevProposalOrder ∷ Era era ⇒ Term era [GovActionId (EraCrypto era)] Source #

previousCommitteeState ∷ Era era ⇒ Term era (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (Maybe (Credential 'HotCommitteeRole (EraCrypto era)))) Source #

commMembers ∷ Era era ⇒ Term era (Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo) Source #

commQuorum ∷ Era era ⇒ Term era UnitInterval Source #

committeeVar ∷ Era era ⇒ Term era (Maybe (Committee era)) Source #

type UtxoPulse era = (Map (TxIn (EraCrypto era)) (TxOutF era), DRepPulser era Identity (RatifyState era)) Source #

There are 2 forms of DRepPulsingState. This is part of the first one where the pulsing is not complete, and the snapshots are stored as fields in the datatype DRepPulser. Note that the function part of Invert : initPulser makes many transformations from the types used in the Model, and the types stored in the implementation types. In order to construct a valid DRepPulser we need the UTxO (to compute the IncrementalStake) But we cannot find a Lens that can recover the UTxO from a DRepPulser. So we introduce this type ' UtxoPulse' that pairs the two (which makes the recovery possible). W

utxoPulse ∷ (RunConwayRatify era, Reflect era) ⇒ Proof era → Term era (UtxoPulse era) Source #

We also introduce an intermediate variable utxoPulse which can constrain this value by using the predicate [ utxoPulse p :<-: pulsingPair p ]

pulsingPairT ∷ ∀ era. (RunConwayRatify era, Reflect era) ⇒ Proof era → RootTarget era (UtxoPulse era) (UtxoPulse era) Source #

an invertable RootTarget to compute a (UtxoPulse era)

justPulser ∷ ∀ era. (Reflect era, RunConwayRatify era) ⇒ Proof era → RootTarget era (DRepPulser era Identity (RatifyState era)) (DRepPulser era Identity (RatifyState era)) Source #

drepPulser ∷ (RunConwayRatify era, Reflect era) ⇒ Term era (DRepPulser era Identity (RatifyState era)) Source #

Variable used to constrain the DRepPulser

prevPulsingPreds ∷ (RunConwayRatify era, Reflect era) ⇒ Proof era → [Pred era] Source #

Predicates that constrain the DRepPuser and all its prevXXX snapshots These ensure we generate state just passing the epoch boundary

pulsingPulsingStateT ∷ ∀ era. (RunConwayRatify era, Reflect era) ⇒ RootTarget era (DRepPulsingState era) (DRepPulsingState era) Source #

Target for assembling DRPulsing form of (DRepPulsingState era) from drepPulser :: forall era. Term era (DRepPulser era Identity (RatifyState era))

pulsingStatePulserL ∷ Lens' (DRepPulsingState era) (DRepPulser era Identity (RatifyState era)) Source #

The Lens' used in pulsingPulsingStateT

initPulser ∷ ∀ era. (Reflect era, RunConwayRatify era) ⇒ Proof era → Map (TxIn (EraCrypto era)) (TxOutF era) → Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era)) → Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era)) → Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)) → EpochNo → Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era)) → EnactState era → [GovActionState era] → DRepPulser era Identity (RatifyState era) Source #

The abstract form of DRepPulser that transforms from the Model types used in the inputs, and the concrete types actually stored in DRepPulser

proposalsT ∷ ∀ era. Era era ⇒ Proof era → RootTarget era (Proposals era) (Proposals era) Source #

pulsingSnapshotT ∷ ∀ era. Era era ⇒ RootTarget era (PulsingSnapshot era) (PulsingSnapshot era) Source #

The snapshot dedicated datatype (PulsingSnapshot era) stored inside DRComplete Note this is used in dRepPulsingStateT, the second DRepPulsingState form.

pulsingSnapshotL ∷ Lens' (DRepPulsingState era) (PulsingSnapshot era) Source #

completePulsingStateT ∷ ∀ era. Reflect era ⇒ Proof era → RootTarget era (DRepPulsingState era) (DRepPulsingState era) Source #

There are 2 forms of DRepPulsingState. This is the second one where the pulsing is complete

ratifyState ∷ Reflect era ⇒ Term era (RatifyState era) Source #

ratifyStateL ∷ Lens' (DRepPulsingState era) (RatifyState era) Source #

prevProposals ∷ Era era ⇒ Proof era → Term era (Proposals era) Source #

ratifyGovActionStatesL ∷ Lens' (DRepPulser era Identity (RatifyState era)) [GovActionState era] Source #

partialDRepDistr ∷ Era era ⇒ Term era (Map (DRep (EraCrypto era)) Coin) Source #

Partially computed DRepDistr inside the pulser

partialDRepDistrL ∷ Lens' (DRepPulser era Identity (RatifyState era)) (Map (DRep (EraCrypto era)) Coin) Source #

prevDRepState ∷ Era era ⇒ Term era (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era))) Source #

Snapshot of dreps from the start of the current epoch

prevDRepStateL ∷ Lens' (DRepPulser era Identity (RatifyState era)) (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era))) Source #

prevPoolDistr ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era))) Source #

snapshot of poolDistr from the start of the current epoch

prevPoolDistrL ∷ Lens' (DRepPulser era Identity (RatifyState era)) (Map (KeyHash 'StakePool (EraCrypto era)) (IndividualPoolStake (EraCrypto era))) Source #

prevDRepDelegations ∷ Era era ⇒ Term era (Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era))) Source #

Snapshot of the drepDelegation from he start of the current epoch.

prevDRepDelegationsL ∷ Lens' (DRepPulser era Identity (RatifyState era)) (Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era))) Source #

Snapshot of drepDelegation from the start of the current epoch

prevCommitteeState ∷ Era era ⇒ Term era (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era))) Source #

Snapshot of committeeState from the start of the current epoch

prevCommitteeStateL ∷ Lens' (DRepPulser era Identity (RatifyState era)) (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era))) Source #

prevEnactState ∷ Reflect era ⇒ Term era (EnactState era) Source #

Snapshot of the enactState built by enactStateT assembled from data at the start the current epoch

prevEnactStateL ∷ Lens' (DRepPulser era Identity (RatifyState era)) (EnactState era) Source #

prevEpoch ∷ Era era ⇒ Term era EpochNo Source #

Snapshot of currentEpoch just before the start of the current epoch. (currenEpoch - 1)

prevEpochL ∷ Lens' (DRepPulser era Identity (RatifyState era)) EpochNo Source #

prevTreasury ∷ Era era ⇒ Term era Coin Source #

conwayGovStateT ∷ ∀ era. (RunConwayRatify era, Reflect era) ⇒ Proof era → RootTarget era (ConwayGovState era) (ConwayGovState era) Source #

proposalDeposits ∷ Era era ⇒ Term era Coin Source #

The sum of all the gasDeposit fields of currProposals

drepDepositsView ∷ Era era ⇒ Term era (Map (Credential 'DRepRole (EraCrypto era)) Coin) Source #

A view of currentDRepState (sum of the drepDeposit field of in the range of currentDRepState)

currProposals ∷ Era era ⇒ Proof era → Term era (Proposals era) Source #

The current set of proposals. Proposals has a serious set of invariants. We do not attempt to state these proposals (Yes I know that is cheating) We get random Proposals (that meets its invariants) by using (genSizedRep n (ProposalsR p))

prevGovActionIds ∷ ∀ era. Reflect era ⇒ Term era (GovRelation StrictMaybe era) Source #

Part of the EnactState, it is computed by selecting from currProposals

currGovStates ∷ Era era ⇒ Term era [GovActionState era] Source #

This is a view of currProposals, so will compute it once once currProposals is defined

enactStateT ∷ ∀ era. Reflect era ⇒ RootTarget era (EnactState era) (EnactState era) Source #

committeeT ∷ ∀ era. Era era ⇒ RootTarget era (Committee era) (Committee era) Source #

One can use this Target, to make a constraint for committeeVar from the vars commMembers and commQuorum

ppUpdateChildren ∷ Era era ⇒ Term era (Set (GovActionId (EraCrypto era))) Source #

hardForkChildren ∷ Era era ⇒ Term era (Set (GovActionId (EraCrypto era))) Source #

committeeChildren ∷ Era era ⇒ Term era (Set (GovActionId (EraCrypto era))) Source #

constitutionChildren ∷ Era era ⇒ Term era (Set (GovActionId (EraCrypto era))) Source #

pparamsFL ∷ Proof era → Lens' (PParams era) (PParamsF era) Source #

pparamsMaybeFL ∷ Proof era → Lens' (Maybe (PParams era)) (Maybe (PParamsF era)) Source #

smCommL ∷ Lens' (StrictMaybe (Committee era)) (Committee era) Source #

proposedMapL ∷ Proof era → Lens' (ProposedPPUpdates era) (Map (KeyHash 'Genesis (EraCrypto era)) (PParamsUpdateF era)) Source #

pair1 ∷ Era era ⇒ Rep era a → Term era a Source #

pair2 ∷ Era era ⇒ Rep era b → Term era b Source #

pairT ∷ ∀ era a b. (Typeable a, Typeable b, Era era) ⇒ Rep era a → Rep era b → RootTarget era (a, b) (a, b) Source #

idV ∷ Era era ⇒ Term era (GovActionId (EraCrypto era)) Source #

committeeVotesV ∷ Era era ⇒ Term era (Map (Credential 'HotCommitteeRole (EraCrypto era)) Vote) Source #

drepVotesV ∷ Era era ⇒ Term era (Map (Credential 'DRepRole (EraCrypto era)) Vote) Source #

stakePoolVotesV ∷ Era era ⇒ Term era (Map (KeyHash 'StakePool (EraCrypto era)) Vote) Source #

depositV ∷ Era era ⇒ Term era Coin Source #

returnAddrV ∷ Era era ⇒ Term era (RewardAccount (EraCrypto era)) Source #

actionV ∷ Era era ⇒ Term era (GovAction era) Source #

proposedInV ∷ Era era ⇒ Term era EpochNo Source #

expiresAfterV ∷ Era era ⇒ Term era EpochNo Source #

childrenV ∷ Era era ⇒ Term era (Set (GovActionId (EraCrypto era))) Source #

anchorV ∷ Era era ⇒ Term era (Anchor (EraCrypto era)) Source #

govActionStateTarget ∷ ∀ era. Era era ⇒ RootTarget era (GovActionState era) (GovActionState era) Source #

liftId ∷ Maybe (GovActionId (EraCrypto era)) → StrictMaybe (GovPurposeId p era) Source #

Lift the Model to the real type

dropId ∷ StrictMaybe (GovPurposeId p era) → Maybe (GovActionId (EraCrypto era)) Source #

Drop the real type back to the Model

gaPrevId ∷ Era era ⇒ Term era (Maybe (GovActionId (EraCrypto era))) Source #

gaPParamsUpdate ∷ Reflect era ⇒ Term era (PParamsUpdateF era) Source #

gaProtVer ∷ Reflect era ⇒ Term era ProtVer Source #

gaRewardAccount ∷ Era era ⇒ Term era (Map (RewardAccount (EraCrypto era)) Coin) Source #

gaRemMember ∷ Era era ⇒ Term era (Set (Credential 'ColdCommitteeRole (EraCrypto era))) Source #

gaAddMember ∷ Era era ⇒ Term era (Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo) Source #

gaThreshold ∷ Era era ⇒ Term era UnitInterval Source #

gaPolicy ∷ Era era ⇒ Term era (Maybe (ScriptHash (EraCrypto era))) Source #

gaConstitutionAnchor ∷ Era era ⇒ Term era (Anchor (EraCrypto era)) Source #

gaNewConstitution ∷ Era era ⇒ Term era (Constitution era) Source #

constitutionT ∷ ∀ era. Reflect era ⇒ RootTarget era (Constitution era) (Constitution era) Source #

parameterChangeT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era) Source #

hardForkInitiationT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era) Source #

treasuryWithdrawalsT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era) Source #

noConfidenceT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era) Source #

updateCommitteeT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era) Source #

newConstitutionT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era) Source #

infoActionT ∷ ∀ era. Reflect era ⇒ RootTarget era (GovAction era) (GovAction era) Source #