| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Tracer.Transformers.ObserveOutcome
Contents
Description
Observing events with annotations of thread id and time.
Synopsis
-
class
Monad
m =>
Outcome
m a
where
- type IntermediateValue a
- type OutcomeMetric a
- classifyObservable :: a -> m OutcomeProgressionStatus
- captureObservableValue :: a -> m ( IntermediateValue a)
- computeOutcomeMetric :: a -> IntermediateValue a -> IntermediateValue a -> m ( OutcomeMetric a)
- type OutcomeEnhancedTracer m a = Tracer m ( Either a ( OutcomeFidelity ( OutcomeMetric a)))
- data OutcomeFidelity a
- data OutcomeProgressionStatus
- mkOutcomeExtractor :: forall m a. ( MonadIO m, MonadMask m, Outcome m a) => m ( OutcomeEnhancedTracer m a -> Tracer m a)
transformer
class Monad m => Outcome m a where Source #
Methods
classifyObservable :: a -> m OutcomeProgressionStatus Source #
captureObservableValue :: a -> m ( IntermediateValue a) Source #
computeOutcomeMetric :: a -> IntermediateValue a -> IntermediateValue a -> m ( OutcomeMetric a) Source #
type OutcomeEnhancedTracer m a = Tracer m ( Either a ( OutcomeFidelity ( OutcomeMetric a))) Source #
The Maybe (OutcomeMetric a) captures the 'DeltaQ-ness' of the nature of outcomes, may / may not complete.
data OutcomeFidelity a Source #
Also need to know that observables happened in the "right way"
Constructors
| EndsBeforeStarted | |
| StartsBeforeEnds a | |
| ProgressedNormally a |
Instances
| Show a => Show ( OutcomeFidelity a) Source # | |
|
Defined in Control.Tracer.Transformers.ObserveOutcome |
|
data OutcomeProgressionStatus Source #
Constructors
| OutcomeStarts | |
| OutcomeOther | |
| OutcomeEnds |
Instances
| Eq OutcomeProgressionStatus Source # | |
|
Defined in Control.Tracer.Transformers.ObserveOutcome Methods (==) :: OutcomeProgressionStatus -> OutcomeProgressionStatus -> Bool Source # (/=) :: OutcomeProgressionStatus -> OutcomeProgressionStatus -> Bool Source # |
|
mkOutcomeExtractor :: forall m a. ( MonadIO m, MonadMask m, Outcome m a) => m ( OutcomeEnhancedTracer m a -> Tracer m a) Source #
Generic Trace transformer. It could be written to take an initial argument, but restricting the scope of that per-invocation state seems more appropriate (for the moment). That may be of use if/when explict management of timeout was required and/or non-termination of the outcome at the end of a run was of interest.