Safe Haskell	None
Language	Haskell2010

Foundation.Check

Contents

Property
As Program

Synopsis

Documentation

data Gen a Source #

Generator monad

Instances

Monad Gen Source #
Methods (>>=) :: Gen a -> (a -> Gen b) -> Gen b # (>>) :: Gen a -> Gen b -> Gen b # return :: a -> Gen a # fail :: String -> Gen a #
Functor Gen Source #
Methods fmap :: (a -> b) -> Gen a -> Gen b # (<$) :: a -> Gen b -> Gen a #
Applicative Gen Source #
Methods pure :: a -> Gen a # (<>) :: Gen (a -> b) -> Gen a -> Gen b # (>) :: Gen a -> Gen b -> Gen b # (<*) :: Gen a -> Gen b -> Gen a #

class Arbitrary a where Source #

How to generate an arbitrary value for a

Minimal complete definition

arbitrary

Methods

arbitrary :: Gen a Source #

Instances

Arbitrary Bool Source #
Methods arbitrary :: Gen Bool Source #
Arbitrary Char Source #
Methods arbitrary :: Gen Char Source #
Arbitrary Double Source #
Methods arbitrary :: Gen Double Source #
Arbitrary Float Source #
Methods arbitrary :: Gen Float Source #
Arbitrary Int Source #
Methods arbitrary :: Gen Int Source #
Arbitrary Int8 Source #
Methods arbitrary :: Gen Int8 Source #
Arbitrary Int16 Source #
Methods arbitrary :: Gen Int16 Source #
Arbitrary Int32 Source #
Methods arbitrary :: Gen Int32 Source #
Arbitrary Int64 Source #
Methods arbitrary :: Gen Int64 Source #
Arbitrary Integer Source #
Methods arbitrary :: Gen Integer Source #
Arbitrary Word Source #
Methods arbitrary :: Gen Word Source #
Arbitrary Word8 Source #
Methods arbitrary :: Gen Word8 Source #
Arbitrary Word16 Source #
Methods arbitrary :: Gen Word16 Source #
Arbitrary Word32 Source #
Methods arbitrary :: Gen Word32 Source #
Arbitrary Word64 Source #
Methods arbitrary :: Gen Word64 Source #
Arbitrary Natural Source #
Methods arbitrary :: Gen Natural Source #
Arbitrary String Source #
Methods arbitrary :: Gen String Source #
Arbitrary a => Arbitrary (Maybe a) Source #
Methods arbitrary :: Gen (Maybe a) Source #
(Arbitrary l, Arbitrary r) => Arbitrary (Either l r) Source #
Methods arbitrary :: Gen (Either l r) Source #
(Arbitrary a, Arbitrary b) => Arbitrary (a, b) Source #
Methods arbitrary :: Gen (a, b) Source #
(Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (a, b, c) Source #
Methods arbitrary :: Gen (a, b, c) Source #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => Arbitrary (a, b, c, d) Source #
Methods arbitrary :: Gen (a, b, c, d) Source #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e) => Arbitrary (a, b, c, d, e) Source #
Methods arbitrary :: Gen (a, b, c, d, e) Source #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f) => Arbitrary (a, b, c, d, e, f) Source #
Methods arbitrary :: Gen (a, b, c, d, e, f) Source #

oneof :: NonEmpty [Gen a] -> Gen a Source #

elements :: NonEmpty [a] -> Gen a Source #

frequency :: NonEmpty [(Word, Gen a)] -> Gen a Source #

Call one of the generator weighted

between :: (Word, Word) -> Gen Word Source #

data Test where Source #

Constructors

Unit :: String -> IO () -> Test
Property :: IsProperty prop => String -> prop -> Test
Group :: String -> [Test] -> Test

testName :: Test -> String Source #

Name of a test

Property

data PropertyCheck Source #

The type of check this test did for a property

Instances

IsProperty PropertyCheck Source #
Methods property :: PropertyCheck -> Property Source #

data Property Source #

Constructors

Prop
Fields unProp :: Gen PropertyTestArg

Instances

IsProperty Property Source #
Methods property :: Property -> Property Source #

class IsProperty p where Source #

Minimal complete definition

property

Methods

property :: p -> Property Source #

Instances

IsProperty Bool Source #
Methods property :: Bool -> Property Source #
IsProperty Property Source #
Methods property :: Property -> Property Source #
IsProperty PropertyCheck Source #
Methods property :: PropertyCheck -> Property Source #
(Show a, Arbitrary a, IsProperty prop) => IsProperty (a -> prop) Source #
Methods property :: (a -> prop) -> Property Source #
IsProperty (String, Bool) Source #
Methods property :: (String, Bool) -> Property Source #

(===) :: (Show a, Eq a, Typeable a) => a -> a -> PropertyCheck infix 4 Source #

propertyCompare Source #

Arguments

:: (Show a, Typeable a)
=> String	name of the function used for comparaison, e.g. (<)
-> (a -> a -> Bool)	function used for value comparaison
-> a	value left of the operator
-> a	value right of the operator
-> PropertyCheck

propertyAnd :: PropertyCheck -> PropertyCheck -> PropertyCheck Source #

propertyFail :: String -> PropertyCheck Source #

forAll :: (Show a, IsProperty prop) => Gen a -> (a -> prop) -> Property Source #

As Program

defaultMain :: Test -> IO () Source #

Run tests