Safe Haskell | None |
---|---|
Language | Haskell2010 |
Test.Util.QSM
Synopsis
- data Example (cmd ∷ (Type → Type) → Type) a
- example ∷ ∀ (model ∷ (Type → Type) → Type) (cmd ∷ (Type → Type) → Type) (m ∷ Type → Type) (resp ∷ (Type → Type) → Type). (Foldable resp, Show (cmd Symbolic)) ⇒ StateMachine model cmd m resp → Example cmd () → Commands cmd resp
- run ∷ Typeable a ⇒ cmd Symbolic → Example cmd [Reference a Symbolic]
- run' ∷ cmd Symbolic → Example cmd ()
Documentation
example ∷ ∀ (model ∷ (Type → Type) → Type) (cmd ∷ (Type → Type) → Type) (m ∷ Type → Type) (resp ∷ (Type → Type) → Type). (Foldable resp, Show (cmd Symbolic)) ⇒ StateMachine model cmd m resp → Example cmd () → Commands cmd resp Source #