| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Util.Enclose
Description
Utility functions for enclosing a code segment with tracing events.
Synopsis
- type Enclosing = Enclosing' ()
-
data
Enclosing'
a
- = RisingEdge
- | FallingEdgeWith !a
- encloseWith :: Applicative m => Tracer m Enclosing -> m a -> m a
- pattern FallingEdge :: Enclosing' ()
Documentation
type Enclosing = Enclosing' () Source #
data Enclosing' a Source #
Constructors
| RisingEdge |
Preceding a specific code segment. |
| FallingEdgeWith !a |
Succeeding a specific code segment, with extra information. |
Instances
| Eq a => Eq ( Enclosing' a) Source # | |
|
Defined in Ouroboros.Consensus.Util.Enclose Methods (==) :: Enclosing' a -> Enclosing' a -> Bool Source # (/=) :: Enclosing' a -> Enclosing' a -> Bool Source # |
|
| Ord a => Ord ( Enclosing' a) Source # | |
|
Defined in Ouroboros.Consensus.Util.Enclose Methods compare :: Enclosing' a -> Enclosing' a -> Ordering Source # (<) :: Enclosing' a -> Enclosing' a -> Bool Source # (<=) :: Enclosing' a -> Enclosing' a -> Bool Source # (>) :: Enclosing' a -> Enclosing' a -> Bool Source # (>=) :: Enclosing' a -> Enclosing' a -> Bool Source # max :: Enclosing' a -> Enclosing' a -> Enclosing' a Source # min :: Enclosing' a -> Enclosing' a -> Enclosing' a Source # |
|
| Show a => Show ( Enclosing' a) Source # | |
|
Defined in Ouroboros.Consensus.Util.Enclose |
|
encloseWith :: Applicative m => Tracer m Enclosing -> m a -> m a Source #
Enclose an action using the given
Tracer
.
pattern FallingEdge :: Enclosing' () Source #