Safe Haskell	None
Language	Haskell2010

Bcc.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 Source # (>>) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe b Source # return ∷ a → StrictMaybe a Source #
Functor StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods fmap ∷ (a → b) → StrictMaybe a → StrictMaybe b Source # (<$) ∷ a → StrictMaybe b → StrictMaybe a Source #
MonadFail StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods fail ∷ String → StrictMaybe a Source #
Applicative StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods pure ∷ a → StrictMaybe a Source # (<>) ∷ StrictMaybe (a → b) → StrictMaybe a → StrictMaybe b Source # liftA2 ∷ (a → b → c) → StrictMaybe a → StrictMaybe b → StrictMaybe c Source # (>) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe b Source # (<*) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe a Source #
Foldable StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods fold ∷ Monoid m ⇒ StrictMaybe m → m Source # foldMap ∷ Monoid m ⇒ (a → m) → StrictMaybe a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → StrictMaybe a → m Source # foldr ∷ (a → b → b) → b → StrictMaybe a → b Source # foldr' ∷ (a → b → b) → b → StrictMaybe a → b Source # foldl ∷ (b → a → b) → b → StrictMaybe a → b Source # foldl' ∷ (b → a → b) → b → StrictMaybe a → b Source # foldr1 ∷ (a → a → a) → StrictMaybe a → a Source # foldl1 ∷ (a → a → a) → StrictMaybe a → a Source # toList ∷ StrictMaybe a → [a] Source # null ∷ StrictMaybe a → Bool Source # length ∷ StrictMaybe a → Int Source # elem ∷ Eq a ⇒ a → StrictMaybe a → Bool Source # maximum ∷ Ord a ⇒ StrictMaybe a → a Source # minimum ∷ Ord a ⇒ StrictMaybe a → a Source # sum ∷ Num a ⇒ StrictMaybe a → a Source # product ∷ Num a ⇒ StrictMaybe a → a Source #
Traversable StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods traverse ∷ Applicative f ⇒ (a → f b) → StrictMaybe a → f (StrictMaybe b) Source # sequenceA ∷ Applicative f ⇒ StrictMaybe (f a) → f (StrictMaybe a) Source # mapM ∷ Monad m ⇒ (a → m b) → StrictMaybe a → m (StrictMaybe b) Source # sequence ∷ Monad m ⇒ StrictMaybe (m a) → m (StrictMaybe a) Source #
Crypto era ~ crypto ⇒ HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash crypto))
Instance details Defined in Bcc.Ledger.SophieMA.TxBody Methods getField ∷ TxBody era → StrictMaybe (AuxiliaryDataHash crypto) Source #
c ~ Crypto era ⇒ HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash c))
Instance details Defined in Bcc.Ledger.Aurum.TxBody Methods getField ∷ TxBody era → StrictMaybe (AuxiliaryDataHash c) Source #
Crypto era ~ crypto ⇒ HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash crypto))
Instance details Defined in Sophie.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictMaybe (AuxiliaryDataHash crypto) Source #
aux ~ AuxiliaryData era ⇒ HasField "auxiliaryData" (Tx era) (StrictMaybe aux)
Instance details Defined in Sophie.Spec.Ledger.Tx Methods getField ∷ Tx era → StrictMaybe aux Source #
c ~ Crypto era ⇒ HasField "datahash" (TxOut era) (StrictMaybe (DataHash c))
Instance details Defined in Bcc.Ledger.Aurum.TxBody Methods getField ∷ TxOut era → StrictMaybe (DataHash c) Source #
c ~ Crypto era ⇒ HasField "scriptIntegrityHash" (TxBody era) (StrictMaybe (ScriptIntegrityHash c))
Instance details Defined in Bcc.Ledger.Aurum.TxBody Methods getField ∷ TxBody era → StrictMaybe (ScriptIntegrityHash c) Source #
HasField "txnetworkid" (TxBody era) (StrictMaybe Network)
Instance details Defined in Bcc.Ledger.Aurum.TxBody Methods getField ∷ TxBody era → StrictMaybe Network Source #
HasField "update" (TxBody era) (StrictMaybe (Update era))
Instance details Defined in Bcc.Ledger.SophieMA.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) Source #
HasField "update" (TxBody era) (StrictMaybe (Update era))
Instance details Defined in Bcc.Ledger.Aurum.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) Source #
HasField "update" (TxBody era) (StrictMaybe (Update era))
Instance details Defined in Sophie.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) Source #
c ~ Crypto era ⇒ HasField "wppHash" (TxBody era) (StrictMaybe (ScriptIntegrityHash c))
Instance details Defined in Bcc.Ledger.Aurum.TxBody Methods getField ∷ TxBody era → StrictMaybe (ScriptIntegrityHash c) Source #
Eq a ⇒ Eq (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods (==) ∷ StrictMaybe a → StrictMaybe a → Bool Source # (/=) ∷ StrictMaybe a → StrictMaybe a → Bool Source #
Ord a ⇒ Ord (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods compare ∷ StrictMaybe a → StrictMaybe a → Ordering Source # (<) ∷ StrictMaybe a → StrictMaybe a → Bool Source # (<=) ∷ StrictMaybe a → StrictMaybe a → Bool Source # (>) ∷ StrictMaybe a → StrictMaybe a → Bool Source # (>=) ∷ StrictMaybe a → StrictMaybe a → Bool Source # max ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a Source # min ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a Source #
Show a ⇒ Show (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods showsPrec ∷ Int → StrictMaybe a → ShowS Source # show ∷ StrictMaybe a → String Source # showList ∷ [StrictMaybe a] → ShowS Source #
Generic (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Associated Types type Rep (StrictMaybe a) ∷ Type → Type Source # Methods from ∷ StrictMaybe a → Rep (StrictMaybe a) x Source # to ∷ Rep (StrictMaybe a) x → StrictMaybe a Source #
NFData a ⇒ NFData (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods rnf ∷ StrictMaybe a → () Source #
Era era ⇒ ToCBOR (PParamsUpdate era)
Instance details Defined in Sophie.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 Bcc.Ledger.Aurum.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 Sophie.Spec.Ledger.PParams Methods fromCBOR ∷ Decoder s (PParamsUpdate era) # label ∷ Proxy (PParamsUpdate era) → Text #
Era era ⇒ FromCBOR (PParamsUpdate era)
Instance details Defined in Bcc.Ledger.Aurum.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 Sophie.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 Bcc.Ledger.Aurum.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 Bcc.Ledger.Aurum.PParams Methods (==) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (/=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source #
Eq (PParams' StrictMaybe era)
Instance details Defined in Sophie.Spec.Ledger.PParams Methods (==) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (/=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source #
Ord (PParams' StrictMaybe era)
Instance details Defined in Bcc.Ledger.Aurum.PParams Methods compare ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Ordering Source # (<) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (<=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (>) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (>=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # max ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era Source # min ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era Source #
Ord (PParams' StrictMaybe era)
Instance details Defined in Sophie.Spec.Ledger.PParams Methods compare ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Ordering Source # (<) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (<=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (>) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # (>=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool Source # max ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era Source # min ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era Source #
Show (PParams' StrictMaybe era)
Instance details Defined in Bcc.Ledger.Aurum.PParams Methods showsPrec ∷ Int → PParams' StrictMaybe era → ShowS Source # show ∷ PParams' StrictMaybe era → String Source # showList ∷ [PParams' StrictMaybe era] → ShowS Source #
Show (PParams' StrictMaybe era)
Instance details Defined in Sophie.Spec.Ledger.PParams Methods showsPrec ∷ Int → PParams' StrictMaybe era → ShowS Source # show ∷ PParams' StrictMaybe era → String Source # showList ∷ [PParams' StrictMaybe era] → ShowS Source #
NFData (PParams' StrictMaybe era)
Instance details Defined in Bcc.Ledger.Aurum.PParams Methods rnf ∷ PParams' StrictMaybe era → () Source #
NFData (PParams' StrictMaybe era)
Instance details Defined in Sophie.Spec.Ledger.PParams Methods rnf ∷ PParams' StrictMaybe era → () Source #
PrettyA (PParams' StrictMaybe era)
Instance details Defined in Bcc.Ledger.Aurum.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-9bb60b2269753b9b74c2972e1ef689287971c4b9a0b3b88dcbd67e102bd0a574" '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 #