Test.BDD.Language

The constrained language to define behaviors in BDD terminology

exampleL :: TestTree
exampleL = testBehavior "Test sequence"
    $ Given (print "Some effect")
    $ Given (print "Another effect")
    $ GivenAndAfter (print "Aquiring resource" >> return "Resource 1")
                   (print . ("Release "++))
    $ GivenAndAfter (print "Aquiring resource" >> return "Resource 2")
                   (print . ("Release "++))
    $ When (print "Action returning" >> return ([1..10]++[100..106]) :: IO [Int])
    $ Then (@?= ([1..10]++[700..706]))
    $ End

Documentation

data Language m t q a where

Bare hoare language

Constructors

Given :: m () -> Language m t q Preparing -> Language m t q Preparing

action to prepare the test

GivenAndAfter :: m r -> (r -> m ()) -> Language m t q Preparing -> Language m t q Preparing

action to prepare the test, and related teardown action

When :: m t -> Language m t q Testing -> Language m t q Preparing

core logic of the test (last preparing action)

Then :: (t -> m q) -> Language m t q Testing -> Language m t q Testing

action producing a test

End :: Language m t q Testing

final placeholder

type BDDPreparing m t q = Language m t q Preparing

Preparing language types

type BDDTesting m t q = Language m t q Testing

Testing language types

data BDDTest m t q

Result of this module interpreter

Constructors

BDDTest

Fields

• _tests :: [t -> m q]

  tests from t

• _context :: [TestContext m]

  test context

• _when :: m t

  when action to compute t

Instances

(Typeable t, TestableMonad m) => IsTest (BDDTest m t ())

any testable monad can make a BDDTest a tasty test

Defined in Test.Tasty.Bdd

Methods

run :: OptionSet -> BDDTest m t () -> (Progress -> IO ()) -> IO Result

testOptions :: Tagged (BDDTest m t ()) [OptionDescription]

data TestContext m

Recording given actions and type related teardowns

Constructors

TestContext (m r) (r -> m ())

context :: forall m t q. Lens' (BDDTest m t q) [TestContext m]

when :: forall m t q. Lens' (BDDTest m t q) (m t)

tests :: forall m t q q. Lens (BDDTest m t q) (BDDTest m t q) [t -> m q] [t -> m q]

interpret :: Monad m => Language m t q a -> BDDTest m t q

An interpreter collecting the actions

data Phase

Separating the 2 phases by type

Constructors

Preparing

Testing