diff --git a/LICENSE b/LICENSE --- a/LICENSE +++ b/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2015-2018, Rudy Matela +Copyright (c) 2015-2019, Rudy Matela All rights reserved. diff --git a/Makefile b/Makefile --- a/Makefile +++ b/Makefile @@ -73,13 +73,13 @@ hugs: src/Test/LeanCheck.hugs hugs-test: \ + test/main.runhugs \ test/fun.runhugs \ test/io.runhugs \ test/operators.runhugs \ test/stats.runhugs \ test/tiers.runhugs \ - test/main.runhugs -# test/error.runhugs # TODO: make this pass + test/error.runhugs # test/funshow.runhugs # TODO: make this pass # test/types.runhugs # TODO: make this pass @@ -140,6 +140,20 @@ ./bench/tiers "Float" | diff -rud test/diff/tiers-Float.out - ./bench/tiers "Double" | diff -rud test/diff/tiers-Double.out - ./bench/tiers "Rational" | diff -rud test/diff/tiers-Rational.out - + # fixed width integer types + ./bench/tiers "Nat2" | diff -rud test/diff/tiers-Nat2.out - + ./bench/tiers "Nat3" | diff -rud test/diff/tiers-Nat3.out - + ./bench/tiers "Nat4" | diff -rud test/diff/tiers-Nat4.out - + ./bench/tiers "Word2" | diff -rud test/diff/tiers-Word2.out - + ./bench/tiers "Word3" | diff -rud test/diff/tiers-Word3.out - + ./bench/tiers "Word4" 64 | diff -rud test/diff/tiers-Word4.out - + ./bench/tiers "Word8" 256 | diff -rud test/diff/tiers-Word8.out - + ./bench/tiers "Int2" | diff -rud test/diff/tiers-Int2.out - + ./bench/tiers "Int3" | diff -rud test/diff/tiers-Int3.out - + ./bench/tiers "Int4" 64 | diff -rud test/diff/tiers-Int4.out - + ./bench/tiers "Int8" 256 | diff -rud test/diff/tiers-Int8.out - + # complex numbers + ./bench/tiers "Complex Double" | diff -rud test/diff/tiers-ComplexDouble.out - # list s ./bench/tiers "[()]" | diff -rud test/diff/tiers-Us.out - ./bench/tiers "[Int]" 6 | diff -rud test/diff/tiers-Ints.out - @@ -194,6 +208,20 @@ ./bench/tiers "Float" > test/diff/tiers-Float.out ./bench/tiers "Double" > test/diff/tiers-Double.out ./bench/tiers "Rational" > test/diff/tiers-Rational.out + # fixed width integer types + ./bench/tiers "Nat2" > test/diff/tiers-Nat2.out + ./bench/tiers "Nat3" > test/diff/tiers-Nat3.out + ./bench/tiers "Nat4" > test/diff/tiers-Nat4.out + ./bench/tiers "Word2" > test/diff/tiers-Word2.out + ./bench/tiers "Word3" > test/diff/tiers-Word3.out + ./bench/tiers "Word4" 64 > test/diff/tiers-Word4.out + ./bench/tiers "Word8" 256 > test/diff/tiers-Word8.out + ./bench/tiers "Int2" > test/diff/tiers-Int2.out + ./bench/tiers "Int3" > test/diff/tiers-Int3.out + ./bench/tiers "Int4" 64 > test/diff/tiers-Int4.out + ./bench/tiers "Int8" 256 > test/diff/tiers-Int8.out + # complex numbers + ./bench/tiers "Complex Double" > test/diff/tiers-ComplexDouble.out # lists ./bench/tiers "[()]" > test/diff/tiers-Us.out ./bench/tiers "[Int]" 6 > test/diff/tiers-Ints.out diff --git a/README.md b/README.md --- a/README.md +++ b/README.md @@ -6,6 +6,8 @@ [![LeanCheck on Stackage LTS][stackage-lts-badge]][leancheck-on-stackage-lts] [![LeanCheck on Stackage Nightly][stackage-nightly-badge]][leancheck-on-stackage-nightly] +![LeanCheck logo][leancheck-logo] + LeanCheck is a simple enumerative [property-based testing] library. Properties are defined as Haskell functions returning a boolean value which should be `True` for all possible choices of argument values. LeanCheck applies @@ -142,6 +144,15 @@ check source comments or haddock documentation for details. +Standard Listable Instances +--------------------------- + +LeanCheck comes out-of-the-box with [`Listable`] instances for all types in the +[Haskell 2010 Language Report] with [the intentional exception of a few types]. +The [leancheck-instances] package aims to support types in the +[Haskell Platform] -- `$ cabal install leancheck-instances`. + + Providers for Tasty, test-framework and Hspec --------------------------------------------- @@ -198,6 +209,12 @@ [LeanCheck provider for Tasty]: https://hackage.haskell.org/package/tasty-leancheck [LeanCheck provider for test-framework]: https://hackage.haskell.org/package/test-framework-leancheck [LeanCheck provider for Hspec]: https://hackage.haskell.org/package/hspec-leancheck +[leancheck-instances]: https://hackage.haskell.org/package/hspec-leancheck +[the intentional exception of a few types]: https://hackage.haskell.org/package/leancheck/docs/Test-LeanCheck-Basic.html +[Haskell 2010 Language Report]: https://www.haskell.org/onlinereport/haskell2010/ +[Haskell Platform]: https://www.haskell.org/platform/ + +[leancheck-logo]: https://github.com/rudymatela/leancheck/raw/master/doc/leancheck.svg?sanitize=true [build-status]: https://travis-ci.org/rudymatela/leancheck.svg?branch=master [build-log]: https://travis-ci.org/rudymatela/leancheck diff --git a/bench/tiers.hs b/bench/tiers.hs --- a/bench/tiers.hs +++ b/bench/tiers.hs @@ -10,6 +10,9 @@ import System.Environment import Data.List (intercalate, nub) import Data.Ratio ((%)) +import Data.Int +import Data.Word +import Data.Complex dropEmptyTiersTail :: [[a]] -> [[a]] dropEmptyTiersTail ([]:[]:[]: []:[]:[]: _) = [] @@ -86,6 +89,26 @@ "Float" -> put t n (u :: Float ) "Double" -> put t n (u :: Double ) "Rational" -> put t n (u :: Rational ) + -- fixed width integer types + "Nat2" -> put t n (u :: Nat2 ) + "Nat3" -> put t n (u :: Nat3 ) + "Nat4" -> put t n (u :: Nat4 ) + "Word2" -> put t n (u :: Word2 ) + "Word3" -> put t n (u :: Word3 ) + "Word4" -> put t n (u :: Word4 ) + "Word8" -> put t n (u :: Word8 ) + "Word16" -> put t n (u :: Word16 ) + "Word32" -> put t n (u :: Word32 ) + "Word64" -> put t n (u :: Word64 ) + "Int2" -> put t n (u :: Int2 ) + "Int3" -> put t n (u :: Int3 ) + "Int4" -> put t n (u :: Int4 ) + "Int8" -> put t n (u :: Int8 ) + "Int16" -> put t n (u :: Int16 ) + "Int32" -> put t n (u :: Int32 ) + "Int64" -> put t n (u :: Int64 ) + -- complex numbers + "Complex Double" -> put t n (u :: Complex Double ) -- lists "[()]" -> put t n (u :: [()] ) "[Int]" -> put t n (u :: [Int] ) diff --git a/changelog.md b/changelog.md --- a/changelog.md +++ b/changelog.md @@ -1,6 +1,18 @@ Changelog for LeanCheck ======================= +v0.9.0 +------ + +* logo for LeanCheck; +* `Listable` instances to most types in the Haskell 2010 Language Report: + - `Word`; + - `Int`; + - `Complex`; + - etc...; +* minor improvements in documentation and README. + + v0.8.0 ------ diff --git a/doc/leancheck.svg b/doc/leancheck.svg new file mode 100644 --- /dev/null +++ b/doc/leancheck.svg @@ -0,0 +1,121 @@ + + + + + LeanCheck + + + + + + image/svg+xml + + LeanCheck + + 2018-11-18 + + + Rudy Matela + + + + + LeanCheck + logo + testing + test + property-based testing + + + LeanCheck's logo. A check or tick is seen in green intersected with a lambda sign. Part of the lambda and the tick also form an X. + +The proportions are based on the beautiful proportions of the Thompson-Wheeler Haskell logo (2009). + https://github.com/rudymatela/leancheck + + + + + + + + + + + + + + + + + + + + + + diff --git a/doc/tutorial.md b/doc/tutorial.md --- a/doc/tutorial.md +++ b/doc/tutorial.md @@ -143,6 +143,11 @@ > check (prop_length :: [Int] -> Bool) +++ OK, passed 200 tests. +_A little challenge:_ +After `sort`ing a list, the number of occurrences of any element does not +change. Can you define a `prop_count :: Eq a => a -> [a] -> Bool` property +that checks this? Hint: start by defining an auxiliary function +`count :: a -> [a] -> Int`. Example 2: testing conditional properties ----------------------------------------- diff --git a/eg/overflow.hs b/eg/overflow.hs --- a/eg/overflow.hs +++ b/eg/overflow.hs @@ -32,20 +32,10 @@ prop :: T -> Bool prop t = pre t ==> post t -instance Listable Int16 where - list = map unX list - instance Listable T where - tiers = cons5 T - -{- --- In case we start providing a default Listable instance for Int16 with a --- regular enuemration. We can use the following Listable T instance. -instance Listable T where tiers = cons5 makeT where makeT (Xs i) (Xs j) (Xs k) (Xs l) (Xs m) = T i j k l m --} main :: IO () main = do diff --git a/leancheck.cabal b/leancheck.cabal --- a/leancheck.cabal +++ b/leancheck.cabal @@ -11,7 +11,7 @@ -- this cabal file too complicated. -- Rudy name: leancheck -version: 0.8.0 +version: 0.9.0 synopsis: Enumerative property-based testing description: LeanCheck is a simple enumerative property-based testing library. @@ -41,6 +41,7 @@ , changelog.md , doc/data-invariant.md , doc/tutorial.md + , doc/leancheck.svg extra-source-files: .gitignore , .travis.yml , Makefile @@ -62,7 +63,8 @@ , test/diff/*.out , test/diff/eg/*.out , test/sdist -tested-with: GHC==8.4, GHC==8.2, GHC==8.0, GHC==7.10, GHC==7.8, GHC==7.6, GHC==7.4 +tested-with: GHC==8.6, GHC==8.4, GHC==8.2, GHC==8.0 + , GHC==7.10, GHC==7.8, GHC==7.6, GHC==7.4 source-repository head @@ -72,7 +74,7 @@ source-repository this type: git location: https://github.com/rudymatela/leancheck - tag: v0.8.0 + tag: v0.9.0 library exposed-modules: Test.LeanCheck diff --git a/src/Test/LeanCheck.hs b/src/Test/LeanCheck.hs --- a/src/Test/LeanCheck.hs +++ b/src/Test/LeanCheck.hs @@ -1,7 +1,7 @@ {-# OPTIONS_HADDOCK prune #-} -- | -- Module : Test.LeanCheck --- Copyright : (c) 2015-2018 Rudy Matela +-- Copyright : (c) 2015-2019 Rudy Matela -- License : 3-Clause BSD (see the file LICENSE) -- Maintainer : Rudy Matela -- diff --git a/src/Test/LeanCheck/Basic.hs b/src/Test/LeanCheck/Basic.hs --- a/src/Test/LeanCheck/Basic.hs +++ b/src/Test/LeanCheck/Basic.hs @@ -1,6 +1,7 @@ +{-# LANGUAGE CPP #-} -- | -- Module : Test.LeanCheck.Basic --- Copyright : (c) 2015-2018 Rudy Matela +-- Copyright : (c) 2015-2019 Rudy Matela -- License : 3-Clause BSD (see the file LICENSE) -- Maintainer : Rudy Matela -- @@ -11,10 +12,20 @@ -- -- * support for 'Listable' 6-tuples up to 12-tuples; -- * 'tiers' constructors (@consN@) with arities from 6 up to 12; --- * a 'Listable' 'Ratio' instance (consequently 'Listable' 'Rational'); -- * a 'Listable' 'Word' instance; +-- * a 'Listable' 'Ratio' instance (consequently 'Listable' 'Rational'); +-- * a 'Listable' 'Complex' instance; +-- * 'Listable' 'Int8/16/32/64' instances; +-- * 'Listable' 'Word8/16/32/64' instances; +-- * 'Listable' instances for "Foreign.C" types; +-- * a 'Listable' 'ExitCode' instance; +-- * a 'Listable' 'GeneralCategory' instance; +-- * 'Listable' 'Buffer/IO/SeekMode' instances; -- * the operators 'addWeight' and 'ofWeight'. -- +-- The above includes all types defined in the Haskell 2010 Report +-- with the exception of Array, IO, Handle, HandlePosn, IOErrorType. +-- -- "Test.LeanCheck" already exports everything from this module. -- You are probably better off importing it. -- @@ -36,11 +47,15 @@ ) where --- TODO: Listable Int8/16/32/64, Word8/16/32/64, Natural - import Test.LeanCheck.Core -import Data.Word (Word) 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) => @@ -162,9 +177,99 @@ tiers = mapT (uncurry (%)) . reset $ tiers `suchThat` (\(n,d) -> d > 0 && n `gcd` d == 1) --- | > list :: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, ...] +instance (RealFloat a, Listable a) => Listable (Complex a) where + tiers = cons2 (:+) + +-- | > list :: [Word] = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, ...] instance Listable Word where list = listIntegral + +-- | > list :: [Word8] = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, ..., 255] +instance Listable Word8 where + list = listIntegral + +-- | > list :: [Word16] = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, ..., 65535] +instance Listable Word16 where + list = listIntegral + +-- | > list :: [Word32] = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, ...] +instance Listable Word32 where + list = listIntegral + +-- | > list :: [Word64] = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, ...] +instance Listable Word64 where + list = listIntegral + +-- | > list :: [Int8] = [0, 1, -1, 2, -2, 3, -3, ..., 127, -127, -128] +instance Listable Int8 where + list = listIntegral + +-- | > list :: [Int16] = [0, 1, -1, 2, -2, ..., 32767, -32767, -32768] +instance Listable Int16 where + list = listIntegral + +-- | > list :: [Int32] = [0, 1, -1, 2, -2, 3, -3, 4, -4, 5, -5, 6, ...] +instance Listable Int32 where + list = listIntegral + +-- | > list :: [Int64] = [0, 1, -1, 2, -2, 3, -3, 4, -4, 5, -5, 6, ...] +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 + +-- | Only includes valid POSIX exit codes +-- +-- > > list :: [ExitCode] +-- > [ExitSuccess, ExitFailure 1, ExitFailure 2, ..., ExitFailure 255] +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 -- | Resets the weight of a constructor or tiers. -- diff --git a/src/Test/LeanCheck/Error.hs b/src/Test/LeanCheck/Error.hs --- a/src/Test/LeanCheck/Error.hs +++ b/src/Test/LeanCheck/Error.hs @@ -56,16 +56,18 @@ import Control.Monad (liftM) import System.IO.Unsafe (unsafePerformIO) import Data.Maybe (listToMaybe, fromMaybe) -import Control.Exception ( Exception +import Control.Exception ( evaluate + , catch +#if __GLASGOW_HASKELL__ + , Exception , SomeException , ArithException , ArrayException , ErrorCall , PatternMatchFail - , catch , catches , Handler (Handler) - , evaluate +#endif ) -- | Takes a value and a function. Ignores the value. Binds the argument of @@ -81,6 +83,7 @@ -- * PatternMatchFail errorToNothing :: a -> Maybe a errorToNothing x = unsafePerformIO $ +#if __GLASGOW_HASKELL__ (Just `liftM` evaluate x) `catches` map ($ return Nothing) [ hf (undefined :: ArithException) , hf (undefined :: ArrayException) @@ -89,12 +92,19 @@ ] where hf :: Exception e => e -> IO a -> Handler a -- handlerFor hf e h = Handler $ bindArgumentType e (\_ -> h) +#else + (Just `liftM` evaluate x) `catch` (\_ -> return Nothing) +#endif -- | Transforms a value into 'Just' that value or 'Nothing' on error. anyErrorToNothing :: a -> Maybe a anyErrorToNothing x = unsafePerformIO $ +#if __GLASGOW_HASKELL__ (Just `liftM` evaluate x) `catch` \e -> do let _ = e :: SomeException return Nothing +#else + (Just `liftM` evaluate x) `catch` (\_ -> return Nothing) +#endif errorToFalse :: Bool -> Bool errorToFalse = fromError False diff --git a/src/Test/LeanCheck/Function.hs b/src/Test/LeanCheck/Function.hs --- a/src/Test/LeanCheck/Function.hs +++ b/src/Test/LeanCheck/Function.hs @@ -40,6 +40,14 @@ -- -- Warning: this is only intended to be used in testing modules. Avoid -- importing this on modules that are used as libraries. +-- +-- The 'Listable' and 'Show' function instance are defined in, respectively: +-- +-- * "Test.LeanCheck.Function.Listable"; +-- * "Test.LeanCheck.Function.Show". +-- +-- The 'Show' instance will work for all functions whose return types are +-- instances of ShowFunction from "Test.LeanCheck.Function.ShowFunction". module Test.LeanCheck.Function () where import Test.LeanCheck.Core (Listable) -- for Haddock import Test.LeanCheck.Function.Listable () diff --git a/src/Test/LeanCheck/Function/ShowFunction.hs b/src/Test/LeanCheck/Function/ShowFunction.hs --- a/src/Test/LeanCheck/Function/ShowFunction.hs +++ b/src/Test/LeanCheck/Function/ShowFunction.hs @@ -30,6 +30,7 @@ -- and -- "Test.LeanCheck.Function.Show" -- exports an instance like the one above. +{-# LANGUAGE CPP #-} module Test.LeanCheck.Function.ShowFunction ( -- * Showing functions @@ -61,6 +62,14 @@ import Data.List (intercalate, sortBy) import Data.Maybe import Data.Function (on) +import Data.Word +import Data.Int +import Data.Ratio +import Data.Complex +import Data.Char (GeneralCategory) +import System.Exit (ExitCode) +import System.IO (IOMode, BufferMode, SeekMode) +import Foreign.C -- | A functional binding in a showable format. -- Argument values are represented as a list of strings. @@ -170,6 +179,7 @@ instance ShowFunction () where bindtiers = bindtiersShow instance ShowFunction Bool where bindtiers = bindtiersShow instance ShowFunction Int where bindtiers = bindtiersShow +instance ShowFunction Word where bindtiers = bindtiersShow instance ShowFunction Integer where bindtiers = bindtiersShow instance ShowFunction Char where bindtiers = bindtiersShow instance ShowFunction Float where bindtiers = bindtiersShow @@ -312,7 +322,39 @@ => ShowFunction (a,b,c,d,e,f,g) where bindtiers = bindtiersShow instance (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) => ShowFunction (a,b,c,d,e,f,g,h) where bindtiers = bindtiersShow +instance ( Show a, Show b, Show c, Show d + , Show e, Show f, Show g, Show h + , Show i ) + => ShowFunction (a,b,c,d,e,f,g,h,i) where bindtiers = bindtiersShow +instance ( Show a, Show b, Show c, Show d + , Show e, Show f, Show g, Show h + , Show i, Show j ) + => ShowFunction (a,b,c,d,e,f,g,h,i,j) where bindtiers = bindtiersShow +instance ( Show a, Show b, Show c, Show d + , Show e, Show f, Show g, Show h + , Show i, Show j, Show k ) + => ShowFunction (a,b,c,d,e,f,g,h,i,j,k) where bindtiers = bindtiersShow +instance ( Show a, Show b, Show c, Show d + , Show e, Show f, Show g, Show h + , Show i, Show j, Show k, Show l ) + => ShowFunction (a,b,c,d,e,f,g,h,i,j,k,l) where bindtiers = bindtiersShow +-- Data.Ratio +instance (Integral a, Show a) => ShowFunction (Ratio a) where bindtiers = bindtiersShow + +-- Data.Complex +instance (RealFloat a, Show a) => ShowFunction (Complex a) where bindtiers = bindtiersShow + +-- instance for types from Data.Int and Data.Word +instance ShowFunction Int8 where bindtiers = bindtiersShow +instance ShowFunction Int16 where bindtiers = bindtiersShow +instance ShowFunction Int32 where bindtiers = bindtiersShow +instance ShowFunction Int64 where bindtiers = bindtiersShow +instance ShowFunction Word8 where bindtiers = bindtiersShow +instance ShowFunction Word16 where bindtiers = bindtiersShow +instance ShowFunction Word32 where bindtiers = bindtiersShow +instance ShowFunction Word64 where bindtiers = bindtiersShow + -- instance for types from Test.LeanCheck.Utils.Types instance ShowFunction Nat where bindtiers = bindtiersShow instance ShowFunction Nat1 where bindtiers = bindtiersShow @@ -330,6 +372,70 @@ instance ShowFunction Word2 where bindtiers = bindtiersShow instance ShowFunction Word3 where bindtiers = bindtiersShow instance ShowFunction Word4 where bindtiers = bindtiersShow + +instance ShowFunction Natural where bindtiers = bindtiersShow + +instance ShowFunction Letter where bindtiers = bindtiersShow +instance ShowFunction AlphaNum where bindtiers = bindtiersShow +instance ShowFunction Digit where bindtiers = bindtiersShow +instance ShowFunction Alpha where bindtiers = bindtiersShow +instance ShowFunction Upper where bindtiers = bindtiersShow +instance ShowFunction Lower where bindtiers = bindtiersShow +instance ShowFunction Space where bindtiers = bindtiersShow + +instance ShowFunction Spaces where bindtiers = bindtiersShow +instance ShowFunction Lowers where bindtiers = bindtiersShow +instance ShowFunction Uppers where bindtiers = bindtiersShow +instance ShowFunction Alphas where bindtiers = bindtiersShow +instance ShowFunction Digits where bindtiers = bindtiersShow +instance ShowFunction AlphaNums where bindtiers = bindtiersShow +instance ShowFunction Letters where bindtiers = bindtiersShow + +instance Show a => ShowFunction (X a) where bindtiers = bindtiersShow +instance Show a => ShowFunction (Xs a) where bindtiers = bindtiersShow +instance Show a => ShowFunction (Set a) where bindtiers = bindtiersShow +instance Show a => ShowFunction (Bag a) where bindtiers = bindtiersShow +instance Show a => ShowFunction (NoDup a) where bindtiers = bindtiersShow +instance (Show a, Show b) => ShowFunction (Map a b) where bindtiers = bindtiersShow + +-- misc instances +instance ShowFunction ExitCode where bindtiers = bindtiersShow +instance ShowFunction SeekMode where bindtiers = bindtiersShow +instance ShowFunction IOMode where bindtiers = bindtiersShow +instance ShowFunction BufferMode where bindtiers = bindtiersShow +instance ShowFunction GeneralCategory where bindtiers = bindtiersShow + +-- instances for Foreign.C types +instance ShowFunction CChar where bindtiers = bindtiersShow +instance ShowFunction CSChar where bindtiers = bindtiersShow +instance ShowFunction CUChar where bindtiers = bindtiersShow +instance ShowFunction CShort where bindtiers = bindtiersShow +instance ShowFunction CUShort where bindtiers = bindtiersShow +instance ShowFunction CInt where bindtiers = bindtiersShow +instance ShowFunction CUInt where bindtiers = bindtiersShow +instance ShowFunction CLong where bindtiers = bindtiersShow +instance ShowFunction CULong where bindtiers = bindtiersShow +instance ShowFunction CPtrdiff where bindtiers = bindtiersShow +instance ShowFunction CSize where bindtiers = bindtiersShow +instance ShowFunction CWchar where bindtiers = bindtiersShow +instance ShowFunction CSigAtomic where bindtiers = bindtiersShow +instance ShowFunction CLLong where bindtiers = bindtiersShow +instance ShowFunction CULLong where bindtiers = bindtiersShow +instance ShowFunction CIntPtr where bindtiers = bindtiersShow +instance ShowFunction CUIntPtr where bindtiers = bindtiersShow +instance ShowFunction CIntMax where bindtiers = bindtiersShow +instance ShowFunction CUIntMax where bindtiers = bindtiersShow +instance ShowFunction CClock where bindtiers = bindtiersShow +instance ShowFunction CTime where bindtiers = bindtiersShow +instance ShowFunction CFloat where bindtiers = bindtiersShow +instance ShowFunction CDouble where bindtiers = bindtiersShow +#if __GLASGOW_HASKELL__ >= 802 +instance ShowFunction CBool where bindtiers = bindtiersShow +#endif +#if __GLASGOW_HASKELL__ +instance ShowFunction CUSeconds where bindtiers = bindtiersShow +instance ShowFunction CSUSeconds where bindtiers = bindtiersShow +#endif -- | Hard coded function names and bindings -- Search this list for a short name for your function. diff --git a/test/diff/tiers-ComplexDouble.out b/test/diff/tiers-ComplexDouble.out new file mode 100644 --- /dev/null +++ b/test/diff/tiers-ComplexDouble.out @@ -0,0 +1,279 @@ +map length (tiers :: [[ Complex Double ]]) = [0,1,2,5,10,14,20,25,32,40,48,60,...] + +length (list :: [ Complex Double ]) = Infinity + +allUnique (list :: [ Complex Double ]) = True + +ratioRepetitions (list :: [ Complex Double ]) = 0 % 1 + +tiers :: [Complex Double] = + [ [] + , [0.0 :+ 0.0] + , [ 0.0 :+ 1.0 + , 1.0 :+ 0.0 + ] + , [ 0.0 :+ (-1.0) + , 0.0 :+ Infinity + , 1.0 :+ 1.0 + , (-1.0) :+ 0.0 + , Infinity :+ 0.0 + ] + , [ 0.0 :+ 0.5 + , 0.0 :+ 2.0 + , 0.0 :+ (-Infinity) + , 1.0 :+ (-1.0) + , 1.0 :+ Infinity + , (-1.0) :+ 1.0 + , Infinity :+ 1.0 + , 0.5 :+ 0.0 + , 2.0 :+ 0.0 + , (-Infinity) :+ 0.0 + ] + , [ 0.0 :+ (-0.5) + , 0.0 :+ (-2.0) + , 1.0 :+ 0.5 + , 1.0 :+ 2.0 + , 1.0 :+ (-Infinity) + , (-1.0) :+ (-1.0) + , (-1.0) :+ Infinity + , Infinity :+ (-1.0) + , Infinity :+ Infinity + , 0.5 :+ 1.0 + , 2.0 :+ 1.0 + , (-Infinity) :+ 1.0 + , (-0.5) :+ 0.0 + , (-2.0) :+ 0.0 + ] + , [ 0.0 :+ 0.3333333333333333 + , 0.0 :+ 3.0 + , 1.0 :+ (-0.5) + , 1.0 :+ (-2.0) + , (-1.0) :+ 0.5 + , (-1.0) :+ 2.0 + , (-1.0) :+ (-Infinity) + , Infinity :+ 0.5 + , Infinity :+ 2.0 + , Infinity :+ (-Infinity) + , 0.5 :+ (-1.0) + , 0.5 :+ Infinity + , 2.0 :+ (-1.0) + , 2.0 :+ Infinity + , (-Infinity) :+ (-1.0) + , (-Infinity) :+ Infinity + , (-0.5) :+ 1.0 + , (-2.0) :+ 1.0 + , 0.3333333333333333 :+ 0.0 + , 3.0 :+ 0.0 + ] + , [ 0.0 :+ (-0.3333333333333333) + , 0.0 :+ (-3.0) + , 1.0 :+ 0.3333333333333333 + , 1.0 :+ 3.0 + , (-1.0) :+ (-0.5) + , (-1.0) :+ (-2.0) + , Infinity :+ (-0.5) + , Infinity :+ (-2.0) + , 0.5 :+ 0.5 + , 0.5 :+ 2.0 + , 0.5 :+ (-Infinity) + , 2.0 :+ 0.5 + , 2.0 :+ 2.0 + , 2.0 :+ (-Infinity) + , (-Infinity) :+ 0.5 + , (-Infinity) :+ 2.0 + , (-Infinity) :+ (-Infinity) + , (-0.5) :+ (-1.0) + , (-0.5) :+ Infinity + , (-2.0) :+ (-1.0) + , (-2.0) :+ Infinity + , 0.3333333333333333 :+ 1.0 + , 3.0 :+ 1.0 + , (-0.3333333333333333) :+ 0.0 + , (-3.0) :+ 0.0 + ] + , [ 0.0 :+ 0.25 + , 0.0 :+ 0.6666666666666666 + , 0.0 :+ 1.5 + , 0.0 :+ 4.0 + , 1.0 :+ (-0.3333333333333333) + , 1.0 :+ (-3.0) + , (-1.0) :+ 0.3333333333333333 + , (-1.0) :+ 3.0 + , Infinity :+ 0.3333333333333333 + , Infinity :+ 3.0 + , 0.5 :+ (-0.5) + , 0.5 :+ (-2.0) + , 2.0 :+ (-0.5) + , 2.0 :+ (-2.0) + , (-Infinity) :+ (-0.5) + , (-Infinity) :+ (-2.0) + , (-0.5) :+ 0.5 + , (-0.5) :+ 2.0 + , (-0.5) :+ (-Infinity) + , (-2.0) :+ 0.5 + , (-2.0) :+ 2.0 + , (-2.0) :+ (-Infinity) + , 0.3333333333333333 :+ (-1.0) + , 0.3333333333333333 :+ Infinity + , 3.0 :+ (-1.0) + , 3.0 :+ Infinity + , (-0.3333333333333333) :+ 1.0 + , (-3.0) :+ 1.0 + , 0.25 :+ 0.0 + , 0.6666666666666666 :+ 0.0 + , 1.5 :+ 0.0 + , 4.0 :+ 0.0 + ] + , [ 0.0 :+ (-0.25) + , 0.0 :+ (-0.6666666666666666) + , 0.0 :+ (-1.5) + , 0.0 :+ (-4.0) + , 1.0 :+ 0.25 + , 1.0 :+ 0.6666666666666666 + , 1.0 :+ 1.5 + , 1.0 :+ 4.0 + , (-1.0) :+ (-0.3333333333333333) + , (-1.0) :+ (-3.0) + , Infinity :+ (-0.3333333333333333) + , Infinity :+ (-3.0) + , 0.5 :+ 0.3333333333333333 + , 0.5 :+ 3.0 + , 2.0 :+ 0.3333333333333333 + , 2.0 :+ 3.0 + , (-Infinity) :+ 0.3333333333333333 + , (-Infinity) :+ 3.0 + , (-0.5) :+ (-0.5) + , (-0.5) :+ (-2.0) + , (-2.0) :+ (-0.5) + , (-2.0) :+ (-2.0) + , 0.3333333333333333 :+ 0.5 + , 0.3333333333333333 :+ 2.0 + , 0.3333333333333333 :+ (-Infinity) + , 3.0 :+ 0.5 + , 3.0 :+ 2.0 + , 3.0 :+ (-Infinity) + , (-0.3333333333333333) :+ (-1.0) + , (-0.3333333333333333) :+ Infinity + , (-3.0) :+ (-1.0) + , (-3.0) :+ Infinity + , 0.25 :+ 1.0 + , 0.6666666666666666 :+ 1.0 + , 1.5 :+ 1.0 + , 4.0 :+ 1.0 + , (-0.25) :+ 0.0 + , (-0.6666666666666666) :+ 0.0 + , (-1.5) :+ 0.0 + , (-4.0) :+ 0.0 + ] + , [ 0.0 :+ 0.2 + , 0.0 :+ 5.0 + , 1.0 :+ (-0.25) + , 1.0 :+ (-0.6666666666666666) + , 1.0 :+ (-1.5) + , 1.0 :+ (-4.0) + , (-1.0) :+ 0.25 + , (-1.0) :+ 0.6666666666666666 + , (-1.0) :+ 1.5 + , (-1.0) :+ 4.0 + , Infinity :+ 0.25 + , Infinity :+ 0.6666666666666666 + , Infinity :+ 1.5 + , Infinity :+ 4.0 + , 0.5 :+ (-0.3333333333333333) + , 0.5 :+ (-3.0) + , 2.0 :+ (-0.3333333333333333) + , 2.0 :+ (-3.0) + , (-Infinity) :+ (-0.3333333333333333) + , (-Infinity) :+ (-3.0) + , (-0.5) :+ 0.3333333333333333 + , (-0.5) :+ 3.0 + , (-2.0) :+ 0.3333333333333333 + , (-2.0) :+ 3.0 + , 0.3333333333333333 :+ (-0.5) + , 0.3333333333333333 :+ (-2.0) + , 3.0 :+ (-0.5) + , 3.0 :+ (-2.0) + , (-0.3333333333333333) :+ 0.5 + , (-0.3333333333333333) :+ 2.0 + , (-0.3333333333333333) :+ (-Infinity) + , (-3.0) :+ 0.5 + , (-3.0) :+ 2.0 + , (-3.0) :+ (-Infinity) + , 0.25 :+ (-1.0) + , 0.25 :+ Infinity + , 0.6666666666666666 :+ (-1.0) + , 0.6666666666666666 :+ Infinity + , 1.5 :+ (-1.0) + , 1.5 :+ Infinity + , 4.0 :+ (-1.0) + , 4.0 :+ Infinity + , (-0.25) :+ 1.0 + , (-0.6666666666666666) :+ 1.0 + , (-1.5) :+ 1.0 + , (-4.0) :+ 1.0 + , 0.2 :+ 0.0 + , 5.0 :+ 0.0 + ] + , [ 0.0 :+ (-0.2) + , 0.0 :+ (-5.0) + , 1.0 :+ 0.2 + , 1.0 :+ 5.0 + , (-1.0) :+ (-0.25) + , (-1.0) :+ (-0.6666666666666666) + , (-1.0) :+ (-1.5) + , (-1.0) :+ (-4.0) + , Infinity :+ (-0.25) + , Infinity :+ (-0.6666666666666666) + , Infinity :+ (-1.5) + , Infinity :+ (-4.0) + , 0.5 :+ 0.25 + , 0.5 :+ 0.6666666666666666 + , 0.5 :+ 1.5 + , 0.5 :+ 4.0 + , 2.0 :+ 0.25 + , 2.0 :+ 0.6666666666666666 + , 2.0 :+ 1.5 + , 2.0 :+ 4.0 + , (-Infinity) :+ 0.25 + , (-Infinity) :+ 0.6666666666666666 + , (-Infinity) :+ 1.5 + , (-Infinity) :+ 4.0 + , (-0.5) :+ (-0.3333333333333333) + , (-0.5) :+ (-3.0) + , (-2.0) :+ (-0.3333333333333333) + , (-2.0) :+ (-3.0) + , 0.3333333333333333 :+ 0.3333333333333333 + , 0.3333333333333333 :+ 3.0 + , 3.0 :+ 0.3333333333333333 + , 3.0 :+ 3.0 + , (-0.3333333333333333) :+ (-0.5) + , (-0.3333333333333333) :+ (-2.0) + , (-3.0) :+ (-0.5) + , (-3.0) :+ (-2.0) + , 0.25 :+ 0.5 + , 0.25 :+ 2.0 + , 0.25 :+ (-Infinity) + , 0.6666666666666666 :+ 0.5 + , 0.6666666666666666 :+ 2.0 + , 0.6666666666666666 :+ (-Infinity) + , 1.5 :+ 0.5 + , 1.5 :+ 2.0 + , 1.5 :+ (-Infinity) + , 4.0 :+ 0.5 + , 4.0 :+ 2.0 + , 4.0 :+ (-Infinity) + , (-0.25) :+ (-1.0) + , (-0.25) :+ Infinity + , (-0.6666666666666666) :+ (-1.0) + , (-0.6666666666666666) :+ Infinity + , (-1.5) :+ (-1.0) + , (-1.5) :+ Infinity + , (-4.0) :+ (-1.0) + , (-4.0) :+ Infinity + , 0.2 :+ 1.0 + , 5.0 :+ 1.0 + , (-0.2) :+ 0.0 + , (-5.0) :+ 0.0 + ] + , ... + ] diff --git a/test/diff/tiers-Int2.out b/test/diff/tiers-Int2.out new file mode 100644 --- /dev/null +++ b/test/diff/tiers-Int2.out @@ -0,0 +1,14 @@ +map length (tiers :: [[ Int2 ]]) = [1,1,1,1] + +length (list :: [ Int2 ]) = 4 + +allUnique (list :: [ Int2 ]) = True + +ratioRepetitions (list :: [ Int2 ]) = 0 % 1 + +tiers :: [Int2] = + [ [0] + , [1] + , [-1] + , [-2] + ] diff --git a/test/diff/tiers-Int3.out b/test/diff/tiers-Int3.out new file mode 100644 --- /dev/null +++ b/test/diff/tiers-Int3.out @@ -0,0 +1,18 @@ +map length (tiers :: [[ Int3 ]]) = [1,1,1,1,1,1,1,1] + +length (list :: [ Int3 ]) = 8 + +allUnique (list :: [ Int3 ]) = True + +ratioRepetitions (list :: [ Int3 ]) = 0 % 1 + +tiers :: [Int3] = + [ [0] + , [1] + , [-1] + , [2] + , [-2] + , [3] + , [-3] + , [-4] + ] diff --git a/test/diff/tiers-Int4.out b/test/diff/tiers-Int4.out new file mode 100644 --- /dev/null +++ b/test/diff/tiers-Int4.out @@ -0,0 +1,26 @@ +map length (tiers :: [[ Int4 ]]) = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] + +length (list :: [ Int4 ]) = Infinity + +allUnique (list :: [ Int4 ]) = True + +ratioRepetitions (list :: [ Int4 ]) = 0 % 1 + +tiers :: [Int4] = + [ [0] + , [1] + , [-1] + , [2] + , [-2] + , [3] + , [-3] + , [4] + , [-4] + , [5] + , [-5] + , [6] + , [-6] + , [7] + , [-7] + , [-8] + ] diff --git a/test/diff/tiers-Int8.out b/test/diff/tiers-Int8.out new file mode 100644 --- /dev/null +++ b/test/diff/tiers-Int8.out @@ -0,0 +1,266 @@ +map length (tiers :: [[ Int8 ]]) = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] + +length (list :: [ Int8 ]) = Infinity + +allUnique (list :: [ Int8 ]) = True + +ratioRepetitions (list :: [ Int8 ]) = 0 % 1 + +tiers :: [Int8] = + [ [0] + , [1] + , [-1] + , [2] + , [-2] + , [3] + , [-3] + , [4] + , [-4] + , [5] + , [-5] + , [6] + , [-6] + , [7] + , [-7] + , [8] + , [-8] + , [9] + , [-9] + , [10] + , [-10] + , [11] + , [-11] + , [12] + , [-12] + , [13] + , [-13] + , [14] + , [-14] + , [15] + , [-15] + , [16] + , [-16] + , [17] + , [-17] + , [18] + , [-18] + , [19] + , [-19] + , [20] + , [-20] + , [21] + , [-21] + , [22] + , [-22] + , [23] + , [-23] + , [24] + , [-24] + , [25] + , [-25] + , [26] + , [-26] + , [27] + , [-27] + , [28] + , [-28] + , [29] + , [-29] + , [30] + , [-30] + , [31] + , [-31] + , [32] + , [-32] + , [33] + , [-33] + , [34] + , [-34] + , [35] + , [-35] + , [36] + , [-36] + , [37] + , [-37] + , [38] + , [-38] + , [39] + , [-39] + , [40] + , [-40] + , [41] + , [-41] + , [42] + , [-42] + , [43] + , [-43] + , [44] + , [-44] + , [45] + , [-45] + , [46] + , [-46] + , [47] + , [-47] + , [48] + , [-48] + , [49] + , [-49] + , [50] + , [-50] + , [51] + , [-51] + , [52] + , [-52] + , [53] + , [-53] + , [54] + , [-54] + , [55] + , [-55] + , [56] + , [-56] + , [57] + , [-57] + , [58] + , [-58] + , [59] + , [-59] + , [60] + , [-60] + , [61] + , [-61] + , [62] + , [-62] + , [63] + , [-63] + , [64] + , [-64] + , [65] + , [-65] + , [66] + , [-66] + , [67] + , [-67] + , [68] + , [-68] + , [69] + , [-69] + , [70] + , [-70] + , [71] + , [-71] + , [72] + , [-72] + , [73] + , [-73] + , [74] + , [-74] + , [75] + , [-75] + , [76] + , [-76] + , [77] + , [-77] + , [78] + , [-78] + , [79] + , [-79] + , [80] + , [-80] + , [81] + , [-81] + , [82] + , [-82] + , [83] + , [-83] + , [84] + , [-84] + , [85] + , [-85] + , [86] + , [-86] + , [87] + , [-87] + , [88] + , [-88] + , [89] + , [-89] + , [90] + , [-90] + , [91] + , [-91] + , [92] + , [-92] + , [93] + , [-93] + , [94] + , [-94] + , [95] + , [-95] + , [96] + , [-96] + , [97] + , [-97] + , [98] + , [-98] + , [99] + , [-99] + , [100] + , [-100] + , [101] + , [-101] + , [102] + , [-102] + , [103] + , [-103] + , [104] + , [-104] + , [105] + , [-105] + , [106] + , [-106] + , [107] + , [-107] + , [108] + , [-108] + , [109] + , [-109] + , [110] + , [-110] + , [111] + , [-111] + , [112] + , [-112] + , [113] + , [-113] + , [114] + , [-114] + , [115] + , [-115] + , [116] + , [-116] + , [117] + , [-117] + , [118] + , [-118] + , [119] + , [-119] + , [120] + , [-120] + , [121] + , [-121] + , [122] + , [-122] + , [123] + , [-123] + , [124] + , [-124] + , [125] + , [-125] + , [126] + , [-126] + , [127] + , [-127] + , [-128] + ] diff --git a/test/diff/tiers-Nat2.out b/test/diff/tiers-Nat2.out new file mode 100644 --- /dev/null +++ b/test/diff/tiers-Nat2.out @@ -0,0 +1,12 @@ +map length (tiers :: [[ Nat2 ]]) = [1,1] + +length (list :: [ Nat2 ]) = 2 + +allUnique (list :: [ Nat2 ]) = True + +ratioRepetitions (list :: [ Nat2 ]) = 0 % 1 + +tiers :: [Nat2] = + [ [0] + , [1] + ] diff --git a/test/diff/tiers-Nat3.out b/test/diff/tiers-Nat3.out new file mode 100644 --- /dev/null +++ b/test/diff/tiers-Nat3.out @@ -0,0 +1,13 @@ +map length (tiers :: [[ Nat3 ]]) = [1,1,1] + +length (list :: [ Nat3 ]) = 3 + +allUnique (list :: [ Nat3 ]) = True + +ratioRepetitions (list :: [ Nat3 ]) = 0 % 1 + +tiers :: [Nat3] = + [ [0] + , [1] + , [2] + ] diff --git a/test/diff/tiers-Nat4.out b/test/diff/tiers-Nat4.out new file mode 100644 --- /dev/null +++ b/test/diff/tiers-Nat4.out @@ -0,0 +1,14 @@ +map length (tiers :: [[ Nat4 ]]) = [1,1,1,1] + +length (list :: [ Nat4 ]) = 4 + +allUnique (list :: [ Nat4 ]) = True + +ratioRepetitions (list :: [ Nat4 ]) = 0 % 1 + +tiers :: [Nat4] = + [ [0] + , [1] + , [2] + , [3] + ] diff --git a/test/diff/tiers-Word2.out b/test/diff/tiers-Word2.out new file mode 100644 --- /dev/null +++ b/test/diff/tiers-Word2.out @@ -0,0 +1,14 @@ +map length (tiers :: [[ Word2 ]]) = [1,1,1,1] + +length (list :: [ Word2 ]) = 4 + +allUnique (list :: [ Word2 ]) = True + +ratioRepetitions (list :: [ Word2 ]) = 0 % 1 + +tiers :: [Word2] = + [ [0] + , [1] + , [2] + , [3] + ] diff --git a/test/diff/tiers-Word3.out b/test/diff/tiers-Word3.out new file mode 100644 --- /dev/null +++ b/test/diff/tiers-Word3.out @@ -0,0 +1,18 @@ +map length (tiers :: [[ Word3 ]]) = [1,1,1,1,1,1,1,1] + +length (list :: [ Word3 ]) = 8 + +allUnique (list :: [ Word3 ]) = True + +ratioRepetitions (list :: [ Word3 ]) = 0 % 1 + +tiers :: [Word3] = + [ [0] + , [1] + , [2] + , [3] + , [4] + , [5] + , [6] + , [7] + ] diff --git a/test/diff/tiers-Word4.out b/test/diff/tiers-Word4.out new file mode 100644 --- /dev/null +++ b/test/diff/tiers-Word4.out @@ -0,0 +1,26 @@ +map length (tiers :: [[ Word4 ]]) = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] + +length (list :: [ Word4 ]) = Infinity + +allUnique (list :: [ Word4 ]) = True + +ratioRepetitions (list :: [ Word4 ]) = 0 % 1 + +tiers :: [Word4] = + [ [0] + , [1] + , [2] + , [3] + , [4] + , [5] + , [6] + , [7] + , [8] + , [9] + , [10] + , [11] + , [12] + , [13] + , [14] + , [15] + ] diff --git a/test/diff/tiers-Word8.out b/test/diff/tiers-Word8.out new file mode 100644 --- /dev/null +++ b/test/diff/tiers-Word8.out @@ -0,0 +1,266 @@ +map length (tiers :: [[ Word8 ]]) = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] + +length (list :: [ Word8 ]) = Infinity + +allUnique (list :: [ Word8 ]) = True + +ratioRepetitions (list :: [ Word8 ]) = 0 % 1 + +tiers :: [Word8] = + [ [0] + , [1] + , [2] + , [3] + , [4] + , [5] + , [6] + , [7] + , [8] + , [9] + , [10] + , [11] + , [12] + , [13] + , [14] + , [15] + , [16] + , [17] + , [18] + , [19] + , [20] + , [21] + , [22] + , [23] + , [24] + , [25] + , [26] + , [27] + , [28] + , [29] + , [30] + , [31] + , [32] + , [33] + , [34] + , [35] + , [36] + , [37] + , [38] + , [39] + , [40] + , [41] + , [42] + , [43] + , [44] + , [45] + , [46] + , [47] + , [48] + , [49] + , [50] + , [51] + , [52] + , [53] + , [54] + , [55] + , [56] + , [57] + , [58] + , [59] + , [60] + , [61] + , [62] + , [63] + , [64] + , [65] + , [66] + , [67] + , [68] + , [69] + , [70] + , [71] + , [72] + , [73] + , [74] + , [75] + , [76] + , [77] + , [78] + , [79] + , [80] + , [81] + , [82] + , [83] + , [84] + , [85] + , [86] + , [87] + , [88] + , [89] + , [90] + , [91] + , [92] + , [93] + , [94] + , [95] + , [96] + , [97] + , [98] + , [99] + , [100] + , [101] + , [102] + , [103] + , [104] + , [105] + , [106] + , [107] + , [108] + , [109] + , [110] + , [111] + , [112] + , [113] + , [114] + , [115] + , [116] + , [117] + , [118] + , [119] + , [120] + , [121] + , [122] + , [123] + , [124] + , [125] + , [126] + , [127] + , [128] + , [129] + , [130] + , [131] + , [132] + , [133] + , [134] + , [135] + , [136] + , [137] + , [138] + , [139] + , [140] + , [141] + , [142] + , [143] + , [144] + , [145] + , [146] + , [147] + , [148] + , [149] + , [150] + , [151] + , [152] + , [153] + , [154] + , [155] + , [156] + , [157] + , [158] + , [159] + , [160] + , [161] + , [162] + , [163] + , [164] + , [165] + , [166] + , [167] + , [168] + , [169] + , [170] + , [171] + , [172] + , [173] + , [174] + , [175] + , [176] + , [177] + , [178] + , [179] + , [180] + , [181] + , [182] + , [183] + , [184] + , [185] + , [186] + , [187] + , [188] + , [189] + , [190] + , [191] + , [192] + , [193] + , [194] + , [195] + , [196] + , [197] + , [198] + , [199] + , [200] + , [201] + , [202] + , [203] + , [204] + , [205] + , [206] + , [207] + , [208] + , [209] + , [210] + , [211] + , [212] + , [213] + , [214] + , [215] + , [216] + , [217] + , [218] + , [219] + , [220] + , [221] + , [222] + , [223] + , [224] + , [225] + , [226] + , [227] + , [228] + , [229] + , [230] + , [231] + , [232] + , [233] + , [234] + , [235] + , [236] + , [237] + , [238] + , [239] + , [240] + , [241] + , [242] + , [243] + , [244] + , [245] + , [246] + , [247] + , [248] + , [249] + , [250] + , [251] + , [252] + , [253] + , [254] + , [255] + ] diff --git a/test/error.hs b/test/error.hs --- a/test/error.hs +++ b/test/error.hs @@ -35,7 +35,7 @@ , exists n someOthers , witness n someOthers == Just ["2","2"] - , witnesses (100*n) someOthers == (map.map) show [[2,2],[2,4],[3,3] + , witnesses (20*n) someOthers == (map.map) show [[2,2],[2,4],[3,3] ,[2,8],[3,9],[3,27]] ] diff --git a/test/main.hs b/test/main.hs --- a/test/main.hs +++ b/test/main.hs @@ -9,7 +9,9 @@ import Test.LeanCheck.Utils import Data.Ratio -import Data.Word (Word) +import Data.Complex +import Data.Int (Int, Int8, Int16, Int32, Int64) +import Data.Word (Word, Word8, Word16, Word32, Word64) main :: IO () main = @@ -77,6 +79,20 @@ , holds 100 $ (\/) ==== zipWith' (++) [] [] -:> [[bool]] , holds 100 $ (\\//) ==== zipWith' (+|) [] [] -:> [[uint2]] , holds 100 $ (\\//) ==== zipWith' (+|) [] [] -:> [[bool]] + + , holds 100 $ \x -> x == (x :: Word) + , holds 100 $ \x -> x == (x :: Word8) + , holds 100 $ \x -> x == (x :: Word16) + , holds 100 $ \x -> x == (x :: Word32) + , holds 100 $ \x -> x == (x :: Word64) + + , holds 100 $ \x -> x == (x :: Int) + , holds 100 $ \x -> x == (x :: Int8) + , holds 100 $ \x -> x == (x :: Int16) + , holds 100 $ \x -> x == (x :: Int32) + , holds 100 $ \x -> x == (x :: Int64) + + , holds 100 $ \x -> x == (x :: Complex Double) ] allUnique :: Ord a => [a] -> Bool