tests
Safe HaskellNone
LanguageHaskell2010

Test.Control.State.Transition.Examples.Sum

Description

Simple example of a transition system whose states contain the sum of the integers seen in the signals.

Synopsis

Documentation

data SUM Source #

Instances

Instances details
STS SUM Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

Associated Types

type State SUM 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type State SUM = Int
type Signal SUM 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type Signal SUM = [Int]
type Environment SUM 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type Environment SUM = ()
type BaseM SUM 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type BaseM SUM = Identity
type Event SUM 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type Event SUM = Void
type PredicateFailure SUM 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type PredicateFailure SUM = NoFailure

Methods

initialRules ∷ [InitialRule SUM] Source #

transitionRules ∷ [TransitionRule SUM] Source #

assertions ∷ [Assertion SUM] Source #

renderAssertionViolation ∷ AssertionViolation SUM → String Source #

HasTrace SUM Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

Associated Types

type BaseEnv SUM 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type BaseEnv SUM = ()

Methods

interpretSTS ∷ BaseEnv SUM → BaseM SUM a → a Source #

envGen ∷ Word64 → Gen (Environment SUM) Source #

sigGen ∷ SignalGenerator SUM Source #

trace ∷ BaseEnv SUM → Word64 → Gen (Trace SUM) Source #

traceWithProfile ∷ BaseEnv SUM → Word64 → TraceProfile SUM → Gen (Trace SUM) Source #

traceOfLength ∷ BaseEnv SUM → Word64 → Gen (Trace SUM) Source #

traceOfLengthWithInitState ∷ BaseEnv SUM → Word64 → (Environment SUM → Gen (State SUM)) → Gen (Trace SUM) Source #

HasTrace SUM () Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

Associated Types

type BaseEnv SUM 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type BaseEnv SUM = ()

Methods

interpretSTS ∷ HasCallStack ⇒ BaseEnv SUM → BaseM SUM a → a Source #

envGen ∷ () → Gen (Environment SUM) Source #

sigGen ∷ () → Environment SUM → State SUM → Gen (Signal SUM) Source #

shrinkSignal ∷ Signal SUM → [Signal SUM] Source #

type BaseM SUM Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type BaseM SUM = Identity
type Environment SUM Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type Environment SUM = ()
type Event SUM Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type Event SUM = Void
type PredicateFailure SUM Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type PredicateFailure SUM = NoFailure
type Signal SUM Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type Signal SUM = [Int]
type State SUM Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type State SUM = Int
type BaseEnv SUM Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type BaseEnv SUM = ()
type BaseEnv SUM Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

type BaseEnv SUM = ()

data NoFailure Source #

Constructors

NoFailure 

Instances

Instances details
Show NoFailure Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

Methods

showsPrec ∷ Int → NoFailure → ShowS #

show ∷ NoFailure → String #

showList ∷ [NoFailure] → ShowS #

Eq NoFailure Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

Methods

(==) ∷ NoFailure → NoFailure → Bool #

(/=) ∷ NoFailure → NoFailure → Bool #

Ord NoFailure Source # 
Instance details

Defined in Test.Control.State.Transition.Examples.Sum

Methods

compare ∷ NoFailure → NoFailure → Ordering #

(<) ∷ NoFailure → NoFailure → Bool #

(<=) ∷ NoFailure → NoFailure → Bool #

(>) ∷ NoFailure → NoFailure → Bool #

(>=) ∷ NoFailure → NoFailure → Bool #

max ∷ NoFailure → NoFailure → NoFailure #

min ∷ NoFailure → NoFailure → NoFailure #

prop_qc_Bounded ∷ Property Source #

This property is intended to be used to manually inspect the counterexamples that we get.

prop_qc_Classified ∷ Property Source #

Property that simply classifies the trace length distribution.

prop_qc_onlyValidSignalsAreGenerated ∷ Property Source #