small-steps-test-0.1.0.0: Small step semantics testing library
Safe HaskellNone
LanguageHaskell2010

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
(Eq (Environment s), Eq (State s), Eq (Signal s), Eq (PredicateFailure s)) => Eq (Trace s) Source # 
Instance details

Defined in Control.State.Transition.Invalid.Trace

Methods

(==) :: Trace s -> Trace s -> Bool #

(/=) :: Trace s -> Trace s -> Bool #

(Show (Environment s), Show (State s), Show (Signal s), Show (PredicateFailure s)) => Show (Trace s) Source # 
Instance details

Defined in Control.State.Transition.Invalid.Trace

Methods

showsPrec :: Int -> Trace s -> ShowS #

show :: Trace s -> String #

showList :: [Trace s] -> ShowS #

Generic (Trace s) Source # 
Instance details

Defined in Control.State.Transition.Invalid.Trace

Associated Types

type Rep (Trace s) :: Type -> Type #

Methods

from :: Trace s -> Rep (Trace s) x #

to :: Rep (Trace s) x -> Trace s #

(NoThunks (Environment s), NoThunks (State s), NoThunks (Signal s), NoThunks (PredicateFailure s)) => NoThunks (Trace s) Source # 
Instance details

Defined in Control.State.Transition.Invalid.Trace

type Rep (Trace s) Source # 
Instance details

Defined in Control.State.Transition.Invalid.Trace

type Rep (Trace s) = D1 ('MetaData "Trace" "Control.State.Transition.Invalid.Trace" "small-steps-test-0.1.0.0-3xV4mf9LJAC8bjguzO83ew" '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 [[PredicateFailure s]] (State s))))))