falsify-0.2.0: Property-based testing with internal integrated shrinking
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Falsify.GenDefault.Std

Synopsis

Documentation

data Std Source #

Type tag for these "standard" default generators. You can use this tag directly or choose type-by-type with ViaTag.

Instances

Instances details
GenDefault Std Int16 Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

GenDefault Std Int32 Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

GenDefault Std Int64 Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

GenDefault Std Int8 Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

GenDefault Std Word16 Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

GenDefault Std Word32 Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

GenDefault Std Word64 Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

GenDefault Std Word8 Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

GenDefault Std () Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

Methods

genDefault :: Proxy Std -> Gen () Source #

GenDefault Std Bool Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

GenDefault Std Char Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

GenDefault Std Int Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

GenDefault Std Word Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

GenDefault Std a => GenDefault Std (Maybe a) Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

Methods

genDefault :: Proxy Std -> Gen (Maybe a) Source #

(GenDefault Std a, GenDefault Std b) => GenDefault Std (Either a b) Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

Methods

genDefault :: Proxy Std -> Gen (Either a b) Source #

(GenDefault Std a, GenDefault Std b) => GenDefault Std (a, b) Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

Methods

genDefault :: Proxy Std -> Gen (a, b) Source #

(GenDefault Std a, GenDefault Std b, GenDefault Std c) => GenDefault Std (a, b, c) Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

Methods

genDefault :: Proxy Std -> Gen (a, b, c) Source #

(GenDefault Std a, GenDefault Std b, GenDefault Std c, GenDefault Std d) => GenDefault Std (a, b, c, d) Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

Methods

genDefault :: Proxy Std -> Gen (a, b, c, d) Source #

(GenDefault Std a, GenDefault Std b, GenDefault Std c, GenDefault Std d, GenDefault Std e) => GenDefault Std (a, b, c, d, e) Source # 
Instance details

Defined in Test.Falsify.GenDefault.Std

Methods

genDefault :: Proxy Std -> Gen (a, b, c, d, e) Source #