| Copyright | (c) 2015-2017 Rudy Matela |
|---|---|
| License | 3-Clause BSD (see the file LICENSE) |
| Maintainer | Rudy Matela <rudy@matela.com.br> |
| Safe Haskell | None |
| Language | Haskell2010 |
Test.LeanCheck.Utils.Types
Description
This module is part of LeanCheck, a simple enumerative property-based testing library.
Types to aid in property-based testing.
Synopsis
- newtype Int1 = Int1 {}
- newtype Int2 = Int2 {}
- newtype Int3 = Int3 {}
- newtype Int4 = Int4 {}
- newtype Word1 = Word1 {}
- newtype Word2 = Word2 {}
- newtype Word3 = Word3 {}
- newtype Word4 = Word4 {}
- newtype Nat = Nat {}
- newtype Nat1 = Nat1 {}
- newtype Nat2 = Nat2 {}
- newtype Nat3 = Nat3 {}
- newtype Nat4 = Nat4 {}
- newtype Nat5 = Nat5 {}
- newtype Nat6 = Nat6 {}
- newtype Nat7 = Nat7 {}
- type UInt1 = Word1
- type UInt2 = Word2
- type UInt3 = Word3
- type UInt4 = Word4
- newtype X a = X {
- unX :: a
- newtype Xs a = Xs {
- unXs :: [a]
- newtype NoDup a = NoDup [a]
- newtype Bag a = Bag [a]
- newtype Set a = Set [a]
Integer types
Small-width integer types to aid in property-based testing. Sometimes it is useful to limit the possibilities of enumerated values when testing polymorphic functions, these types allow that.
The signed integer types IntN are of limited bit width N
bounded by -2^(N-1) to 2^(N-1)-1.
The unsigned integer types WordN are of limited bit width N
bounded by 0 to 2^N-1.
Operations are closed and modulo 2^N. e.g.:
maxBound + 1 = minBound read "2" = -2 :: Int2 abs minBound = minBound negate n = 2^N - n :: WordN
Single-bit signed integers: -1, 0
Two-bit signed integers: -2, -1, 0, 1
Three-bit signed integers: -4, -3, -2, -1, 0, 1, 2, 3
Four-bit signed integers: -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7
Single-bit unsigned integer: 0, 1
Instances
| Bounded Word1 # | |
| Enum Word1 # | |
Defined in Test.LeanCheck.Utils.Types | |
| Eq Word1 # | |
| Integral Word1 # | |
| Num Word1 # | |
| Ord Word1 # | |
| Read Word1 # | |
| Real Word1 # | |
Defined in Test.LeanCheck.Utils.Types Methods toRational :: Word1 -> Rational # | |
| Show Word1 # | |
| Listable Word1 # | |
| ShowFunction Word1 # | |
Defined in Test.LeanCheck.Function.ShowFunction | |
Two-bit unsigned integers: 0, 1, 2, 3
Instances
| Bounded Word2 # | |
| Enum Word2 # | |
Defined in Test.LeanCheck.Utils.Types | |
| Eq Word2 # | |
| Integral Word2 # | |
| Num Word2 # | |
| Ord Word2 # | |
| Read Word2 # | |
| Real Word2 # | |
Defined in Test.LeanCheck.Utils.Types Methods toRational :: Word2 -> Rational # | |
| Show Word2 # | |
| Listable Word2 # | |
| ShowFunction Word2 # | |
Defined in Test.LeanCheck.Function.ShowFunction | |
Three-bit unsigned integers: 0, 1, 2, 3, 4, 5, 6, 7
Instances
| Bounded Word3 # | |
| Enum Word3 # | |
Defined in Test.LeanCheck.Utils.Types | |
| Eq Word3 # | |
| Integral Word3 # | |
| Num Word3 # | |
| Ord Word3 # | |
| Read Word3 # | |
| Real Word3 # | |
Defined in Test.LeanCheck.Utils.Types Methods toRational :: Word3 -> Rational # | |
| Show Word3 # | |
| Listable Word3 # | |
| ShowFunction Word3 # | |
Defined in Test.LeanCheck.Function.ShowFunction | |
Four-bit unsigned integers: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15
Instances
| Bounded Word4 # | |
| Enum Word4 # | |
Defined in Test.LeanCheck.Utils.Types | |
| Eq Word4 # | |
| Integral Word4 # | |
| Num Word4 # | |
| Ord Word4 # | |
| Read Word4 # | |
| Real Word4 # | |
Defined in Test.LeanCheck.Utils.Types Methods toRational :: Word4 -> Rational # | |
| Show Word4 # | |
| Listable Word4 # | |
| ShowFunction Word4 # | |
Defined in Test.LeanCheck.Function.ShowFunction | |
Natural numbers (including 0): 0, 1, 2, 3, 4, 5, 6, 7, ...
Internally, this type is represented as an Int.
So, it is limited by the maxBound of Int.
Instances
| Enum Nat # | |
| Eq Nat # | |
| Integral Nat # | |
| Num Nat # | |
| Ord Nat # | |
| Read Nat # | |
| Real Nat # | |
Defined in Test.LeanCheck.Utils.Types Methods toRational :: Nat -> Rational # | |
| Show Nat # | |
| Listable Nat # | |
| FunListable Nat # | |
Defined in Test.LeanCheck.Function.Listable.FunListable | |
| CoListable Nat # | |
Defined in Test.LeanCheck.Function.CoListable | |
| ShowFunction Nat # | |
Defined in Test.LeanCheck.Function.ShowFunction | |
Natural numbers modulo 1: 0
Natural numbers modulo 2: 0, 1
Instances
| Bounded Nat2 # | |
| Enum Nat2 # | |
| Eq Nat2 # | |
| Integral Nat2 # | |
| Num Nat2 # | |
| Ord Nat2 # | |
| Read Nat2 # | |
| Real Nat2 # | |
Defined in Test.LeanCheck.Utils.Types Methods toRational :: Nat2 -> Rational # | |
| Show Nat2 # | |
| Listable Nat2 # | |
| FunListable Nat2 # | |
Defined in Test.LeanCheck.Function.Listable.FunListable | |
| CoListable Nat2 # | |
Defined in Test.LeanCheck.Function.CoListable | |
| ShowFunction Nat2 # | |
Defined in Test.LeanCheck.Function.ShowFunction | |
Natural numbers modulo 3: 0, 1, 2
Instances
| Bounded Nat3 # | |
| Enum Nat3 # | |
| Eq Nat3 # | |
| Integral Nat3 # | |
| Num Nat3 # | |
| Ord Nat3 # | |
| Read Nat3 # | |
| Real Nat3 # | |
Defined in Test.LeanCheck.Utils.Types Methods toRational :: Nat3 -> Rational # | |
| Show Nat3 # | |
| Listable Nat3 # | |
| FunListable Nat3 # | |
Defined in Test.LeanCheck.Function.Listable.FunListable | |
| CoListable Nat3 # | |
Defined in Test.LeanCheck.Function.CoListable | |
| ShowFunction Nat3 # | |
Defined in Test.LeanCheck.Function.ShowFunction | |
Natural numbers modulo 4: 0, 1, 2, 3
Natural numbers modulo 5: 0, 1, 2, 3, 4
Natural numbers modulo 6: 0, 1, 2, 3, 4, 5
Natural numbers modulo 7: 0, 1, 2, 3, 4, 5, 6
Aliases to word types (deprecated)
Extreme Integers
X type to be wrapped around integer types for an e-X-treme integer
enumeration. See the Listable instance for X. Use X when
testing properties about overflows and the like:
> check $ \x -> x + 1 > (x :: Int) +++ OK, passed 200 tests.
> check $ \(X x) -> x + 1 > (x :: Int) +++ Failed! Falsifiable (after 4 tests): 9223372036854775807
Instances
| Eq a => Eq (X a) # | |
| Ord a => Ord (X a) # | |
| Show a => Show (X a) # | |
| (Integral a, Bounded a) => Listable (X a) # | Extremily large integers are intercalated with small integers. list :: [X Int] = map X
[ 0, 1, -1, maxBound, minBound
, 2, -2, maxBound-1, minBound+1
, 3, -3, maxBound-2, minBound+2
, ... ] |
List-wrapper types
Constructors
| NoDup [a] |
Constructors
| Bag [a] |