Jack.Property

data Result

Constructors

• Success
• Failure (List String)

Instances

• Show Result

renderResult :: Result -> String

newtype Property

mkProperty :: Gen Result -> Property

unProperty :: Property -> Gen Result

property :: Boolean -> Property

counterexample :: String -> Property -> Property

forAll :: forall a. Show a => Gen a -> (a -> Property) -> Property

forAllRender :: forall a. (a -> String) -> Gen a -> (a -> Property) -> Property

check :: forall e. Property -> Eff (console :: CONSOLE, random :: RANDOM | e) Boolean

check' :: forall e. Int -> Property -> Eff (console :: CONSOLE, random :: RANDOM | e) Boolean

sampleTree :: forall a e. Size -> Int -> Gen a -> Eff (random :: RANDOM | e) (List (Tree a))

Generate some example trees.

printSample :: forall a e. Show a => Gen a -> Eff (console :: CONSOLE, random :: RANDOM | e) Unit

Generate some example outcomes (and shrinks) and prints them to 'stdout'.

printSampleTree :: forall a e. Show a => Gen a -> Eff (console :: CONSOLE, random :: RANDOM | e) Unit

assertEq :: forall a. Eq a => Show a => a -> a -> Property

assertNotEq :: forall a. Eq a => Show a => a -> a -> Property

Operator alias for Jack.Property.assertEq (non-associative / precedence 4)

Operator alias for Jack.Property.assertNotEq (non-associative / precedence 4)