Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Generic.Proof
Synopsis
- data Proof era where
- class (EraGov era, EraTx era, EraUTxO era, EraTxAuxData era, EraScript era, ShelleyEraTxCert era) ⇒ Reflect era where
- data Some (t ∷ k → Type) where
- data WitRule (s ∷ Symbol) (e ∷ Type) where
- UTXO ∷ Proof era → WitRule "UTXO" era
- UTXOW ∷ Proof era → WitRule "UTXOW" era
- LEDGER ∷ Proof era → WitRule "LEDGER" era
- BBODY ∷ Proof era → WitRule "BBODY" era
- LEDGERS ∷ Proof era → WitRule "LEDGERS" era
- MOCKCHAIN ∷ Proof era → WitRule "MOCKCHAIN" era
- RATIFY ∷ Proof era → WitRule "RATIFY" era
- ENACT ∷ Proof era → WitRule "ENACT" era
- TALLY ∷ Proof era → WitRule "TALLY" era
- EPOCH ∷ Proof era → WitRule "EPOCH" era
- NEWEPOCH ∷ Proof era → WitRule "NEWEPOCH" era
- CERT ∷ Proof era → WitRule "CERT" era
- CERTS ∷ Proof era → WitRule "CERTS" era
- DELEG ∷ Proof era → WitRule "DELEG" era
- POOL ∷ Proof era → WitRule "POOL" era
- GOVCERT ∷ Proof era → WitRule "GOVCERT" era
- GOV ∷ Proof era → WitRule "GOV" era
- ruleProof ∷ WitRule s e → Proof e
- runSTS ∷ ∀ s e ans. (BaseM (EraRule s e) ~ ShelleyBase, STS (EraRule s e)) ⇒ WitRule s e → TRC (EraRule s e) → (Either (NonEmpty (PredicateFailure (EraRule s e))) (State (EraRule s e)) → ans) → ans
- goSTS ∷ ∀ s e ans env state sig. (BaseM (EraRule s e) ~ ShelleyBase, STS (EraRule s e), env ~ Environment (EraRule s e), state ~ State (EraRule s e), sig ~ Signal (EraRule s e)) ⇒ WitRule s e → env → state → sig → (Either (NonEmpty (PredicateFailure (EraRule s e))) (State (EraRule s e)) → ans) → ans
- preShelley ∷ [Some Proof]
- preAllegra ∷ [Some Proof]
- preMary ∷ [Some Proof]
- preAlonzo ∷ [Some Proof]
- preBabbage ∷ [Some Proof]
- preConway ∷ [Some Proof]
- postShelley ∷ [Some Proof]
- postAllegra ∷ [Some Proof]
- postMary ∷ [Some Proof]
- postAlonzo ∷ [Some Proof]
- postBabbage ∷ [Some Proof]
- postConway ∷ [Some Proof]
- data ShelleyEra
- data AllegraEra
- data MaryEra
- data AlonzoEra
- data BabbageEra
- data ConwayEra
- specialize ∷ ∀ constraint era t. (constraint ShelleyEra, constraint AllegraEra, constraint MaryEra, constraint AlonzoEra, constraint BabbageEra, constraint ConwayEra) ⇒ Proof era → (constraint era ⇒ t) → t
- unReflect ∷ (Reflect era ⇒ Proof era → a) → Proof era → a
- runSTS' ∷ ∀ s e. (BaseM (EraRule s e) ~ ShelleyBase, STS (EraRule s e)) ⇒ WitRule s e → TRC (EraRule s e) → Either (NonEmpty (PredicateFailure (EraRule s e))) (State (EraRule s e))
- data ValueWit era where
- ValueShelleyToAllegra ∷ Value era ~ Coin ⇒ ValueWit era
- ValueMaryToConway ∷ Value era ~ MaryValue ⇒ ValueWit era
- data TxOutWit era where
- TxOutShelleyToMary ∷ (TxOut era ~ ShelleyTxOut era, EraTxOut era, ProtVerAtMost era 8) ⇒ TxOutWit era
- TxOutAlonzoToAlonzo ∷ (TxOut era ~ AlonzoTxOut era, AlonzoEraTxOut era, ProtVerAtMost era 8) ⇒ TxOutWit era
- TxOutBabbageToConway ∷ (TxOut era ~ BabbageTxOut era, BabbageEraTxOut era) ⇒ TxOutWit era
- data TxCertWit era where
- TxCertShelleyToBabbage ∷ (TxCert era ~ ShelleyTxCert era, ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ TxCertWit era
- TxCertConwayToConway ∷ (TxCert era ~ ConwayTxCert era, ConwayEraTxCert era, ConwayEraPParams era) ⇒ TxCertWit era
- data PParamsWit era where
- PParamsShelleyToMary ∷ (PParamsHKD Identity era ~ ShelleyPParams Identity era, EraPParams era) ⇒ PParamsWit era
- PParamsAlonzoToAlonzo ∷ (PParamsHKD Identity era ~ AlonzoPParams Identity era, AlonzoEraPParams era) ⇒ PParamsWit era
- PParamsBabbageToBabbage ∷ (PParamsHKD Identity era ~ BabbagePParams Identity era, BabbageEraPParams era) ⇒ PParamsWit era
- PParamsConwayToConway ∷ (PParamsHKD Identity era ~ ConwayPParams Identity era, ConwayEraPParams era) ⇒ PParamsWit era
- data UTxOWit era where
- UTxOShelleyToMary ∷ (EraUTxO era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, TxWits era ~ ShelleyTxWits era) ⇒ UTxOWit era
- UTxOAlonzoToConway ∷ (EraUTxO era, AlonzoEraScript era, AlonzoEraTxBody era, AlonzoEraPParams era, AlonzoEraTxOut era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, Script era ~ AlonzoScript era, TxWits era ~ AlonzoTxWits era) ⇒ UTxOWit era
- data ScriptWit era where
- ScriptShelleyToShelley ∷ (Script era ~ MultiSig era, EraScript era) ⇒ ScriptWit era
- ScriptAllegraToMary ∷ (Script era ~ Timelock era, EraScript era) ⇒ ScriptWit era
- ScriptAlonzoToConway ∷ (Script era ~ AlonzoScript era, EraScript era) ⇒ ScriptWit era
- data GovStateWit era where
- GovStateShelleyToBabbage ∷ (EraGov era, GovState era ~ ShelleyGovState era) ⇒ GovStateWit era
- GovStateConwayToConway ∷ (ConwayEraPParams era, RunConwayRatify era, EraGov era, GovState era ~ ConwayGovState era) ⇒ GovStateWit era
- whichValue ∷ Proof era → ValueWit era
- whichTxOut ∷ Proof era → TxOutWit era
- whichTxCert ∷ Proof era → TxCertWit era
- whichPParams ∷ Proof era → PParamsWit era
- whichUTxO ∷ Proof era → UTxOWit era
- whichScript ∷ Proof era → ScriptWit era
- whichGovState ∷ Proof era → GovStateWit era
Documentation
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 |
class (EraGov era, EraTx era, EraUTxO era, EraTxAuxData era, EraScript era, ShelleyEraTxCert era) ⇒ Reflect era where Source #
Minimal complete definition
Instances
data Some (t ∷ k → Type) where Source #
Hide the index for a singleton type t
data WitRule (s ∷ Symbol) (e ∷ Type) where Source #
Constructors
UTXO ∷ Proof era → WitRule "UTXO" era | |
UTXOW ∷ Proof era → WitRule "UTXOW" era | |
LEDGER ∷ Proof era → WitRule "LEDGER" era | |
BBODY ∷ Proof era → WitRule "BBODY" era | |
LEDGERS ∷ Proof era → WitRule "LEDGERS" era | |
MOCKCHAIN ∷ Proof era → WitRule "MOCKCHAIN" era | |
RATIFY ∷ Proof era → WitRule "RATIFY" era | |
ENACT ∷ Proof era → WitRule "ENACT" era | |
TALLY ∷ Proof era → WitRule "TALLY" era | |
EPOCH ∷ Proof era → WitRule "EPOCH" era | |
NEWEPOCH ∷ Proof era → WitRule "NEWEPOCH" era | |
CERT ∷ Proof era → WitRule "CERT" era | |
CERTS ∷ Proof era → WitRule "CERTS" era | |
DELEG ∷ Proof era → WitRule "DELEG" era | |
POOL ∷ Proof era → WitRule "POOL" era | |
GOVCERT ∷ Proof era → WitRule "GOVCERT" era | |
GOV ∷ Proof era → WitRule "GOV" era |
runSTS ∷ ∀ s e ans. (BaseM (EraRule s e) ~ ShelleyBase, STS (EraRule s e)) ⇒ WitRule s e → TRC (EraRule s e) → (Either (NonEmpty (PredicateFailure (EraRule s e))) (State (EraRule s e)) → ans) → ans Source #
goSTS ∷ ∀ s e ans env state sig. (BaseM (EraRule s e) ~ ShelleyBase, STS (EraRule s e), env ~ Environment (EraRule s e), state ~ State (EraRule s e), sig ~ Signal (EraRule s e)) ⇒ WitRule s e → env → state → sig → (Either (NonEmpty (PredicateFailure (EraRule s e))) (State (EraRule s e)) → ans) → ans Source #
Like runSTS, but makes the components of the TRC triple explicit.
in case you can't remember, in ghci type
@@
:t goSTS (UTXOW Babbage)
goSTS (LEDGER Babbage)
:: LedgerEnv (BabbageEra )
-> (UTxOState (BabbageEra ), CertState )
-> Cardano.Ledger.Alonzo.Tx.AlonzoTx (BabbageEra )
-> (Either
[LedgerPredicateFailure (BabbageEra )]
(UTxOState (BabbageEra ), CertState )
-> ans)
-> ans
@@
it will tell you what type env
state
and sig
are for Babbage
preShelley ∷ [Some Proof] Source #
preAllegra ∷ [Some Proof] Source #
preBabbage ∷ [Some Proof] Source #
postShelley ∷ [Some Proof] Source #
postAllegra ∷ [Some Proof] Source #
postAlonzo ∷ [Some Proof] Source #
postBabbage ∷ [Some Proof] Source #
postConway ∷ [Some Proof] Source #
data ShelleyEra Source #
Instances
data AllegraEra Source #
The Allegra era
Instances
Instances
The Alonzo era
Instances
data BabbageEra Source #
The Babbage era
Instances
The Conway era