small-steps-1.1.0.1: Small step semantics
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

Instances

Instances details
Generic (Trace s) Source # 
Instance details

Defined in Test.Control.State.Transition.Invalid.Trace

Associated Types

type Rep (Trace s) ∷ TypeType Source #

Methods

fromTrace s → Rep (Trace s) x Source #

toRep (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

showsPrecIntTrace s → ShowS Source #

showTrace 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

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))))))