Test.SmallCheck.GenericK

Documentation

genericSeries :: forall m a x q. (GenericK a, GSerial m (RepK a) x) => q x -> Series m a

class GSerial m (f :: LoT k -> Type) (x :: LoT k) where

Methods

gSeries :: Series m (f x)

Instances

GSerial m (V1 :: LoT k -> Type) (x :: LoT k)

Defined in Test.SmallCheck.GenericK

Methods

gSeries :: Series m (V1 x)

GSerial m (U1 :: LoT k -> Type) (x :: LoT k)

Defined in Test.SmallCheck.GenericK

Methods

gSeries :: Series m (U1 x)

Serial m (Interpret t x) => GSerial m (Field t :: LoT k -> Type) (x :: LoT k)

Defined in Test.SmallCheck.GenericK

Methods

gSeries :: Series m (Field t x)

(Interpret c x, GSerial m f x) => GSerial m (c :=>: f :: LoT k -> Type) (x :: LoT k)

Defined in Test.SmallCheck.GenericK

Methods

gSeries :: Series m ((c :=>: f) x)

(forall (t :: k2). GSerial m f (t :&&: x)) => GSerial m (Exists k2 f :: LoT k1 -> Type) (x :: LoT k1)

Defined in Test.SmallCheck.GenericK

Methods

gSeries :: Series m (Exists k2 f x)

(Monad m, GSerial m f x, GSerial m g x) => GSerial m (f :*: g :: LoT k -> Type) (x :: LoT k)

Defined in Test.SmallCheck.GenericK

Methods

gSeries :: Series m ((f :*: g) x)

(Monad m, GSerial m f x, GSerial m g x) => GSerial m (f :+: g :: LoT k -> Type) (x :: LoT k)

Defined in Test.SmallCheck.GenericK

Methods

gSeries :: Series m ((f :+: g) x)

(Typeable i, GSerial m f x) => GSerial m (M1 i c f :: LoT k -> Type) (x :: LoT k)

Defined in Test.SmallCheck.GenericK

Methods

gSeries :: Series m (M1 i c f x)