assert :: Boolean -> FeatureSpec Unit
assert' :: Boolean -> String -> FeatureSpec Unit
assertJust :: forall a. Maybe a -> FeatureSpec Unit
assertJust' :: forall a. Maybe a -> String -> FeatureSpec Unit
assertLeft :: forall a b. Either a b -> FeatureSpec Unit
assertLeft' :: forall a b. Either a b -> String -> FeatureSpec Unit
assertNothing :: forall a. Maybe a -> FeatureSpec Unit
assertNothing' :: forall a. Maybe a -> String -> FeatureSpec Unit
assertRight :: forall a b. Either a b -> FeatureSpec Unit
assertRight' :: forall a b. Either a b -> String -> FeatureSpec Unit
Module Test.FeatureSpec.Phrase
Values
and :: String -> FeatureSpec Unit
but :: String -> FeatureSpec Unit
given :: String -> FeatureSpec Unit
info :: String -> FeatureSpec Unit
it :: String -> FeatureSpec Unit
pending :: FeatureSpec Unit
when :: String -> FeatureSpec Unit
Module Test.FeatureSpec.Section
Values
feature :: String -> FeatureSpec Unit -> FeatureSpec Unit
ignore :: String -> FeatureSpec Unit -> FeatureSpec Unit
scenario :: String -> FeatureSpec Unit -> FeatureSpec Unit
spec :: forall eff. String -> FeatureSpec Unit -> FeatureSpec Unit
Module Test.FeatureSpec.Types
Types
type FeatureSpec a = forall eff. RWST Indent Log Results (Eff (trace :: Trace, err :: Exception | eff)) a
type Indent = String
type Log = [String]
data Phrase where
Info :: Phrase
Given :: Phrase
When :: Phrase
It :: Phrase
And :: Phrase
But :: Phrase
data Result where
Pending :: Result
Good :: String -> Result
Bad :: String -> Result
type Results = [Result]
Type Class Instances
instance eqResult :: Eq Result
instance showPhrase :: Show Phrase