Safe Haskell	Safe-Inferred
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 Source # type Signal GSUM Source # type Environment GSUM Source # type BaseM GSUM ∷ Type → Type Source # type Event GSUM Source # type PredicateFailure GSUM Source # 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 #