shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Cardano.Ledger.Shelley

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)) ∷ TypeType 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

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)) ∷ TypeType Source #

type PredicateFailure (UTXOW (ShelleyEra c)) = (b ∷ Type) Source #

Crypto c ⇒ Era (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley

Associated Types

type Crypto (ShelleyEra c) Source #

(Crypto c, TxBodyConstraints (ShelleyEra c)) ⇒ ValidateScript (ShelleyEra c) Source #

instance of MultiSignatureScript type class

Instance details

Defined in Shelley.Spec.Ledger.Tx

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 Script (ShelleyEra c) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

type TxBody (ShelleyEra c) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

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