Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Control.State.Transition.Invalid.Trace

Description

Invalid transition system traces.

An invalid trace consists of an valid prefix, and a last signal that might be invalid. The validity of the signal depends on the probability of the trace generators of generating invalid signals.

Documentation

data Trace s Source #

Constructors

Trace
Fields validPrefix ∷ !(Trace s) signal ∷ !(Signal s) Last signal in the trace. This might cause a predicate failure, but it isn't guaranteed to do so, since invalid trace generation is probabilistic. errorOrLastState ∷ !(Either (NonEmpty (PredicateFailure s)) (State s))

Instances

Instances details

Generic (Trace s) Source #
Instance details Defined in Test.Control.State.Transition.Invalid.Trace Associated Types type Rep (Trace s) ∷ Type → Type Source # Methods from ∷ Trace s → Rep (Trace s) x Source # to ∷ Rep (Trace s) x → Trace s Source #
(Show (Environment s), Show (State s), Show (Signal s), Show (PredicateFailure s)) ⇒ Show (Trace s) Source #
Instance details Defined in Test.Control.State.Transition.Invalid.Trace Methods showsPrec ∷ Int → Trace s → ShowS Source # show ∷ Trace s → String Source # showList ∷ [Trace s] → ShowS Source #
(Eq (Environment s), Eq (State s), Eq (Signal s), Eq (PredicateFailure s)) ⇒ Eq (Trace s) Source #
Instance details Defined in Test.Control.State.Transition.Invalid.Trace Methods (==) ∷ Trace s → Trace s → Bool Source # (/=) ∷ Trace s → Trace s → Bool Source #
(NoThunks (Environment s), NoThunks (State s), NoThunks (Signal s), NoThunks (PredicateFailure s)) ⇒ NoThunks (Trace s) Source #
Instance details Defined in Test.Control.State.Transition.Invalid.Trace Methods noThunks ∷ Context → Trace s → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Trace s → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Trace s) → String Source #
type Rep (Trace s) Source #
Instance details Defined in Test.Control.State.Transition.Invalid.Trace type Rep (Trace s) = D1 ('MetaData "Trace" "Test.Control.State.Transition.Invalid.Trace" "small-steps-1.1.0.1-inplace-testlib" 'False) (C1 ('MetaCons "Trace" 'PrefixI 'True) (S1 ('MetaSel ('Just "validPrefix") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Trace s)) :: (S1 ('MetaSel ('Just "signal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Signal s)) :: S1 ('MetaSel ('Just "errorOrLastState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Either (NonEmpty (PredicateFailure s)) (State s))))))