Safe Haskell	None
Language	Haskell98

Cardano.Ledger.Shelley

Description

Definition of the shelley era, along with instances ot the Core types defined in module Cardano.Ledger.Core, and instances of the API classes exposed in module Shelley.Spec.Ledger.API.

Documentation

data ShelleyEra c Source #

Instances

Instances details

(Crypto c, TxBody (ShelleyEra c) ~ TxBody (ShelleyEra c)) => STS (UTXO (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo Associated Types type State (UTXO (ShelleyEra c)) Source # type Signal (UTXO (ShelleyEra c)) Source # type Environment (UTXO (ShelleyEra c)) Source # type BaseM (UTXO (ShelleyEra c)) :: Type -> Type Source # type PredicateFailure (UTXO (ShelleyEra c)) = (b :: Type) Source # Methods initialRules :: [InitialRule (UTXO (ShelleyEra c))] Source # transitionRules :: [TransitionRule (UTXO (ShelleyEra c))] Source # assertions :: [Assertion (UTXO (ShelleyEra c))] Source # renderAssertionViolation :: AssertionViolation (UTXO (ShelleyEra c)) -> String Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) => STS (UTXOW (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow Associated Types type State (UTXOW (ShelleyEra c)) Source # type Signal (UTXOW (ShelleyEra c)) Source # type Environment (UTXOW (ShelleyEra c)) Source # type BaseM (UTXOW (ShelleyEra c)) :: Type -> Type Source # type PredicateFailure (UTXOW (ShelleyEra c)) = (b :: Type) Source # Methods initialRules :: [InitialRule (UTXOW (ShelleyEra c))] Source # transitionRules :: [TransitionRule (UTXOW (ShelleyEra c))] Source # assertions :: [Assertion (UTXOW (ShelleyEra c))] Source # renderAssertionViolation :: AssertionViolation (UTXOW (ShelleyEra c)) -> String Source #
Crypto c => Era (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley Associated Types type Crypto (ShelleyEra c) Source #
Crypto c => ValidateAuxiliaryData (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley Methods hashAuxiliaryData :: AuxiliaryData (ShelleyEra c) -> AuxiliaryDataHash (Crypto (ShelleyEra c)) Source # validateAuxiliaryData :: AuxiliaryData (ShelleyEra c) -> Bool Source #
(Crypto c, TxBodyConstraints (ShelleyEra c)) => ValidateScript (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley Methods validateScript :: Script (ShelleyEra c) -> Tx (ShelleyEra c) -> Bool Source # hashScript :: Script (ShelleyEra c) -> ScriptHash (Crypto (ShelleyEra c)) Source #
PraosCrypto crypto => GetLedgerView (ShelleyEra crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.API.Protocol Methods currentLedgerView :: NewEpochState (ShelleyEra crypto) -> LedgerView (Crypto (ShelleyEra crypto)) Source # futureLedgerView :: MonadError (FutureLedgerViewError (ShelleyEra crypto)) m => Globals -> NewEpochState (ShelleyEra crypto) -> SlotNo -> m (LedgerView (Crypto (ShelleyEra crypto))) Source #
PraosCrypto crypto => ApplyBlock (ShelleyEra crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.API.Validation Methods applyTick :: Globals -> NewEpochState (ShelleyEra crypto) -> SlotNo -> NewEpochState (ShelleyEra crypto) Source # applyBlock :: MonadError (BlockTransitionError (ShelleyEra crypto)) m => Globals -> NewEpochState (ShelleyEra crypto) -> Block (ShelleyEra crypto) -> m (NewEpochState (ShelleyEra crypto)) Source # reapplyBlock :: Globals -> NewEpochState (ShelleyEra crypto) -> Block (ShelleyEra crypto) -> NewEpochState (ShelleyEra crypto) Source #
PraosCrypto c => ApplyTx (ShelleyEra c) Source #
Instance details Defined in Shelley.Spec.Ledger.API.Mempool Methods applyTxs :: MonadError (ApplyTxError (ShelleyEra c)) m => Globals -> SlotNo -> Seq (Tx (ShelleyEra c)) -> NewEpochState (ShelleyEra c) -> m (NewEpochState (ShelleyEra c)) Source #
PraosCrypto crypto => ShelleyBasedEra (ShelleyEra crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.API
Crypto c => Embed (PPUP (ShelleyEra c)) (UTXO (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo Methods wrapFailed :: PredicateFailure (PPUP (ShelleyEra c)) -> PredicateFailure (UTXO (ShelleyEra c)) Source #
Crypto c => Embed (UTXO (ShelleyEra c)) (UTXOW (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow Methods wrapFailed :: PredicateFailure (UTXO (ShelleyEra c)) -> PredicateFailure (UTXOW (ShelleyEra c)) Source #
type PredicateFailure (UTXO (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type PredicateFailure (UTXO (ShelleyEra c)) = UtxoPredicateFailure (ShelleyEra c)
type PredicateFailure (UTXOW (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type PredicateFailure (UTXOW (ShelleyEra c)) = UtxowPredicateFailure (ShelleyEra c)
type BaseM (UTXO (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type BaseM (UTXO (ShelleyEra c)) = ShelleyBase
type BaseM (UTXOW (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type BaseM (UTXOW (ShelleyEra c)) = ShelleyBase
type Environment (UTXO (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type Environment (UTXO (ShelleyEra c)) = UtxoEnv (ShelleyEra c)
type Environment (UTXOW (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type Environment (UTXOW (ShelleyEra c)) = UtxoEnv (ShelleyEra c)
type Signal (UTXO (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type Signal (UTXO (ShelleyEra c)) = Tx (ShelleyEra c)
type Signal (UTXOW (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type Signal (UTXOW (ShelleyEra c)) = Tx (ShelleyEra c)
type State (UTXO (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type State (UTXO (ShelleyEra c)) = UTxOState (ShelleyEra c)
type State (UTXOW (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type State (UTXOW (ShelleyEra c)) = UTxOState (ShelleyEra c)
type AuxiliaryData (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley type AuxiliaryData (ShelleyEra c) = Metadata
type Script (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley type Script (ShelleyEra c) = MultiSig c
type TxBody (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley type TxBody (ShelleyEra c) = TxBody (ShelleyEra c)
type Value (ShelleyEra _c) Source #
Instance details Defined in Cardano.Ledger.Shelley type Value (ShelleyEra _c) = Coin
type Crypto (ShelleyEra c) Source #
Instance details Defined in Cardano.Ledger.Shelley type Crypto (ShelleyEra c) = c