tests
Safe HaskellNone
LanguageHaskell2010

Test.Control.State.Transition.Examples.RecRule

Documentation

data RecRule Source #

Instances

Instances details
STS RecRule Source # 
Instance details

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

Associated Types

type State RecRule 
Instance details

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

type State RecRule = ()
type Signal RecRule 
Instance details

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

type Signal RecRule = Int
type Environment RecRule 
Instance details

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

type Environment RecRule = ()
type BaseM RecRule 
Instance details

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

type BaseM RecRule = Identity
type Event RecRule 
Instance details

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

type Event RecRule = Void
type PredicateFailure RecRule 
Instance details

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

type PredicateFailure RecRule = String

Methods

initialRules ∷ [InitialRule RecRule] Source #

transitionRules ∷ [TransitionRule RecRule] Source #

assertions ∷ [Assertion RecRule] Source #

renderAssertionViolation ∷ AssertionViolation RecRule → String Source #

type BaseM RecRule Source # 
Instance details

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

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

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

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

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

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

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

type PredicateFailure RecRule = String
type Signal RecRule Source # 
Instance details

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

type Signal RecRule = Int
type State RecRule Source # 
Instance details

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

type State RecRule = ()

spec ∷ Spec Source #