Module

Jack.Property

Package
purescript-jack
Repository
jystic/purescript-jack

#Result Source

data Result

Constructors

Instances

#renderResult Source

#Property Source

newtype Property

#forAll Source

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

#forAllRender Source

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

#check Source

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

#check' Source

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

#sampleTree Source

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

Generate some example trees.

#printSample Source

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

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

#printSampleTree Source

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

#assertEq Source

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

#assertNotEq Source

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

#(===) Source

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

#(=/=) Source

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