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)
- 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 SockAddr
- 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 #
Re-exports
data NodeKernel (m :: Type -> Type) remotePeer localPeer blk Source #
Interface against running relay node
Constructors
NodeKernel | |
Fields
|
type RemoteConnectionId = ConnectionId SockAddr #
data StrictMaybe a Source #
Strict Maybe
.
TODO move to cardano-prelude
Instances
fromSMaybe :: a -> StrictMaybe a -> a Source #