shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.API.Mempool

Description

Interface to the Shelley ledger for the purposes of managing a Shelley mempool.

Documentation

class (ChainData (Tx era), AnnotatedData (Tx era), Eq (ApplyTxError era), Show (ApplyTxError era), Typeable (ApplyTxError era), SerialisableData (ApplyTxError era)) ⇒ ApplyTx era where Source #

Minimal complete definition

Nothing

Methods

applyTxsMonadError (ApplyTxError era) m ⇒ GlobalsSlotNoSeq (Tx era) → NewEpochState era → m (NewEpochState era) Source #

default applyTxs ∷ (MonadError (ApplyTxError era) m, STS (LEDGERS era)) ⇒ GlobalsSlotNoSeq (Tx era) → NewEpochState era → m (NewEpochState era) Source #

Instances

Instances details
PraosCrypto c ⇒ ApplyTx (ShelleyEra c) Source # 
Instance details

Defined in Shelley.Spec.Ledger.API.Mempool

data ApplyTxError era Source #

Constructors

ApplyTxError [PredicateFailure (LEDGERS era)] 

Instances

Instances details
Eq (PredicateFailure (LEDGERS era)) ⇒ Eq (ApplyTxError era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.API.Mempool

Methods

(==)ApplyTxError era → ApplyTxError era → Bool #

(/=)ApplyTxError era → ApplyTxError era → Bool #

Show (PredicateFailure (LEDGERS era)) ⇒ Show (ApplyTxError era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.API.Mempool

Methods

showsPrecIntApplyTxError era → ShowS #

showApplyTxError era → String #

showList ∷ [ApplyTxError era] → ShowS #

(ShelleyBased era, ToCBOR (PredicateFailure (LEDGERS era))) ⇒ ToCBOR (ApplyTxError era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.API.Mempool

Methods

toCBORApplyTxError era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ApplyTxError era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ApplyTxError era] → Size Source #

(ShelleyBased era, FromCBOR (PredicateFailure (LEDGERS era))) ⇒ FromCBOR (ApplyTxError era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.API.Mempool