quickcheck-state-machine-0.3.1: Test monadic programs using state machine based models

Copyright(C) 2017 ATS Advanced Telematic Systems GmbH
LicenseBSD-style (see the file LICENSE)
MaintainerStevan Andjelkovic <stevan@advancedtelematic.com>
Stabilityprovisional
Portabilitynon-portable (GHC extensions)
Safe HaskellSafe
LanguageHaskell2010

Test.StateMachine.Logic

Description

This module provides a propositional logic which gives counterexamples when the proposition is false.

Documentation

data Logic Source #

Constructors

Bot 
Top 
Logic :&& Logic infixr 3 
Logic :|| Logic infixr 2 
Logic :=> Logic infixr 1 
Not Logic 
Predicate Predicate 
Annotate String Logic 

Instances

data Predicate Source #

Constructors

(Eq a, Show a) => a :== a 
(Eq a, Show a) => a :/= a 
(Ord a, Show a) => a :< a 
(Ord a, Show a) => a :<= a 
(Ord a, Show a) => a :> a 
(Ord a, Show a) => a :>= a 
(Eq a, Show a) => Elem a [a] 
(Eq a, Show a) => NotElem a [a] 

Instances

dual :: Predicate -> Predicate Source #

strongNeg :: Logic -> Logic Source #

data Counterexample Source #

Constructors

BotC 
Fst Counterexample 
Snd Counterexample 
EitherC Counterexample Counterexample 
ImpliesC Counterexample 
NotC Counterexample 
PredicateC Predicate 
AnnotateC String Counterexample 

Instances

data Value Source #

Constructors

VFalse Counterexample 
VTrue 

Instances

logic :: Logic -> Value Source #

predicate :: Predicate -> Value Source #