tasty-bdd-0.1.0.0: BDD tests language and tasty provider

Safe HaskellSafe
LanguageHaskell2010

Test.BDD.LanguageFree

Description

Free monads to introduce do notation in 'Language'

Module : Copyright : (c) Paolo Veronelli 2017 License : All rights reserved Maintainer: paolo.veronelli@gmail.com Stability : experimental Portability: non-portable

Documentation

given :: m a -> Free (GivenFree m) a Source #

givenAndAfter_ :: Functor m => m r -> (r -> m ()) -> Free (GivenFree m) () Source #

givenAndAfter :: m (b, r) -> (r -> m ()) -> Free (GivenFree m) b Source #

then_ :: (t -> m ()) -> Free (ThenFree m t) () Source #

then__ :: m () -> Free (ThenFree m t) () Source #

when_ :: m t -> Free (ThenFree m t) b -> Free (GivenFree m) () Source #

data GivenFree m a Source #

Instances
Functor (GivenFree m) Source # 
Instance details

Defined in Test.BDD.LanguageFree

Methods

fmap :: (a -> b) -> GivenFree m a -> GivenFree m b #

(<$) :: a -> GivenFree m b -> GivenFree m a #

data ThenFree m t a Source #

Instances
Functor (ThenFree m t) Source # 
Instance details

Defined in Test.BDD.LanguageFree

Methods

fmap :: (a -> b) -> ThenFree m t a -> ThenFree m t b #

(<$) :: a -> ThenFree m t b -> ThenFree m t a #

type FreeBDD m x = Free (GivenFree m) x Source #

testFreeBDD :: MonadCatch m => Free (GivenFree m) x -> m (BDDResult m) Source #

data BDDResult m Source #

Constructors

Failed SomeException (m ()) 
Succeded (m ())