cardano-sl-0.4.3: Cardano SL main implementation

Safe HaskellNone
LanguageHaskell2010

Pos.Explorer

Description

Explorer functionality (to be moved into cardano-explorer).

Synopsis

Documentation

data TxExtra Source #

Instances

Eq TxExtra Source # 

Methods

(==) :: TxExtra -> TxExtra -> Bool #

(/=) :: TxExtra -> TxExtra -> Bool #

Show TxExtra Source # 
Generic TxExtra Source # 

Associated Types

type Rep TxExtra :: * -> * #

Methods

from :: TxExtra -> Rep TxExtra x #

to :: Rep TxExtra x -> TxExtra #

type Rep TxExtra Source # 
type Rep TxExtra = D1 (MetaData "TxExtra" "Pos.Explorer.Core.Types" "cardano-sl-0.4.3-Ku3Vny2rTNkDjtuqkt7DM9" False) (C1 (MetaCons "TxExtra" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "teBlockchainPlace") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe (HeaderHash, Word32)))) ((:*:) (S1 (MetaSel (Just Symbol "teReceivedTime") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Timestamp)) (S1 (MetaSel (Just Symbol "teInputOutputs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty TxOutAux))))))

data TxExtra Source #

Instances

Eq TxExtra Source # 

Methods

(==) :: TxExtra -> TxExtra -> Bool #

(/=) :: TxExtra -> TxExtra -> Bool #

Show TxExtra Source # 
Generic TxExtra Source # 

Associated Types

type Rep TxExtra :: * -> * #

Methods

from :: TxExtra -> Rep TxExtra x #

to :: Rep TxExtra x -> TxExtra #

type Rep TxExtra Source # 
type Rep TxExtra = D1 (MetaData "TxExtra" "Pos.Explorer.Core.Types" "cardano-sl-0.4.3-Ku3Vny2rTNkDjtuqkt7DM9" False) (C1 (MetaCons "TxExtra" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "teBlockchainPlace") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe (HeaderHash, Word32)))) ((:*:) (S1 (MetaSel (Just Symbol "teReceivedTime") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Timestamp)) (S1 (MetaSel (Just Symbol "teInputOutputs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty TxOutAux))))))

explorerTxpGlobalSettings :: TxpGlobalSettings Source #

Settings used for global transactions data processing used by explorer.

eTxProcessTransaction :: ETxpLocalWorkMode m => (TxId, TxAux) -> m () Source #

eTxNormalize :: (MonadDB m, MonadTxpMem ExplorerExtra m) => m () Source #

  1. Recompute UtxoView by current MemPool | 2. Remove invalid transactions from MemPool | 3. Set new tip to txp local data

class MonadTxExtraRead m => MonadTxExtra m where Source #

Methods

putTxExtra :: TxId -> TxExtra -> m () Source #

delTxExtra :: TxId -> m () Source #

updateAddrHistory :: Address -> AddrHistory -> m () Source #

putTxExtra :: (MonadTrans t, MonadTxExtra m', t m' ~ m) => TxId -> TxExtra -> m () Source #

delTxExtra :: (MonadTrans t, MonadTxExtra m', t m' ~ m) => TxId -> m () Source #

updateAddrHistory :: (MonadTrans t, MonadTxExtra m', t m' ~ m) => Address -> AddrHistory -> m () Source #

eApplyToil :: EGlobalToilMode m => Timestamp -> [(TxAux, TxUndo)] -> HeaderHash -> m () Source #

Apply transactions from one block. They must be valid (for example, it implies topological sort).

eRollbackToil :: EGlobalToilMode m => [(TxAux, TxUndo)] -> m () Source #

Rollback transactions from one block.

eNormalizeToil :: ELocalToilMode m => [(TxId, (TxAux, TxExtra))] -> m () Source #

Get rid of invalid transactions. All valid transactions will be added to mem pool and applied to utxo.

eProcessTx :: (ELocalToilMode m, MonadError ToilVerFailure m) => (TxId, TxAux) -> TxExtra -> m () Source #

Verify one transaction and also add it to mem pool and apply to utxo if transaction is valid.

data ExplorerExtra Source #

Constructors

ExplorerExtra 

Fields

eeAddrHistories :: Lens' ExplorerExtra UpdatedAddrHistories Source #

data ExplorerExtra Source #

Constructors

ExplorerExtra 

Fields

eeAddrHistories :: Lens' ExplorerExtra UpdatedAddrHistories Source #