Safe Haskell	None
Language	Haskell2010

Cardano.Tracing.Kernel

Contents

Re-exports

Synopsis

newtype NodeKernelData blk = NodeKernelData {
- unNodeKernelData ∷ IORef (StrictMaybe (NodeKernel IO RemoteConnectionId LocalConnectionId blk))
}
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
- = SNothing
- | SJust !a
fromSMaybe ∷ a → StrictMaybe a → a

Documentation

newtype NodeKernelData blk Source #

Constructors

NodeKernelData
Fields unNodeKernelData ∷ IORef (StrictMaybe (NodeKernel IO RemoteConnectionId LocalConnectionId blk))

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 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 #

Constructors

SNothing
SJust !a

Instances

Instances details

Monad StrictMaybe
Instance details 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
Instance details Defined in Data.Maybe.Strict Methods fmap ∷ (a → b) → StrictMaybe a → StrictMaybe b # (<$) ∷ a → StrictMaybe b → StrictMaybe a #
MonadFail StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods fail ∷ String → StrictMaybe a #
Applicative StrictMaybe
Instance details 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
Instance details 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
Instance details 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))
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField ∷ TxBody era → StrictMaybe (AuxiliaryDataHash crypto) #
c ~ Crypto era ⇒ HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash c))
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe (AuxiliaryDataHash c) #
Crypto era ~ crypto ⇒ HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash crypto))
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictMaybe (AuxiliaryDataHash crypto) #
aux ~ AuxiliaryData era ⇒ HasField "auxiliaryData" (Tx era) (StrictMaybe aux)
Instance details Defined in Shelley.Spec.Ledger.Tx Methods getField ∷ Tx era → StrictMaybe aux #
c ~ Crypto era ⇒ HasField "datahash" (TxOut era) (StrictMaybe (DataHash c))
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxOut era → StrictMaybe (DataHash c) #
c ~ Crypto era ⇒ HasField "scriptIntegrityHash" (TxBody era) (StrictMaybe (ScriptIntegrityHash c))
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe (ScriptIntegrityHash c) #
HasField "txnetworkid" (TxBody era) (StrictMaybe Network)
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe Network #
HasField "update" (TxBody era) (StrictMaybe (Update era))
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) #
HasField "update" (TxBody era) (StrictMaybe (Update era))
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) #
HasField "update" (TxBody era) (StrictMaybe (Update era))
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) #
c ~ Crypto era ⇒ HasField "wppHash" (TxBody era) (StrictMaybe (ScriptIntegrityHash c))
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField ∷ TxBody era → StrictMaybe (ScriptIntegrityHash c) #
Eq a ⇒ Eq (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods (==) ∷ StrictMaybe a → StrictMaybe a → Bool # (/=) ∷ StrictMaybe a → StrictMaybe a → Bool #
Ord a ⇒ Ord (StrictMaybe a)
Instance details 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)
Instance details Defined in Data.Maybe.Strict Methods showsPrec ∷ Int → StrictMaybe a → ShowS # show ∷ StrictMaybe a → String # showList ∷ [StrictMaybe a] → ShowS #
Generic (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Associated Types type Rep (StrictMaybe a) ∷ Type → Type # Methods from ∷ StrictMaybe a → Rep (StrictMaybe a) x # to ∷ Rep (StrictMaybe a) x → StrictMaybe a #
NFData a ⇒ NFData (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods rnf ∷ StrictMaybe a → () #
Era era ⇒ ToCBOR (PParamsUpdate era)
Instance details Defined in Shelley.Spec.Ledger.PParams Methods toCBOR ∷ PParamsUpdate era → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PParamsUpdate era) → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PParamsUpdate era] → Size #
Era era ⇒ ToCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toCBOR ∷ PParamsUpdate era → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PParamsUpdate era) → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PParamsUpdate era] → Size #
ToCBOR a ⇒ ToCBOR (StrictMaybe a)
Instance details 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)
Instance details Defined in Shelley.Spec.Ledger.PParams Methods fromCBOR ∷ Decoder s (PParamsUpdate era) # label ∷ Proxy (PParamsUpdate era) → Text #
Era era ⇒ FromCBOR (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods fromCBOR ∷ Decoder s (PParamsUpdate era) # label ∷ Proxy (PParamsUpdate era) → Text #
FromCBOR a ⇒ FromCBOR (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods fromCBOR ∷ Decoder s (StrictMaybe a) # label ∷ Proxy (StrictMaybe a) → Text #
ToJSON a ⇒ ToJSON (StrictMaybe a)
Instance details 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)
Instance details Defined in Data.Maybe.Strict Methods parseJSON ∷ Value → Parser (StrictMaybe a) # parseJSONList ∷ Value → Parser [StrictMaybe a] #
NoThunks (PParamsUpdate era)
Instance details Defined in Shelley.Spec.Ledger.PParams Methods noThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PParamsUpdate era) → String
NoThunks (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods noThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PParamsUpdate era) → String
NoThunks a ⇒ NoThunks (StrictMaybe a)
Instance details 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)
Instance details Defined in Data.Maybe.Strict Methods def ∷ StrictMaybe t
Eq (PParams' StrictMaybe era)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods rnf ∷ PParams' StrictMaybe era → () #
NFData (PParams' StrictMaybe era)
Instance details Defined in Shelley.Spec.Ledger.PParams Methods rnf ∷ PParams' StrictMaybe era → () #
PrettyA (PParams' StrictMaybe era)
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods prettyA ∷ PParams' StrictMaybe era → PDoc
type Rep (StrictMaybe a)
Instance details 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 #