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 #