DeltaQ.Methods

This module collects common methods for constructing DeltaQ and analyzing them.

Slack / Hazard

meetsRequirement :: DeltaQ o => o -> (Duration o, Probability o) -> SlackOrHazard o

Compute "slack or hazard" with respect to a given reference point.

data SlackOrHazard o

The "slack or hazard" represents the distance between a reference point in (time, probability) space and a given DeltaQ.

• Slack represents the case where the DeltaQ meets the performance requirements set by the reference point.
• Hazard represents the case where the DeltaQ fails to meet the performance requirements set by the reference point.

Both cases include information of how far the reference point is away.

Constructors

Slack (Duration o) (Probability o)

We have some slack. Specifically, we have Duration at the same probability as the reference, and Probability at the same duration as the reference.

Hazard (Eventually (Duration o)) (Probability o)

We fail to meet the reference point. Specifically, we overshoot by Duration at the same probability as the reference, and by Probability at the same duration as the reference.

Instances

(Show (Duration o), Show (Probability o)) => Show (SlackOrHazard o)

Defined in DeltaQ.Methods

Methods

showsPrec :: Int -> SlackOrHazard o -> ShowS

show :: SlackOrHazard o -> String

showList :: [SlackOrHazard o] -> ShowS

(Eq (Duration o), Eq (Probability o)) => Eq (SlackOrHazard o)

Defined in DeltaQ.Methods

Methods

(==) :: SlackOrHazard o -> SlackOrHazard o -> Bool

(/=) :: SlackOrHazard o -> SlackOrHazard o -> Bool

isSlack :: SlackOrHazard o -> Bool

Test whether the given SlackOrHazard is Slack.

isHazard :: SlackOrHazard o -> Bool

Test whether the given SlackOrHazard is Hazard.