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 #
IsProperty prop => IsProperty (Gen prop) Source #
Methods property :: Gen prop -> Property Source #

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 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

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 Property Source #

Constructors

Prop
Fields unProp :: Gen Bool

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 prop => IsProperty (Gen prop) Source #
Methods property :: Gen prop -> Property Source #
(Arbitrary a, IsProperty prop) => IsProperty (a -> prop) Source #
Methods property :: (a -> prop) -> Property Source #

(===) :: Eq a => a -> a -> Property infix 4 Source #

As Program

defaultMain :: Test -> IO () Source #

Run tests