smallcheck-series-0.6: Extra SmallCheck series and utilities

Safe HaskellSafe
LanguageHaskell2010

Test.SmallCheck.Series.Instances

Contents

Description

Serial instances are provided for the following types:

By default the most exhaustive series are provided which can lead to combinatorial explosion if you are not careful. In such case, you may want to use the functions provided in the other modules in this package to create your own custom series.

Make sure the module where you import these instances will not be imported, otherwise you might get conflicts between orphan instances defined in different modules.

Orphan instances

Monad m => Serial m Text Source # 

Methods

series :: Series m Text #

Monad m => Serial m Text Source # 

Methods

series :: Series m Text #

Monad m => Serial m ByteString Source # 
Monad m => Serial m ByteString Source # 
Monad m => Serial m Word64 Source # 

Methods

series :: Series m Word64 #

Monad m => Serial m Word32 Source # 

Methods

series :: Series m Word32 #

Monad m => Serial m Word16 Source # 

Methods

series :: Series m Word16 #

Monad m => Serial m Word8 Source # 

Methods

series :: Series m Word8 #

Monad m => Serial m Word Source # 

Methods

series :: Series m Word #

Monad m => Serial m Int64 Source # 

Methods

series :: Series m Int64 #

Monad m => Serial m Int32 Source # 

Methods

series :: Series m Int32 #

Monad m => Serial m Int16 Source # 

Methods

series :: Series m Int16 #

Monad m => Serial m Int8 Source # 

Methods

series :: Series m Int8 #

Monad m => CoSerial m Text Source # 

Methods

coseries :: Series m b -> Series m (Text -> b) #

Monad m => CoSerial m Text Source # 

Methods

coseries :: Series m b -> Series m (Text -> b) #

Monad m => CoSerial m ByteString Source # 

Methods

coseries :: Series m b -> Series m (ByteString -> b) #

Monad m => CoSerial m ByteString Source # 

Methods

coseries :: Series m b -> Series m (ByteString -> b) #

Monad m => CoSerial m Word64 Source # 

Methods

coseries :: Series m b -> Series m (Word64 -> b) #

Monad m => CoSerial m Word32 Source # 

Methods

coseries :: Series m b -> Series m (Word32 -> b) #

Monad m => CoSerial m Word16 Source # 

Methods

coseries :: Series m b -> Series m (Word16 -> b) #

Monad m => CoSerial m Word8 Source # 

Methods

coseries :: Series m b -> Series m (Word8 -> b) #

Monad m => CoSerial m Word Source # 

Methods

coseries :: Series m b -> Series m (Word -> b) #

Monad m => CoSerial m Int64 Source # 

Methods

coseries :: Series m b -> Series m (Int64 -> b) #

Monad m => CoSerial m Int32 Source # 

Methods

coseries :: Series m b -> Series m (Int32 -> b) #

Monad m => CoSerial m Int16 Source # 

Methods

coseries :: Series m b -> Series m (Int16 -> b) #

Monad m => CoSerial m Int8 Source # 

Methods

coseries :: Series m b -> Series m (Int8 -> b) #

(Serial m k, Serial m v) => Serial m (Map k v) Source # 

Methods

series :: Series m (Map k v) #

(Ord k, CoSerial m k, CoSerial m v) => CoSerial m (Map k v) Source # 

Methods

coseries :: Series m b -> Series m (Map k v -> b) #