Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Tracing.Kernel
Contents
Synopsis
- newtype NodeKernelData blk = NodeKernelData {}
- mkNodeKernelData ∷ IO (NodeKernelData blk)
- setNodeKernel ∷ NodeKernelData blk → NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO ()
- mapNodeKernelDataIO ∷ (NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO a) → NodeKernelData blk → IO (StrictMaybe a)
- nkQueryLedger ∷ IsLedger (LedgerState blk) ⇒ (ExtLedgerState blk → a) → NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO a
- nkQueryChain ∷ (AnchoredFragment (Header blk) → a) → NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO a
- data NodeKernel (m ∷ Type → Type) remotePeer localPeer blk = NodeKernel {
- getChainDB ∷ ChainDB m blk
- getMempool ∷ Mempool m blk TicketNo
- getTopLevelConfig ∷ TopLevelConfig blk
- getFetchClientRegistry ∷ FetchClientRegistry remotePeer (Header blk) blk m
- getNodeCandidates ∷ StrictTVar m (Map remotePeer (StrictTVar m (AnchoredFragment (Header blk))))
- getTracers ∷ Tracers m remotePeer localPeer blk
- type LocalConnectionId = ConnectionId LocalAddress
- type RemoteConnectionId = ConnectionId RemoteAddress
- data StrictMaybe a
- fromSMaybe ∷ a → StrictMaybe a → a
Documentation
newtype NodeKernelData blk Source #
Constructors
NodeKernelData | |
Fields |
mkNodeKernelData ∷ IO (NodeKernelData blk) Source #
setNodeKernel ∷ NodeKernelData blk → NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO () Source #
mapNodeKernelDataIO ∷ (NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO a) → NodeKernelData blk → IO (StrictMaybe a) Source #
nkQueryLedger ∷ IsLedger (LedgerState blk) ⇒ (ExtLedgerState blk → a) → NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO a Source #
nkQueryChain ∷ (AnchoredFragment (Header blk) → a) → NodeKernel IO RemoteConnectionId LocalConnectionId blk → IO a Source #
Re-exports
data NodeKernel (m ∷ Type → Type) remotePeer localPeer blk #
Constructors
NodeKernel | |
Fields
|
type LocalConnectionId = ConnectionId LocalAddress #
type RemoteConnectionId = ConnectionId RemoteAddress #
data StrictMaybe a #
Instances
Monad StrictMaybe | |
Defined in Data.Maybe.Strict Methods (>>=) ∷ StrictMaybe a → (a → StrictMaybe b) → StrictMaybe b # (>>) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe b # return ∷ a → StrictMaybe a # | |
Functor StrictMaybe | |
Defined in Data.Maybe.Strict | |
MonadFail StrictMaybe | |
Defined in Data.Maybe.Strict Methods fail ∷ String → StrictMaybe a # | |
Applicative StrictMaybe | |
Defined in Data.Maybe.Strict Methods pure ∷ a → StrictMaybe a # (<*>) ∷ StrictMaybe (a → b) → StrictMaybe a → StrictMaybe b # liftA2 ∷ (a → b → c) → StrictMaybe a → StrictMaybe b → StrictMaybe c # (*>) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe b # (<*) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe a # | |
Foldable StrictMaybe | |
Defined in Data.Maybe.Strict Methods fold ∷ Monoid m ⇒ StrictMaybe m → m # foldMap ∷ Monoid m ⇒ (a → m) → StrictMaybe a → m # foldMap' ∷ Monoid m ⇒ (a → m) → StrictMaybe a → m # foldr ∷ (a → b → b) → b → StrictMaybe a → b # foldr' ∷ (a → b → b) → b → StrictMaybe a → b # foldl ∷ (b → a → b) → b → StrictMaybe a → b # foldl' ∷ (b → a → b) → b → StrictMaybe a → b # foldr1 ∷ (a → a → a) → StrictMaybe a → a # foldl1 ∷ (a → a → a) → StrictMaybe a → a # toList ∷ StrictMaybe a → [a] # null ∷ StrictMaybe a → Bool # length ∷ StrictMaybe a → Int # elem ∷ Eq a ⇒ a → StrictMaybe a → Bool # maximum ∷ Ord a ⇒ StrictMaybe a → a # minimum ∷ Ord a ⇒ StrictMaybe a → a # sum ∷ Num a ⇒ StrictMaybe a → a # product ∷ Num a ⇒ StrictMaybe a → a # | |
Traversable StrictMaybe | |
Defined in Data.Maybe.Strict Methods traverse ∷ Applicative f ⇒ (a → f b) → StrictMaybe a → f (StrictMaybe b) # sequenceA ∷ Applicative f ⇒ StrictMaybe (f a) → f (StrictMaybe a) # mapM ∷ Monad m ⇒ (a → m b) → StrictMaybe a → m (StrictMaybe b) # sequence ∷ Monad m ⇒ StrictMaybe (m a) → m (StrictMaybe a) # | |
Crypto era ~ crypto ⇒ HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash crypto)) | |
Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField ∷ TxBody era → StrictMaybe (AuxiliaryDataHash crypto) # | |
c ~ Crypto era ⇒ HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash c)) | |
Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe (AuxiliaryDataHash c) # | |
Crypto era ~ crypto ⇒ HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash crypto)) | |
Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictMaybe (AuxiliaryDataHash crypto) # | |
aux ~ AuxiliaryData era ⇒ HasField "auxiliaryData" (Tx era) (StrictMaybe aux) | |
Defined in Shelley.Spec.Ledger.Tx Methods getField ∷ Tx era → StrictMaybe aux # | |
c ~ Crypto era ⇒ HasField "datahash" (TxOut era) (StrictMaybe (DataHash c)) | |
Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxOut era → StrictMaybe (DataHash c) # | |
c ~ Crypto era ⇒ HasField "scriptIntegrityHash" (TxBody era) (StrictMaybe (ScriptIntegrityHash c)) | |
Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe (ScriptIntegrityHash c) # | |
HasField "txnetworkid" (TxBody era) (StrictMaybe Network) | |
Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe Network # | |
HasField "update" (TxBody era) (StrictMaybe (Update era)) | |
Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) # | |
HasField "update" (TxBody era) (StrictMaybe (Update era)) | |
Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) # | |
HasField "update" (TxBody era) (StrictMaybe (Update era)) | |
Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) # | |
c ~ Crypto era ⇒ HasField "wppHash" (TxBody era) (StrictMaybe (ScriptIntegrityHash c)) | |
Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe (ScriptIntegrityHash c) # | |
Eq a ⇒ Eq (StrictMaybe a) | |
Defined in Data.Maybe.Strict | |
Ord a ⇒ Ord (StrictMaybe a) | |
Defined in Data.Maybe.Strict Methods compare ∷ StrictMaybe a → StrictMaybe a → Ordering # (<) ∷ StrictMaybe a → StrictMaybe a → Bool # (<=) ∷ StrictMaybe a → StrictMaybe a → Bool # (>) ∷ StrictMaybe a → StrictMaybe a → Bool # (>=) ∷ StrictMaybe a → StrictMaybe a → Bool # max ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a # min ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a # | |
Show a ⇒ Show (StrictMaybe a) | |
Defined in Data.Maybe.Strict Methods showsPrec ∷ Int → StrictMaybe a → ShowS # show ∷ StrictMaybe a → String # showList ∷ [StrictMaybe a] → ShowS # | |
Generic (StrictMaybe a) | |
Defined in Data.Maybe.Strict Associated Types type Rep (StrictMaybe a) ∷ Type → Type # | |
NFData a ⇒ NFData (StrictMaybe a) | |
Defined in Data.Maybe.Strict Methods rnf ∷ StrictMaybe a → () # | |
Era era ⇒ ToCBOR (PParamsUpdate era) | |
Defined in Shelley.Spec.Ledger.PParams | |
Era era ⇒ ToCBOR (PParamsUpdate era) | |
Defined in Cardano.Ledger.Alonzo.PParams | |
ToCBOR a ⇒ ToCBOR (StrictMaybe a) | |
Defined in Data.Maybe.Strict Methods toCBOR ∷ StrictMaybe a → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StrictMaybe a) → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StrictMaybe a] → Size # | |
Era era ⇒ FromCBOR (PParamsUpdate era) | |
Era era ⇒ FromCBOR (PParamsUpdate era) | |
FromCBOR a ⇒ FromCBOR (StrictMaybe a) | |
Defined in Data.Maybe.Strict | |
ToJSON a ⇒ ToJSON (StrictMaybe a) | |
Defined in Data.Maybe.Strict Methods toJSON ∷ StrictMaybe a → Value # toEncoding ∷ StrictMaybe a → Encoding # toJSONList ∷ [StrictMaybe a] → Value # toEncodingList ∷ [StrictMaybe a] → Encoding # | |
FromJSON a ⇒ FromJSON (StrictMaybe a) | |
Defined in Data.Maybe.Strict | |
NoThunks (PParamsUpdate era) | |
Defined in Shelley.Spec.Ledger.PParams | |
NoThunks (PParamsUpdate era) | |
Defined in Cardano.Ledger.Alonzo.PParams | |
NoThunks a ⇒ NoThunks (StrictMaybe a) | |
Defined in Data.Maybe.Strict Methods noThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo) wNoThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (StrictMaybe a) → String | |
Default (StrictMaybe t) | |
Defined in Data.Maybe.Strict Methods def ∷ StrictMaybe t | |
Eq (PParams' StrictMaybe era) | |
Defined in Cardano.Ledger.Alonzo.PParams Methods (==) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # (/=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # | |
Eq (PParams' StrictMaybe era) | |
Defined in Shelley.Spec.Ledger.PParams Methods (==) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # (/=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # | |
Ord (PParams' StrictMaybe era) | |
Defined in Cardano.Ledger.Alonzo.PParams Methods compare ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Ordering # (<) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # (<=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # (>) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # (>=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # max ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era # min ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era # | |
Ord (PParams' StrictMaybe era) | |
Defined in Shelley.Spec.Ledger.PParams Methods compare ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Ordering # (<) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # (<=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # (>) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # (>=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # max ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era # min ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era # | |
Show (PParams' StrictMaybe era) | |
Defined in Cardano.Ledger.Alonzo.PParams Methods showsPrec ∷ Int → PParams' StrictMaybe era → ShowS # show ∷ PParams' StrictMaybe era → String # showList ∷ [PParams' StrictMaybe era] → ShowS # | |
Show (PParams' StrictMaybe era) | |
Defined in Shelley.Spec.Ledger.PParams Methods showsPrec ∷ Int → PParams' StrictMaybe era → ShowS # show ∷ PParams' StrictMaybe era → String # showList ∷ [PParams' StrictMaybe era] → ShowS # | |
NFData (PParams' StrictMaybe era) | |
Defined in Cardano.Ledger.Alonzo.PParams Methods rnf ∷ PParams' StrictMaybe era → () # | |
NFData (PParams' StrictMaybe era) | |
Defined in Shelley.Spec.Ledger.PParams Methods rnf ∷ PParams' StrictMaybe era → () # | |
PrettyA (PParams' StrictMaybe era) | |
Defined in Cardano.Ledger.Alonzo.PParams Methods prettyA ∷ PParams' StrictMaybe era → PDoc | |
type Rep (StrictMaybe a) | |
Defined in Data.Maybe.Strict type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Data.Maybe.Strict" "strict-containers-0.1.0.0-01a34ede31d6a007e9eaf8665a24c1d0a8d1f5fc754c149ff6a0652c036332fd" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))) |
fromSMaybe ∷ a → StrictMaybe a → a #