small-steps-1.1.2.0: Small step semantics

Safe Haskell	None
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)

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

Methods

from ∷ Trace s → Rep (Trace s) x #

to ∷ Rep (Trace s) x → Trace s #

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

show ∷ Trace s → String #

showList ∷ [Trace s] → ShowS #

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

(/=) ∷ Trace s → Trace s → Bool #

(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.2.0-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))))))