shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

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 #

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) => STS (UTXOW (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

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

(Crypto c, TxBodyConstraints (ShelleyEra c)) => ValidateScript (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley

PraosCrypto crypto => GetLedgerView (ShelleyEra crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.API.Protocol

PraosCrypto crypto => ApplyBlock (ShelleyEra crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.API.Validation

PraosCrypto c => ApplyTx (ShelleyEra c) Source # 
Instance details

Defined in Shelley.Spec.Ledger.API.Mempool

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

Crypto c => Embed (UTXO (ShelleyEra c)) (UTXOW (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type PredicateFailure (UTXO (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

type PredicateFailure (UTXOW (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type BaseM (UTXO (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

type BaseM (UTXOW (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type Environment (UTXO (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

type Environment (UTXOW (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type Signal (UTXO (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

type Signal (UTXOW (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type State (UTXO (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

type State (UTXOW (ShelleyEra c)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type AuxiliaryData (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley

type Script (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley

type TxBody (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley

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