{-# LANGUAGE CPP #-}
module Test.LeanCheck.Basic
( module Test.LeanCheck.Core
, cons6
, cons7
, cons8
, cons9
, cons10
, cons11
, cons12
, ofWeight
, addWeight
)
where
import Test.LeanCheck.Core
import Data.Ratio
import Data.Complex
import Data.Int (Int8, Int16, Int32, Int64)
import Data.Word (Word, Word8, Word16, Word32, Word64)
import Data.Char (GeneralCategory)
import System.IO (IOMode (..), BufferMode (..), SeekMode (..))
import Foreign.C
import System.Exit
instance (Listable a, Listable b, Listable c,
Listable d, Listable e, Listable f) =>
Listable (a,b,c,d,e,f) where
tiers = productWith (\x (y,z,w,v,u) -> (x,y,z,w,v,u)) tiers tiers
instance (Listable a, Listable b, Listable c, Listable d,
Listable e, Listable f, Listable g) =>
Listable (a,b,c,d,e,f,g) where
tiers = productWith (\x (y,z,w,v,u,r) -> (x,y,z,w,v,u,r)) tiers tiers
instance (Listable a, Listable b, Listable c, Listable d,
Listable e, Listable f, Listable g, Listable h) =>
Listable (a,b,c,d,e,f,g,h) where
tiers = productWith (\x (y,z,w,v,u,r,s) -> (x,y,z,w,v,u,r,s))
tiers tiers
instance (Listable a, Listable b, Listable c, Listable d, Listable e,
Listable f, Listable g, Listable h, Listable i) =>
Listable (a,b,c,d,e,f,g,h,i) where
tiers = productWith (\x (y,z,w,v,u,r,s,t) -> (x,y,z,w,v,u,r,s,t))
tiers tiers
instance (Listable a, Listable b, Listable c, Listable d, Listable e,
Listable f, Listable g, Listable h, Listable i, Listable j) =>
Listable (a,b,c,d,e,f,g,h,i,j) where
tiers = productWith (\x (y,z,w,v,u,r,s,t,o) -> (x,y,z,w,v,u,r,s,t,o))
tiers tiers
instance (Listable a, Listable b, Listable c, Listable d,
Listable e, Listable f, Listable g, Listable h,
Listable i, Listable j, Listable k) =>
Listable (a,b,c,d,e,f,g,h,i,j,k) where
tiers = productWith (\x (y,z,w,v,u,r,s,t,o,p) -> (x,y,z,w,v,u,r,s,t,o,p))
tiers tiers
instance (Listable a, Listable b, Listable c, Listable d,
Listable e, Listable f, Listable g, Listable h,
Listable i, Listable j, Listable k, Listable l) =>
Listable (a,b,c,d,e,f,g,h,i,j,k,l) where
tiers = productWith (\x (y,z,w,v,u,r,s,t,o,p,q) ->
(x,y,z,w,v,u,r,s,t,o,p,q))
tiers tiers
cons6 :: (Listable a, Listable b, Listable c, Listable d, Listable e, Listable f)
=> (a -> b -> c -> d -> e -> f -> g) -> [[g]]
cons6 f = delay $ mapT (uncurry6 f) tiers
cons7 :: (Listable a, Listable b, Listable c, Listable d,
Listable e, Listable f, Listable g)
=> (a -> b -> c -> d -> e -> f -> g -> h) -> [[h]]
cons7 f = delay $ mapT (uncurry7 f) tiers
cons8 :: (Listable a, Listable b, Listable c, Listable d,
Listable e, Listable f, Listable g, Listable h)
=> (a -> b -> c -> d -> e -> f -> g -> h -> i) -> [[i]]
cons8 f = delay $ mapT (uncurry8 f) tiers
cons9 :: (Listable a, Listable b, Listable c, Listable d, Listable e,
Listable f, Listable g, Listable h, Listable i)
=> (a -> b -> c -> d -> e -> f -> g -> h -> i -> j) -> [[j]]
cons9 f = delay $ mapT (uncurry9 f) tiers
cons10 :: (Listable a, Listable b, Listable c, Listable d, Listable e,
Listable f, Listable g, Listable h, Listable i, Listable j)
=> (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k) -> [[k]]
cons10 f = delay $ mapT (uncurry10 f) tiers
cons11 :: (Listable a, Listable b, Listable c, Listable d,
Listable e, Listable f, Listable g, Listable h,
Listable i, Listable j, Listable k)
=> (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l) -> [[l]]
cons11 f = delay $ mapT (uncurry11 f) tiers
cons12 :: (Listable a, Listable b, Listable c, Listable d,
Listable e, Listable f, Listable g, Listable h,
Listable i, Listable j, Listable k, Listable l)
=> (a->b->c->d->e->f->g->h->i->j->k->l->m) -> [[m]]
cons12 f = delay $ mapT (uncurry12 f) tiers
uncurry6 :: (a->b->c->d->e->f->g) -> (a,b,c,d,e,f) -> g
uncurry6 f (x,y,z,w,v,u) = f x y z w v u
uncurry7 :: (a->b->c->d->e->f->g->h) -> (a,b,c,d,e,f,g) -> h
uncurry7 f (x,y,z,w,v,u,r) = f x y z w v u r
uncurry8 :: (a->b->c->d->e->f->g->h->i) -> (a,b,c,d,e,f,g,h) -> i
uncurry8 f (x,y,z,w,v,u,r,s) = f x y z w v u r s
uncurry9 :: (a->b->c->d->e->f->g->h->i->j) -> (a,b,c,d,e,f,g,h,i) -> j
uncurry9 f (x,y,z,w,v,u,r,s,t) = f x y z w v u r s t
uncurry10 :: (a->b->c->d->e->f->g->h->i->j->k) -> (a,b,c,d,e,f,g,h,i,j) -> k
uncurry10 f (x,y,z,w,v,u,r,s,t,o) = f x y z w v u r s t o
uncurry11 :: (a->b->c->d->e->f->g->h->i->j->k->l)
-> (a,b,c,d,e,f,g,h,i,j,k) -> l
uncurry11 f (x,y,z,w,v,u,r,s,t,o,p) = f x y z w v u r s t o p
uncurry12 :: (a->b->c->d->e->f->g->h->i->j->k->l->m)
-> (a,b,c,d,e,f,g,h,i,j,k,l) -> m
uncurry12 f (x,y,z,w,v,u,r,s,t,o,p,q) = f x y z w v u r s t o p q
instance (Integral a, Listable a) => Listable (Ratio a) where
tiers = mapT (uncurry (%)) . reset
$ tiers `suchThat` (\(n,d) -> d > 0 && n `gcd` d == 1)
instance (RealFloat a, Listable a) => Listable (Complex a) where
tiers = cons2 (:+)
instance Listable Word where
list = listIntegral
instance Listable Word8 where
list = listIntegral
instance Listable Word16 where
list = listIntegral
instance Listable Word32 where
list = listIntegral
instance Listable Word64 where
list = listIntegral
instance Listable Int8 where
list = listIntegral
instance Listable Int16 where
list = listIntegral
instance Listable Int32 where
list = listIntegral
instance Listable Int64 where
list = listIntegral
instance Listable CChar where list = listIntegral
instance Listable CSChar where list = listIntegral
instance Listable CUChar where list = listIntegral
instance Listable CShort where list = listIntegral
instance Listable CUShort where list = listIntegral
instance Listable CInt where list = listIntegral
instance Listable CUInt where list = listIntegral
instance Listable CLong where list = listIntegral
instance Listable CULong where list = listIntegral
instance Listable CPtrdiff where list = listIntegral
instance Listable CSize where list = listIntegral
instance Listable CWchar where list = listIntegral
instance Listable CSigAtomic where list = listIntegral
instance Listable CLLong where list = listIntegral
instance Listable CULLong where list = listIntegral
instance Listable CIntPtr where list = listIntegral
instance Listable CUIntPtr where list = listIntegral
instance Listable CIntMax where list = listIntegral
instance Listable CUIntMax where list = listIntegral
instance Listable CClock where list = listIntegral
instance Listable CTime where list = listIntegral
instance Listable CFloat where tiers = tiersFloating
instance Listable CDouble where tiers = tiersFloating
#if __GLASGOW_HASKELL__ >= 802
instance Listable CBool where list = listIntegral
#endif
#if __GLASGOW_HASKELL__
instance Listable CUSeconds where list = listIntegral
instance Listable CSUSeconds where list = listIntegral
#endif
instance Listable ExitCode where list = ExitSuccess : map ExitFailure [1..255]
instance Listable GeneralCategory where list = [minBound..maxBound]
instance Listable IOMode where
tiers = cons0 ReadMode
\/ cons0 WriteMode
\/ cons0 AppendMode
\/ cons0 ReadWriteMode
instance Listable BufferMode where
tiers = cons0 NoBuffering
\/ cons0 LineBuffering
\/ cons1 BlockBuffering
instance Listable SeekMode where
tiers = cons0 AbsoluteSeek
\/ cons0 RelativeSeek
\/ cons0 SeekFromEnd
ofWeight :: [[a]] -> Int -> [[a]]
ofWeight xss w = dropWhile null xss `addWeight` w
addWeight :: [[a]] -> Int -> [[a]]
addWeight xss w = replicate w [] ++ xss