Safe Haskell	None
Language	Haskell2010

Test.Control.State.Transition.Examples.GlobalSum

Description

Simple example of a transition system whose states contain the sum of the integers seen in the signals, where sum is an abstract monoidal sum given in the enviroment.

Documentation

newtype Ops Source #

Constructors

Ops
Fields opSum ∷ [Int] → Int

data GSUM Source #

Instances

Instances details

STS GSUM Source #

Instance details

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

Associated Types

type State GSUM
Instance details Defined in Test.Control.State.Transition.Examples.GlobalSum type State GSUM = Int
type Signal GSUM
Instance details Defined in Test.Control.State.Transition.Examples.GlobalSum type Signal GSUM = [Int]
type Environment GSUM
Instance details Defined in Test.Control.State.Transition.Examples.GlobalSum type Environment GSUM = ()
type BaseM GSUM
Instance details Defined in Test.Control.State.Transition.Examples.GlobalSum type BaseM GSUM = Reader Ops
type Event GSUM
Instance details Defined in Test.Control.State.Transition.Examples.GlobalSum type Event GSUM = GSUMEvent
type PredicateFailure GSUM
Instance details Defined in Test.Control.State.Transition.Examples.GlobalSum type PredicateFailure GSUM = NoFailure

Methods

initialRules ∷ [InitialRule GSUM] Source #

transitionRules ∷ [TransitionRule GSUM] Source #

assertions ∷ [Assertion GSUM] Source #

renderAssertionViolation ∷ AssertionViolation GSUM → String Source #

type BaseM GSUM Source #

Instance details

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

type BaseM GSUM = Reader Ops

type Environment GSUM Source #

Instance details

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

type Environment GSUM = ()

type Event GSUM Source #

Instance details

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

type Event GSUM = GSUMEvent

type PredicateFailure GSUM Source #

Instance details

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

type PredicateFailure GSUM = NoFailure

type Signal GSUM Source #

Instance details

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

type Signal GSUM = [Int]

type State GSUM Source #

Instance details

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

type State GSUM = Int

newtype GSUMEvent Source #

Constructors

ErrorEvent Void

Instances

Instances details

Show GSUMEvent Source #
Instance details Defined in Test.Control.State.Transition.Examples.GlobalSum Methods showsPrec ∷ Int → GSUMEvent → ShowS # show ∷ GSUMEvent → String # showList ∷ [GSUMEvent] → ShowS #
Eq GSUMEvent Source #
Instance details Defined in Test.Control.State.Transition.Examples.GlobalSum Methods (==) ∷ GSUMEvent → GSUMEvent → Bool # (/=) ∷ GSUMEvent → GSUMEvent → Bool #

data NoFailure Source #

Constructors

NoFailure

Instances

Instances details

Show NoFailure Source #
Instance details Defined in Test.Control.State.Transition.Examples.GlobalSum Methods showsPrec ∷ Int → NoFailure → ShowS # show ∷ NoFailure → String # showList ∷ [NoFailure] → ShowS #
Eq NoFailure Source #
Instance details Defined in Test.Control.State.Transition.Examples.GlobalSum Methods (==) ∷ NoFailure → NoFailure → Bool # (/=) ∷ NoFailure → NoFailure → Bool #

spec ∷ Spec Source #