Copyright	(c) 2015-2020 Rudy Matela
License	3-Clause BSD (see the file LICENSE)
Maintainer	Rudy Matela <rudy@matela.com.br>
Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.LeanCheck.Utils.Types

Contents

Integer types
- Aliases to word types (deprecated)
Extreme Integers
List-wrapper types
Character types
String types
Generic 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 {
- unInt1 :: Int
}
newtype Int2 = Int2 {
- unInt2 :: Int
}
newtype Int3 = Int3 {
- unInt3 :: Int
}
newtype Int4 = Int4 {
- unInt4 :: Int
}
newtype Word1 = Word1 {
- unWord1 :: Int
}
newtype Word2 = Word2 {
- unWord2 :: Int
}
newtype Word3 = Word3 {
- unWord3 :: Int
}
newtype Word4 = Word4 {
- unWord4 :: Int
}
newtype Nat = Nat {
- unNat :: Int
}
newtype Nat1 = Nat1 {
- unNat1 :: Int
}
newtype Nat2 = Nat2 {
- unNat2 :: Int
}
newtype Nat3 = Nat3 {
- unNat3 :: Int
}
newtype Nat4 = Nat4 {
- unNat4 :: Int
}
newtype Nat5 = Nat5 {
- unNat5 :: Int
}
newtype Nat6 = Nat6 {
- unNat6 :: Int
}
newtype Nat7 = Nat7 {
- unNat7 :: Int
}
newtype Natural = Natural {
- unNatural :: Integer
}
type UInt1 = Word1
type UInt2 = Word2
type UInt3 = Word3
type UInt4 = Word4
newtype X a = X {
- unX :: a
}
newtype Xs a = Xs [a]
newtype NoDup a = NoDup [a]
newtype Bag a = Bag [a]
newtype Set a = Set [a]
newtype Map a b = Map [(a, b)]
data Space = Space {
- unSpace :: Char
}
data Lower = Lower {
- unLower :: Char
}
data Upper = Upper {
- unUpper :: Char
}
data Alpha = Alpha {
- unAlpha :: Char
}
data Digit = Digit {
- unDigit :: Char
}
data AlphaNum = AlphaNum {
- unAlphaNum :: Char
}
data Letter = Letter {
- unLetter :: Char
}
data Spaces = Spaces {
- unSpaces :: String
}
data Lowers = Lowers {
- unLowers :: String
}
data Uppers = Uppers {
- unUppers :: String
}
data Alphas = Alphas {
- unAlphas :: String
}
data Digits = Digits {
- unDigits :: String
}
data AlphaNums = AlphaNums {
- unAlphaNums :: String
}
data Letters = Letters {
- unLetters :: String
}
data A
data B
data C
data D
data E
data F

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

newtype Int1 Source #

Single-bit signed integers: -1, 0

Constructors

Int1
Fields unInt1 :: Int

Instances

Instances details

Bounded Int1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Int1 # maxBound :: Int1 #
Enum Int1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Int1 -> Int1 # pred :: Int1 -> Int1 # toEnum :: Int -> Int1 # fromEnum :: Int1 -> Int # enumFrom :: Int1 -> [Int1] # enumFromThen :: Int1 -> Int1 -> [Int1] # enumFromTo :: Int1 -> Int1 -> [Int1] # enumFromThenTo :: Int1 -> Int1 -> Int1 -> [Int1] #
Ix Int1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Int1, Int1) -> [Int1] # index :: (Int1, Int1) -> Int1 -> Int # unsafeIndex :: (Int1, Int1) -> Int1 -> Int # inRange :: (Int1, Int1) -> Int1 -> Bool # rangeSize :: (Int1, Int1) -> Int # unsafeRangeSize :: (Int1, Int1) -> Int #
Num Int1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Int1 -> Int1 -> Int1 # (-) :: Int1 -> Int1 -> Int1 # (*) :: Int1 -> Int1 -> Int1 # negate :: Int1 -> Int1 # abs :: Int1 -> Int1 # signum :: Int1 -> Int1 # fromInteger :: Integer -> Int1 #
Read Int1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Int1 # readList :: ReadS [Int1] # readPrec :: ReadPrec Int1 # readListPrec :: ReadPrec [Int1] #
Integral Int1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Int1 -> Int1 -> Int1 # rem :: Int1 -> Int1 -> Int1 # div :: Int1 -> Int1 -> Int1 # mod :: Int1 -> Int1 -> Int1 # quotRem :: Int1 -> Int1 -> (Int1, Int1) # divMod :: Int1 -> Int1 -> (Int1, Int1) # toInteger :: Int1 -> Integer #
Real Int1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Int1 -> Rational #
Show Int1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Int1 -> ShowS # show :: Int1 -> String # showList :: [Int1] -> ShowS #
Eq Int1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Int1 -> Int1 -> Bool # (/=) :: Int1 -> Int1 -> Bool #
Ord Int1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Int1 -> Int1 -> Ordering # (<) :: Int1 -> Int1 -> Bool # (<=) :: Int1 -> Int1 -> Bool # (>) :: Int1 -> Int1 -> Bool # (>=) :: Int1 -> Int1 -> Bool # max :: Int1 -> Int1 -> Int1 # min :: Int1 -> Int1 -> Int1 #
Listable Int1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Int1]] Source # list :: [Int1] Source #
ShowFunction Int1 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Int1 -> [[Binding]] Source #

newtype Int2 Source #

Two-bit signed integers: -2, -1, 0, 1

Constructors

Int2
Fields unInt2 :: Int

Instances

Instances details

Bounded Int2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Int2 # maxBound :: Int2 #
Enum Int2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Int2 -> Int2 # pred :: Int2 -> Int2 # toEnum :: Int -> Int2 # fromEnum :: Int2 -> Int # enumFrom :: Int2 -> [Int2] # enumFromThen :: Int2 -> Int2 -> [Int2] # enumFromTo :: Int2 -> Int2 -> [Int2] # enumFromThenTo :: Int2 -> Int2 -> Int2 -> [Int2] #
Ix Int2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Int2, Int2) -> [Int2] # index :: (Int2, Int2) -> Int2 -> Int # unsafeIndex :: (Int2, Int2) -> Int2 -> Int # inRange :: (Int2, Int2) -> Int2 -> Bool # rangeSize :: (Int2, Int2) -> Int # unsafeRangeSize :: (Int2, Int2) -> Int #
Num Int2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Int2 -> Int2 -> Int2 # (-) :: Int2 -> Int2 -> Int2 # (*) :: Int2 -> Int2 -> Int2 # negate :: Int2 -> Int2 # abs :: Int2 -> Int2 # signum :: Int2 -> Int2 # fromInteger :: Integer -> Int2 #
Read Int2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Int2 # readList :: ReadS [Int2] # readPrec :: ReadPrec Int2 # readListPrec :: ReadPrec [Int2] #
Integral Int2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Int2 -> Int2 -> Int2 # rem :: Int2 -> Int2 -> Int2 # div :: Int2 -> Int2 -> Int2 # mod :: Int2 -> Int2 -> Int2 # quotRem :: Int2 -> Int2 -> (Int2, Int2) # divMod :: Int2 -> Int2 -> (Int2, Int2) # toInteger :: Int2 -> Integer #
Real Int2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Int2 -> Rational #
Show Int2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Int2 -> ShowS # show :: Int2 -> String # showList :: [Int2] -> ShowS #
Eq Int2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Int2 -> Int2 -> Bool # (/=) :: Int2 -> Int2 -> Bool #
Ord Int2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Int2 -> Int2 -> Ordering # (<) :: Int2 -> Int2 -> Bool # (<=) :: Int2 -> Int2 -> Bool # (>) :: Int2 -> Int2 -> Bool # (>=) :: Int2 -> Int2 -> Bool # max :: Int2 -> Int2 -> Int2 # min :: Int2 -> Int2 -> Int2 #
Listable Int2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Int2]] Source # list :: [Int2] Source #
ShowFunction Int2 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Int2 -> [[Binding]] Source #

newtype Int3 Source #

Three-bit signed integers: -4, -3, -2, -1, 0, 1, 2, 3

Constructors

Int3
Fields unInt3 :: Int

Instances

Instances details

Bounded Int3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Int3 # maxBound :: Int3 #
Enum Int3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Int3 -> Int3 # pred :: Int3 -> Int3 # toEnum :: Int -> Int3 # fromEnum :: Int3 -> Int # enumFrom :: Int3 -> [Int3] # enumFromThen :: Int3 -> Int3 -> [Int3] # enumFromTo :: Int3 -> Int3 -> [Int3] # enumFromThenTo :: Int3 -> Int3 -> Int3 -> [Int3] #
Ix Int3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Int3, Int3) -> [Int3] # index :: (Int3, Int3) -> Int3 -> Int # unsafeIndex :: (Int3, Int3) -> Int3 -> Int # inRange :: (Int3, Int3) -> Int3 -> Bool # rangeSize :: (Int3, Int3) -> Int # unsafeRangeSize :: (Int3, Int3) -> Int #
Num Int3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Int3 -> Int3 -> Int3 # (-) :: Int3 -> Int3 -> Int3 # (*) :: Int3 -> Int3 -> Int3 # negate :: Int3 -> Int3 # abs :: Int3 -> Int3 # signum :: Int3 -> Int3 # fromInteger :: Integer -> Int3 #
Read Int3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Int3 # readList :: ReadS [Int3] # readPrec :: ReadPrec Int3 # readListPrec :: ReadPrec [Int3] #
Integral Int3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Int3 -> Int3 -> Int3 # rem :: Int3 -> Int3 -> Int3 # div :: Int3 -> Int3 -> Int3 # mod :: Int3 -> Int3 -> Int3 # quotRem :: Int3 -> Int3 -> (Int3, Int3) # divMod :: Int3 -> Int3 -> (Int3, Int3) # toInteger :: Int3 -> Integer #
Real Int3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Int3 -> Rational #
Show Int3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Int3 -> ShowS # show :: Int3 -> String # showList :: [Int3] -> ShowS #
Eq Int3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Int3 -> Int3 -> Bool # (/=) :: Int3 -> Int3 -> Bool #
Ord Int3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Int3 -> Int3 -> Ordering # (<) :: Int3 -> Int3 -> Bool # (<=) :: Int3 -> Int3 -> Bool # (>) :: Int3 -> Int3 -> Bool # (>=) :: Int3 -> Int3 -> Bool # max :: Int3 -> Int3 -> Int3 # min :: Int3 -> Int3 -> Int3 #
Listable Int3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Int3]] Source # list :: [Int3] Source #
ShowFunction Int3 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Int3 -> [[Binding]] Source #

newtype Int4 Source #

Four-bit signed integers: -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7

Constructors

Int4
Fields unInt4 :: Int

Instances

Instances details

Bounded Int4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Int4 # maxBound :: Int4 #
Enum Int4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Int4 -> Int4 # pred :: Int4 -> Int4 # toEnum :: Int -> Int4 # fromEnum :: Int4 -> Int # enumFrom :: Int4 -> [Int4] # enumFromThen :: Int4 -> Int4 -> [Int4] # enumFromTo :: Int4 -> Int4 -> [Int4] # enumFromThenTo :: Int4 -> Int4 -> Int4 -> [Int4] #
Ix Int4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Int4, Int4) -> [Int4] # index :: (Int4, Int4) -> Int4 -> Int # unsafeIndex :: (Int4, Int4) -> Int4 -> Int # inRange :: (Int4, Int4) -> Int4 -> Bool # rangeSize :: (Int4, Int4) -> Int # unsafeRangeSize :: (Int4, Int4) -> Int #
Num Int4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Int4 -> Int4 -> Int4 # (-) :: Int4 -> Int4 -> Int4 # (*) :: Int4 -> Int4 -> Int4 # negate :: Int4 -> Int4 # abs :: Int4 -> Int4 # signum :: Int4 -> Int4 # fromInteger :: Integer -> Int4 #
Read Int4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Int4 # readList :: ReadS [Int4] # readPrec :: ReadPrec Int4 # readListPrec :: ReadPrec [Int4] #
Integral Int4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Int4 -> Int4 -> Int4 # rem :: Int4 -> Int4 -> Int4 # div :: Int4 -> Int4 -> Int4 # mod :: Int4 -> Int4 -> Int4 # quotRem :: Int4 -> Int4 -> (Int4, Int4) # divMod :: Int4 -> Int4 -> (Int4, Int4) # toInteger :: Int4 -> Integer #
Real Int4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Int4 -> Rational #
Show Int4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Int4 -> ShowS # show :: Int4 -> String # showList :: [Int4] -> ShowS #
Eq Int4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Int4 -> Int4 -> Bool # (/=) :: Int4 -> Int4 -> Bool #
Ord Int4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Int4 -> Int4 -> Ordering # (<) :: Int4 -> Int4 -> Bool # (<=) :: Int4 -> Int4 -> Bool # (>) :: Int4 -> Int4 -> Bool # (>=) :: Int4 -> Int4 -> Bool # max :: Int4 -> Int4 -> Int4 # min :: Int4 -> Int4 -> Int4 #
Listable Int4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Int4]] Source # list :: [Int4] Source #
ShowFunction Int4 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Int4 -> [[Binding]] Source #

newtype Word1 Source #

Single-bit unsigned integer: 0, 1

Constructors

Word1
Fields unWord1 :: Int

Instances

Instances details

Bounded Word1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Word1 # maxBound :: Word1 #
Enum Word1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Word1 -> Word1 # pred :: Word1 -> Word1 # toEnum :: Int -> Word1 # fromEnum :: Word1 -> Int # enumFrom :: Word1 -> [Word1] # enumFromThen :: Word1 -> Word1 -> [Word1] # enumFromTo :: Word1 -> Word1 -> [Word1] # enumFromThenTo :: Word1 -> Word1 -> Word1 -> [Word1] #
Ix Word1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Word1, Word1) -> [Word1] # index :: (Word1, Word1) -> Word1 -> Int # unsafeIndex :: (Word1, Word1) -> Word1 -> Int # inRange :: (Word1, Word1) -> Word1 -> Bool # rangeSize :: (Word1, Word1) -> Int # unsafeRangeSize :: (Word1, Word1) -> Int #
Num Word1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Word1 -> Word1 -> Word1 # (-) :: Word1 -> Word1 -> Word1 # (*) :: Word1 -> Word1 -> Word1 # negate :: Word1 -> Word1 # abs :: Word1 -> Word1 # signum :: Word1 -> Word1 # fromInteger :: Integer -> Word1 #
Read Word1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Word1 # readList :: ReadS [Word1] # readPrec :: ReadPrec Word1 # readListPrec :: ReadPrec [Word1] #
Integral Word1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Word1 -> Word1 -> Word1 # rem :: Word1 -> Word1 -> Word1 # div :: Word1 -> Word1 -> Word1 # mod :: Word1 -> Word1 -> Word1 # quotRem :: Word1 -> Word1 -> (Word1, Word1) # divMod :: Word1 -> Word1 -> (Word1, Word1) # toInteger :: Word1 -> Integer #
Real Word1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Word1 -> Rational #
Show Word1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Word1 -> ShowS # show :: Word1 -> String # showList :: [Word1] -> ShowS #
Eq Word1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Word1 -> Word1 -> Bool # (/=) :: Word1 -> Word1 -> Bool #
Ord Word1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Word1 -> Word1 -> Ordering # (<) :: Word1 -> Word1 -> Bool # (<=) :: Word1 -> Word1 -> Bool # (>) :: Word1 -> Word1 -> Bool # (>=) :: Word1 -> Word1 -> Bool # max :: Word1 -> Word1 -> Word1 # min :: Word1 -> Word1 -> Word1 #
Listable Word1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Word1]] Source # list :: [Word1] Source #
ShowFunction Word1 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Word1 -> [[Binding]] Source #

newtype Word2 Source #

Two-bit unsigned integers: 0, 1, 2, 3

Constructors

Word2
Fields unWord2 :: Int

Instances

Instances details

Bounded Word2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Word2 # maxBound :: Word2 #
Enum Word2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Word2 -> Word2 # pred :: Word2 -> Word2 # toEnum :: Int -> Word2 # fromEnum :: Word2 -> Int # enumFrom :: Word2 -> [Word2] # enumFromThen :: Word2 -> Word2 -> [Word2] # enumFromTo :: Word2 -> Word2 -> [Word2] # enumFromThenTo :: Word2 -> Word2 -> Word2 -> [Word2] #
Ix Word2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Word2, Word2) -> [Word2] # index :: (Word2, Word2) -> Word2 -> Int # unsafeIndex :: (Word2, Word2) -> Word2 -> Int # inRange :: (Word2, Word2) -> Word2 -> Bool # rangeSize :: (Word2, Word2) -> Int # unsafeRangeSize :: (Word2, Word2) -> Int #
Num Word2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Word2 -> Word2 -> Word2 # (-) :: Word2 -> Word2 -> Word2 # (*) :: Word2 -> Word2 -> Word2 # negate :: Word2 -> Word2 # abs :: Word2 -> Word2 # signum :: Word2 -> Word2 # fromInteger :: Integer -> Word2 #
Read Word2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Word2 # readList :: ReadS [Word2] # readPrec :: ReadPrec Word2 # readListPrec :: ReadPrec [Word2] #
Integral Word2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Word2 -> Word2 -> Word2 # rem :: Word2 -> Word2 -> Word2 # div :: Word2 -> Word2 -> Word2 # mod :: Word2 -> Word2 -> Word2 # quotRem :: Word2 -> Word2 -> (Word2, Word2) # divMod :: Word2 -> Word2 -> (Word2, Word2) # toInteger :: Word2 -> Integer #
Real Word2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Word2 -> Rational #
Show Word2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Word2 -> ShowS # show :: Word2 -> String # showList :: [Word2] -> ShowS #
Eq Word2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Word2 -> Word2 -> Bool # (/=) :: Word2 -> Word2 -> Bool #
Ord Word2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Word2 -> Word2 -> Ordering # (<) :: Word2 -> Word2 -> Bool # (<=) :: Word2 -> Word2 -> Bool # (>) :: Word2 -> Word2 -> Bool # (>=) :: Word2 -> Word2 -> Bool # max :: Word2 -> Word2 -> Word2 # min :: Word2 -> Word2 -> Word2 #
Listable Word2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Word2]] Source # list :: [Word2] Source #
ShowFunction Word2 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Word2 -> [[Binding]] Source #

newtype Word3 Source #

Three-bit unsigned integers: 0, 1, 2, 3, 4, 5, 6, 7

Constructors

Word3
Fields unWord3 :: Int

Instances

Instances details

Bounded Word3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Word3 # maxBound :: Word3 #
Enum Word3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Word3 -> Word3 # pred :: Word3 -> Word3 # toEnum :: Int -> Word3 # fromEnum :: Word3 -> Int # enumFrom :: Word3 -> [Word3] # enumFromThen :: Word3 -> Word3 -> [Word3] # enumFromTo :: Word3 -> Word3 -> [Word3] # enumFromThenTo :: Word3 -> Word3 -> Word3 -> [Word3] #
Ix Word3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Word3, Word3) -> [Word3] # index :: (Word3, Word3) -> Word3 -> Int # unsafeIndex :: (Word3, Word3) -> Word3 -> Int # inRange :: (Word3, Word3) -> Word3 -> Bool # rangeSize :: (Word3, Word3) -> Int # unsafeRangeSize :: (Word3, Word3) -> Int #
Num Word3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Word3 -> Word3 -> Word3 # (-) :: Word3 -> Word3 -> Word3 # (*) :: Word3 -> Word3 -> Word3 # negate :: Word3 -> Word3 # abs :: Word3 -> Word3 # signum :: Word3 -> Word3 # fromInteger :: Integer -> Word3 #
Read Word3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Word3 # readList :: ReadS [Word3] # readPrec :: ReadPrec Word3 # readListPrec :: ReadPrec [Word3] #
Integral Word3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Word3 -> Word3 -> Word3 # rem :: Word3 -> Word3 -> Word3 # div :: Word3 -> Word3 -> Word3 # mod :: Word3 -> Word3 -> Word3 # quotRem :: Word3 -> Word3 -> (Word3, Word3) # divMod :: Word3 -> Word3 -> (Word3, Word3) # toInteger :: Word3 -> Integer #
Real Word3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Word3 -> Rational #
Show Word3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Word3 -> ShowS # show :: Word3 -> String # showList :: [Word3] -> ShowS #
Eq Word3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Word3 -> Word3 -> Bool # (/=) :: Word3 -> Word3 -> Bool #
Ord Word3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Word3 -> Word3 -> Ordering # (<) :: Word3 -> Word3 -> Bool # (<=) :: Word3 -> Word3 -> Bool # (>) :: Word3 -> Word3 -> Bool # (>=) :: Word3 -> Word3 -> Bool # max :: Word3 -> Word3 -> Word3 # min :: Word3 -> Word3 -> Word3 #
Listable Word3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Word3]] Source # list :: [Word3] Source #
ShowFunction Word3 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Word3 -> [[Binding]] Source #

newtype Word4 Source #

Four-bit unsigned integers: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15

Constructors

Word4
Fields unWord4 :: Int

Instances

Instances details

Bounded Word4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Word4 # maxBound :: Word4 #
Enum Word4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Word4 -> Word4 # pred :: Word4 -> Word4 # toEnum :: Int -> Word4 # fromEnum :: Word4 -> Int # enumFrom :: Word4 -> [Word4] # enumFromThen :: Word4 -> Word4 -> [Word4] # enumFromTo :: Word4 -> Word4 -> [Word4] # enumFromThenTo :: Word4 -> Word4 -> Word4 -> [Word4] #
Ix Word4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Word4, Word4) -> [Word4] # index :: (Word4, Word4) -> Word4 -> Int # unsafeIndex :: (Word4, Word4) -> Word4 -> Int # inRange :: (Word4, Word4) -> Word4 -> Bool # rangeSize :: (Word4, Word4) -> Int # unsafeRangeSize :: (Word4, Word4) -> Int #
Num Word4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Word4 -> Word4 -> Word4 # (-) :: Word4 -> Word4 -> Word4 # (*) :: Word4 -> Word4 -> Word4 # negate :: Word4 -> Word4 # abs :: Word4 -> Word4 # signum :: Word4 -> Word4 # fromInteger :: Integer -> Word4 #
Read Word4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Word4 # readList :: ReadS [Word4] # readPrec :: ReadPrec Word4 # readListPrec :: ReadPrec [Word4] #
Integral Word4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Word4 -> Word4 -> Word4 # rem :: Word4 -> Word4 -> Word4 # div :: Word4 -> Word4 -> Word4 # mod :: Word4 -> Word4 -> Word4 # quotRem :: Word4 -> Word4 -> (Word4, Word4) # divMod :: Word4 -> Word4 -> (Word4, Word4) # toInteger :: Word4 -> Integer #
Real Word4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Word4 -> Rational #
Show Word4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Word4 -> ShowS # show :: Word4 -> String # showList :: [Word4] -> ShowS #
Eq Word4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Word4 -> Word4 -> Bool # (/=) :: Word4 -> Word4 -> Bool #
Ord Word4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Word4 -> Word4 -> Ordering # (<) :: Word4 -> Word4 -> Bool # (<=) :: Word4 -> Word4 -> Bool # (>) :: Word4 -> Word4 -> Bool # (>=) :: Word4 -> Word4 -> Bool # max :: Word4 -> Word4 -> Word4 # min :: Word4 -> Word4 -> Word4 #
Listable Word4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Word4]] Source # list :: [Word4] Source #
ShowFunction Word4 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Word4 -> [[Binding]] Source #

newtype Nat Source #

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.

Its Enum, Listable and Num instances only produce non-negative values. When x < y then x - y = 0.

Constructors

Nat
Fields unNat :: Int

Instances

Instances details

Bounded Nat Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Nat # maxBound :: Nat #
Enum Nat Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Nat -> Nat # pred :: Nat -> Nat # toEnum :: Int -> Nat # fromEnum :: Nat -> Int # enumFrom :: Nat -> [Nat] # enumFromThen :: Nat -> Nat -> [Nat] # enumFromTo :: Nat -> Nat -> [Nat] # enumFromThenTo :: Nat -> Nat -> Nat -> [Nat] #
Ix Nat Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Nat, Nat) -> [Nat] # index :: (Nat, Nat) -> Nat -> Int # unsafeIndex :: (Nat, Nat) -> Nat -> Int # inRange :: (Nat, Nat) -> Nat -> Bool # rangeSize :: (Nat, Nat) -> Int # unsafeRangeSize :: (Nat, Nat) -> Int #
Num Nat Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Nat -> Nat -> Nat # (-) :: Nat -> Nat -> Nat # (*) :: Nat -> Nat -> Nat # negate :: Nat -> Nat # abs :: Nat -> Nat # signum :: Nat -> Nat # fromInteger :: Integer -> Nat #
Read Nat Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Nat # readList :: ReadS [Nat] # readPrec :: ReadPrec Nat # readListPrec :: ReadPrec [Nat] #
Integral Nat Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Nat -> Nat -> Nat # rem :: Nat -> Nat -> Nat # div :: Nat -> Nat -> Nat # mod :: Nat -> Nat -> Nat # quotRem :: Nat -> Nat -> (Nat, Nat) # divMod :: Nat -> Nat -> (Nat, Nat) # toInteger :: Nat -> Integer #
Real Nat Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Nat -> Rational #
Show Nat Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Nat -> ShowS # show :: Nat -> String # showList :: [Nat] -> ShowS #
Eq Nat Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Nat -> Nat -> Bool # (/=) :: Nat -> Nat -> Bool #
Ord Nat Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Nat -> Nat -> Ordering # (<) :: Nat -> Nat -> Bool # (<=) :: Nat -> Nat -> Bool # (>) :: Nat -> Nat -> Bool # (>=) :: Nat -> Nat -> Bool # max :: Nat -> Nat -> Nat # min :: Nat -> Nat -> Nat #
Listable Nat Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Nat]] Source # list :: [Nat] Source #
ShowFunction Nat Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Nat -> [[Binding]] Source #

newtype Nat1 Source #

Natural numbers modulo 1: 0

Constructors

Nat1
Fields unNat1 :: Int

Instances

Instances details

Bounded Nat1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Nat1 # maxBound :: Nat1 #
Enum Nat1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Nat1 -> Nat1 # pred :: Nat1 -> Nat1 # toEnum :: Int -> Nat1 # fromEnum :: Nat1 -> Int # enumFrom :: Nat1 -> [Nat1] # enumFromThen :: Nat1 -> Nat1 -> [Nat1] # enumFromTo :: Nat1 -> Nat1 -> [Nat1] # enumFromThenTo :: Nat1 -> Nat1 -> Nat1 -> [Nat1] #
Ix Nat1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Nat1, Nat1) -> [Nat1] # index :: (Nat1, Nat1) -> Nat1 -> Int # unsafeIndex :: (Nat1, Nat1) -> Nat1 -> Int # inRange :: (Nat1, Nat1) -> Nat1 -> Bool # rangeSize :: (Nat1, Nat1) -> Int # unsafeRangeSize :: (Nat1, Nat1) -> Int #
Num Nat1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Nat1 -> Nat1 -> Nat1 # (-) :: Nat1 -> Nat1 -> Nat1 # (*) :: Nat1 -> Nat1 -> Nat1 # negate :: Nat1 -> Nat1 # abs :: Nat1 -> Nat1 # signum :: Nat1 -> Nat1 # fromInteger :: Integer -> Nat1 #
Read Nat1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Nat1 # readList :: ReadS [Nat1] # readPrec :: ReadPrec Nat1 # readListPrec :: ReadPrec [Nat1] #
Integral Nat1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Nat1 -> Nat1 -> Nat1 # rem :: Nat1 -> Nat1 -> Nat1 # div :: Nat1 -> Nat1 -> Nat1 # mod :: Nat1 -> Nat1 -> Nat1 # quotRem :: Nat1 -> Nat1 -> (Nat1, Nat1) # divMod :: Nat1 -> Nat1 -> (Nat1, Nat1) # toInteger :: Nat1 -> Integer #
Real Nat1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Nat1 -> Rational #
Show Nat1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Nat1 -> ShowS # show :: Nat1 -> String # showList :: [Nat1] -> ShowS #
Eq Nat1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Nat1 -> Nat1 -> Bool # (/=) :: Nat1 -> Nat1 -> Bool #
Ord Nat1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Nat1 -> Nat1 -> Ordering # (<) :: Nat1 -> Nat1 -> Bool # (<=) :: Nat1 -> Nat1 -> Bool # (>) :: Nat1 -> Nat1 -> Bool # (>=) :: Nat1 -> Nat1 -> Bool # max :: Nat1 -> Nat1 -> Nat1 # min :: Nat1 -> Nat1 -> Nat1 #
Listable Nat1 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Nat1]] Source # list :: [Nat1] Source #
ShowFunction Nat1 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Nat1 -> [[Binding]] Source #

newtype Nat2 Source #

Natural numbers modulo 2: 0, 1

Constructors

Nat2
Fields unNat2 :: Int

Instances

Instances details

Bounded Nat2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Nat2 # maxBound :: Nat2 #
Enum Nat2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Nat2 -> Nat2 # pred :: Nat2 -> Nat2 # toEnum :: Int -> Nat2 # fromEnum :: Nat2 -> Int # enumFrom :: Nat2 -> [Nat2] # enumFromThen :: Nat2 -> Nat2 -> [Nat2] # enumFromTo :: Nat2 -> Nat2 -> [Nat2] # enumFromThenTo :: Nat2 -> Nat2 -> Nat2 -> [Nat2] #
Ix Nat2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Nat2, Nat2) -> [Nat2] # index :: (Nat2, Nat2) -> Nat2 -> Int # unsafeIndex :: (Nat2, Nat2) -> Nat2 -> Int # inRange :: (Nat2, Nat2) -> Nat2 -> Bool # rangeSize :: (Nat2, Nat2) -> Int # unsafeRangeSize :: (Nat2, Nat2) -> Int #
Num Nat2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Nat2 -> Nat2 -> Nat2 # (-) :: Nat2 -> Nat2 -> Nat2 # (*) :: Nat2 -> Nat2 -> Nat2 # negate :: Nat2 -> Nat2 # abs :: Nat2 -> Nat2 # signum :: Nat2 -> Nat2 # fromInteger :: Integer -> Nat2 #
Read Nat2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Nat2 # readList :: ReadS [Nat2] # readPrec :: ReadPrec Nat2 # readListPrec :: ReadPrec [Nat2] #
Integral Nat2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Nat2 -> Nat2 -> Nat2 # rem :: Nat2 -> Nat2 -> Nat2 # div :: Nat2 -> Nat2 -> Nat2 # mod :: Nat2 -> Nat2 -> Nat2 # quotRem :: Nat2 -> Nat2 -> (Nat2, Nat2) # divMod :: Nat2 -> Nat2 -> (Nat2, Nat2) # toInteger :: Nat2 -> Integer #
Real Nat2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Nat2 -> Rational #
Show Nat2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Nat2 -> ShowS # show :: Nat2 -> String # showList :: [Nat2] -> ShowS #
Eq Nat2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Nat2 -> Nat2 -> Bool # (/=) :: Nat2 -> Nat2 -> Bool #
Ord Nat2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Nat2 -> Nat2 -> Ordering # (<) :: Nat2 -> Nat2 -> Bool # (<=) :: Nat2 -> Nat2 -> Bool # (>) :: Nat2 -> Nat2 -> Bool # (>=) :: Nat2 -> Nat2 -> Bool # max :: Nat2 -> Nat2 -> Nat2 # min :: Nat2 -> Nat2 -> Nat2 #
Listable Nat2 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Nat2]] Source # list :: [Nat2] Source #
ShowFunction Nat2 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Nat2 -> [[Binding]] Source #

newtype Nat3 Source #

Natural numbers modulo 3: 0, 1, 2

Constructors

Nat3
Fields unNat3 :: Int

Instances

Instances details

Bounded Nat3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Nat3 # maxBound :: Nat3 #
Enum Nat3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Nat3 -> Nat3 # pred :: Nat3 -> Nat3 # toEnum :: Int -> Nat3 # fromEnum :: Nat3 -> Int # enumFrom :: Nat3 -> [Nat3] # enumFromThen :: Nat3 -> Nat3 -> [Nat3] # enumFromTo :: Nat3 -> Nat3 -> [Nat3] # enumFromThenTo :: Nat3 -> Nat3 -> Nat3 -> [Nat3] #
Ix Nat3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Nat3, Nat3) -> [Nat3] # index :: (Nat3, Nat3) -> Nat3 -> Int # unsafeIndex :: (Nat3, Nat3) -> Nat3 -> Int # inRange :: (Nat3, Nat3) -> Nat3 -> Bool # rangeSize :: (Nat3, Nat3) -> Int # unsafeRangeSize :: (Nat3, Nat3) -> Int #
Num Nat3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Nat3 -> Nat3 -> Nat3 # (-) :: Nat3 -> Nat3 -> Nat3 # (*) :: Nat3 -> Nat3 -> Nat3 # negate :: Nat3 -> Nat3 # abs :: Nat3 -> Nat3 # signum :: Nat3 -> Nat3 # fromInteger :: Integer -> Nat3 #
Read Nat3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Nat3 # readList :: ReadS [Nat3] # readPrec :: ReadPrec Nat3 # readListPrec :: ReadPrec [Nat3] #
Integral Nat3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Nat3 -> Nat3 -> Nat3 # rem :: Nat3 -> Nat3 -> Nat3 # div :: Nat3 -> Nat3 -> Nat3 # mod :: Nat3 -> Nat3 -> Nat3 # quotRem :: Nat3 -> Nat3 -> (Nat3, Nat3) # divMod :: Nat3 -> Nat3 -> (Nat3, Nat3) # toInteger :: Nat3 -> Integer #
Real Nat3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Nat3 -> Rational #
Show Nat3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Nat3 -> ShowS # show :: Nat3 -> String # showList :: [Nat3] -> ShowS #
Eq Nat3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Nat3 -> Nat3 -> Bool # (/=) :: Nat3 -> Nat3 -> Bool #
Ord Nat3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Nat3 -> Nat3 -> Ordering # (<) :: Nat3 -> Nat3 -> Bool # (<=) :: Nat3 -> Nat3 -> Bool # (>) :: Nat3 -> Nat3 -> Bool # (>=) :: Nat3 -> Nat3 -> Bool # max :: Nat3 -> Nat3 -> Nat3 # min :: Nat3 -> Nat3 -> Nat3 #
Listable Nat3 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Nat3]] Source # list :: [Nat3] Source #
ShowFunction Nat3 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Nat3 -> [[Binding]] Source #

newtype Nat4 Source #

Natural numbers modulo 4: 0, 1, 2, 3

Constructors

Nat4
Fields unNat4 :: Int

Instances

Instances details

Bounded Nat4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Nat4 # maxBound :: Nat4 #
Enum Nat4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Nat4 -> Nat4 # pred :: Nat4 -> Nat4 # toEnum :: Int -> Nat4 # fromEnum :: Nat4 -> Int # enumFrom :: Nat4 -> [Nat4] # enumFromThen :: Nat4 -> Nat4 -> [Nat4] # enumFromTo :: Nat4 -> Nat4 -> [Nat4] # enumFromThenTo :: Nat4 -> Nat4 -> Nat4 -> [Nat4] #
Ix Nat4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Nat4, Nat4) -> [Nat4] # index :: (Nat4, Nat4) -> Nat4 -> Int # unsafeIndex :: (Nat4, Nat4) -> Nat4 -> Int # inRange :: (Nat4, Nat4) -> Nat4 -> Bool # rangeSize :: (Nat4, Nat4) -> Int # unsafeRangeSize :: (Nat4, Nat4) -> Int #
Num Nat4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Nat4 -> Nat4 -> Nat4 # (-) :: Nat4 -> Nat4 -> Nat4 # (*) :: Nat4 -> Nat4 -> Nat4 # negate :: Nat4 -> Nat4 # abs :: Nat4 -> Nat4 # signum :: Nat4 -> Nat4 # fromInteger :: Integer -> Nat4 #
Read Nat4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Nat4 # readList :: ReadS [Nat4] # readPrec :: ReadPrec Nat4 # readListPrec :: ReadPrec [Nat4] #
Integral Nat4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Nat4 -> Nat4 -> Nat4 # rem :: Nat4 -> Nat4 -> Nat4 # div :: Nat4 -> Nat4 -> Nat4 # mod :: Nat4 -> Nat4 -> Nat4 # quotRem :: Nat4 -> Nat4 -> (Nat4, Nat4) # divMod :: Nat4 -> Nat4 -> (Nat4, Nat4) # toInteger :: Nat4 -> Integer #
Real Nat4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Nat4 -> Rational #
Show Nat4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Nat4 -> ShowS # show :: Nat4 -> String # showList :: [Nat4] -> ShowS #
Eq Nat4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Nat4 -> Nat4 -> Bool # (/=) :: Nat4 -> Nat4 -> Bool #
Ord Nat4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Nat4 -> Nat4 -> Ordering # (<) :: Nat4 -> Nat4 -> Bool # (<=) :: Nat4 -> Nat4 -> Bool # (>) :: Nat4 -> Nat4 -> Bool # (>=) :: Nat4 -> Nat4 -> Bool # max :: Nat4 -> Nat4 -> Nat4 # min :: Nat4 -> Nat4 -> Nat4 #
Listable Nat4 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Nat4]] Source # list :: [Nat4] Source #
ShowFunction Nat4 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Nat4 -> [[Binding]] Source #

newtype Nat5 Source #

Natural numbers modulo 5: 0, 1, 2, 3, 4

Constructors

Nat5
Fields unNat5 :: Int

Instances

Instances details

Bounded Nat5 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Nat5 # maxBound :: Nat5 #
Enum Nat5 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Nat5 -> Nat5 # pred :: Nat5 -> Nat5 # toEnum :: Int -> Nat5 # fromEnum :: Nat5 -> Int # enumFrom :: Nat5 -> [Nat5] # enumFromThen :: Nat5 -> Nat5 -> [Nat5] # enumFromTo :: Nat5 -> Nat5 -> [Nat5] # enumFromThenTo :: Nat5 -> Nat5 -> Nat5 -> [Nat5] #
Ix Nat5 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Nat5, Nat5) -> [Nat5] # index :: (Nat5, Nat5) -> Nat5 -> Int # unsafeIndex :: (Nat5, Nat5) -> Nat5 -> Int # inRange :: (Nat5, Nat5) -> Nat5 -> Bool # rangeSize :: (Nat5, Nat5) -> Int # unsafeRangeSize :: (Nat5, Nat5) -> Int #
Num Nat5 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Nat5 -> Nat5 -> Nat5 # (-) :: Nat5 -> Nat5 -> Nat5 # (*) :: Nat5 -> Nat5 -> Nat5 # negate :: Nat5 -> Nat5 # abs :: Nat5 -> Nat5 # signum :: Nat5 -> Nat5 # fromInteger :: Integer -> Nat5 #
Read Nat5 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Nat5 # readList :: ReadS [Nat5] # readPrec :: ReadPrec Nat5 # readListPrec :: ReadPrec [Nat5] #
Integral Nat5 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Nat5 -> Nat5 -> Nat5 # rem :: Nat5 -> Nat5 -> Nat5 # div :: Nat5 -> Nat5 -> Nat5 # mod :: Nat5 -> Nat5 -> Nat5 # quotRem :: Nat5 -> Nat5 -> (Nat5, Nat5) # divMod :: Nat5 -> Nat5 -> (Nat5, Nat5) # toInteger :: Nat5 -> Integer #
Real Nat5 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Nat5 -> Rational #
Show Nat5 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Nat5 -> ShowS # show :: Nat5 -> String # showList :: [Nat5] -> ShowS #
Eq Nat5 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Nat5 -> Nat5 -> Bool # (/=) :: Nat5 -> Nat5 -> Bool #
Ord Nat5 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Nat5 -> Nat5 -> Ordering # (<) :: Nat5 -> Nat5 -> Bool # (<=) :: Nat5 -> Nat5 -> Bool # (>) :: Nat5 -> Nat5 -> Bool # (>=) :: Nat5 -> Nat5 -> Bool # max :: Nat5 -> Nat5 -> Nat5 # min :: Nat5 -> Nat5 -> Nat5 #
Listable Nat5 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Nat5]] Source # list :: [Nat5] Source #
ShowFunction Nat5 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Nat5 -> [[Binding]] Source #

newtype Nat6 Source #

Natural numbers modulo 6: 0, 1, 2, 3, 4, 5

Constructors

Nat6
Fields unNat6 :: Int

Instances

Instances details

Bounded Nat6 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Nat6 # maxBound :: Nat6 #
Enum Nat6 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Nat6 -> Nat6 # pred :: Nat6 -> Nat6 # toEnum :: Int -> Nat6 # fromEnum :: Nat6 -> Int # enumFrom :: Nat6 -> [Nat6] # enumFromThen :: Nat6 -> Nat6 -> [Nat6] # enumFromTo :: Nat6 -> Nat6 -> [Nat6] # enumFromThenTo :: Nat6 -> Nat6 -> Nat6 -> [Nat6] #
Ix Nat6 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Nat6, Nat6) -> [Nat6] # index :: (Nat6, Nat6) -> Nat6 -> Int # unsafeIndex :: (Nat6, Nat6) -> Nat6 -> Int # inRange :: (Nat6, Nat6) -> Nat6 -> Bool # rangeSize :: (Nat6, Nat6) -> Int # unsafeRangeSize :: (Nat6, Nat6) -> Int #
Num Nat6 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Nat6 -> Nat6 -> Nat6 # (-) :: Nat6 -> Nat6 -> Nat6 # (*) :: Nat6 -> Nat6 -> Nat6 # negate :: Nat6 -> Nat6 # abs :: Nat6 -> Nat6 # signum :: Nat6 -> Nat6 # fromInteger :: Integer -> Nat6 #
Read Nat6 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Nat6 # readList :: ReadS [Nat6] # readPrec :: ReadPrec Nat6 # readListPrec :: ReadPrec [Nat6] #
Integral Nat6 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Nat6 -> Nat6 -> Nat6 # rem :: Nat6 -> Nat6 -> Nat6 # div :: Nat6 -> Nat6 -> Nat6 # mod :: Nat6 -> Nat6 -> Nat6 # quotRem :: Nat6 -> Nat6 -> (Nat6, Nat6) # divMod :: Nat6 -> Nat6 -> (Nat6, Nat6) # toInteger :: Nat6 -> Integer #
Real Nat6 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Nat6 -> Rational #
Show Nat6 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Nat6 -> ShowS # show :: Nat6 -> String # showList :: [Nat6] -> ShowS #
Eq Nat6 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Nat6 -> Nat6 -> Bool # (/=) :: Nat6 -> Nat6 -> Bool #
Ord Nat6 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Nat6 -> Nat6 -> Ordering # (<) :: Nat6 -> Nat6 -> Bool # (<=) :: Nat6 -> Nat6 -> Bool # (>) :: Nat6 -> Nat6 -> Bool # (>=) :: Nat6 -> Nat6 -> Bool # max :: Nat6 -> Nat6 -> Nat6 # min :: Nat6 -> Nat6 -> Nat6 #
Listable Nat6 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Nat6]] Source # list :: [Nat6] Source #
ShowFunction Nat6 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Nat6 -> [[Binding]] Source #

newtype Nat7 Source #

Natural numbers modulo 7: 0, 1, 2, 3, 4, 5, 6

Constructors

Nat7
Fields unNat7 :: Int

Instances

Instances details

Bounded Nat7 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: Nat7 # maxBound :: Nat7 #
Enum Nat7 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Nat7 -> Nat7 # pred :: Nat7 -> Nat7 # toEnum :: Int -> Nat7 # fromEnum :: Nat7 -> Int # enumFrom :: Nat7 -> [Nat7] # enumFromThen :: Nat7 -> Nat7 -> [Nat7] # enumFromTo :: Nat7 -> Nat7 -> [Nat7] # enumFromThenTo :: Nat7 -> Nat7 -> Nat7 -> [Nat7] #
Ix Nat7 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Nat7, Nat7) -> [Nat7] # index :: (Nat7, Nat7) -> Nat7 -> Int # unsafeIndex :: (Nat7, Nat7) -> Nat7 -> Int # inRange :: (Nat7, Nat7) -> Nat7 -> Bool # rangeSize :: (Nat7, Nat7) -> Int # unsafeRangeSize :: (Nat7, Nat7) -> Int #
Num Nat7 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Nat7 -> Nat7 -> Nat7 # (-) :: Nat7 -> Nat7 -> Nat7 # (*) :: Nat7 -> Nat7 -> Nat7 # negate :: Nat7 -> Nat7 # abs :: Nat7 -> Nat7 # signum :: Nat7 -> Nat7 # fromInteger :: Integer -> Nat7 #
Read Nat7 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Nat7 # readList :: ReadS [Nat7] # readPrec :: ReadPrec Nat7 # readListPrec :: ReadPrec [Nat7] #
Integral Nat7 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Nat7 -> Nat7 -> Nat7 # rem :: Nat7 -> Nat7 -> Nat7 # div :: Nat7 -> Nat7 -> Nat7 # mod :: Nat7 -> Nat7 -> Nat7 # quotRem :: Nat7 -> Nat7 -> (Nat7, Nat7) # divMod :: Nat7 -> Nat7 -> (Nat7, Nat7) # toInteger :: Nat7 -> Integer #
Real Nat7 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Nat7 -> Rational #
Show Nat7 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Nat7 -> ShowS # show :: Nat7 -> String # showList :: [Nat7] -> ShowS #
Eq Nat7 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Nat7 -> Nat7 -> Bool # (/=) :: Nat7 -> Nat7 -> Bool #
Ord Nat7 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Nat7 -> Nat7 -> Ordering # (<) :: Nat7 -> Nat7 -> Bool # (<=) :: Nat7 -> Nat7 -> Bool # (>) :: Nat7 -> Nat7 -> Bool # (>=) :: Nat7 -> Nat7 -> Bool # max :: Nat7 -> Nat7 -> Nat7 # min :: Nat7 -> Nat7 -> Nat7 #
Listable Nat7 Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Nat7]] Source # list :: [Nat7] Source #
ShowFunction Nat7 Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Nat7 -> [[Binding]] Source #

newtype Natural Source #

Natural numbers (including 0): 0, 1, 2, 3, 4, 5, 6, 7, ...

Internally, this type is represented as an Integer allowing for an infinity of possible values.

Its Enum, Listable and Num instances only produce non-negative values. When x < y then x - y = 0.

Constructors

Natural
Fields unNatural :: Integer

Instances

Instances details

Enum Natural Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: Natural -> Natural # pred :: Natural -> Natural # toEnum :: Int -> Natural # fromEnum :: Natural -> Int # enumFrom :: Natural -> [Natural] # enumFromThen :: Natural -> Natural -> [Natural] # enumFromTo :: Natural -> Natural -> [Natural] # enumFromThenTo :: Natural -> Natural -> Natural -> [Natural] #
Ix Natural Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (Natural, Natural) -> [Natural] # index :: (Natural, Natural) -> Natural -> Int # unsafeIndex :: (Natural, Natural) -> Natural -> Int # inRange :: (Natural, Natural) -> Natural -> Bool # rangeSize :: (Natural, Natural) -> Int # unsafeRangeSize :: (Natural, Natural) -> Int #
Num Natural Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: Natural -> Natural -> Natural # (-) :: Natural -> Natural -> Natural # (*) :: Natural -> Natural -> Natural # negate :: Natural -> Natural # abs :: Natural -> Natural # signum :: Natural -> Natural # fromInteger :: Integer -> Natural #
Read Natural Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS Natural # readList :: ReadS [Natural] # readPrec :: ReadPrec Natural # readListPrec :: ReadPrec [Natural] #
Integral Natural Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: Natural -> Natural -> Natural # rem :: Natural -> Natural -> Natural # div :: Natural -> Natural -> Natural # mod :: Natural -> Natural -> Natural # quotRem :: Natural -> Natural -> (Natural, Natural) # divMod :: Natural -> Natural -> (Natural, Natural) # toInteger :: Natural -> Integer #
Real Natural Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: Natural -> Rational #
Show Natural Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Natural -> ShowS # show :: Natural -> String # showList :: [Natural] -> ShowS #
Eq Natural Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Natural -> Natural -> Bool # (/=) :: Natural -> Natural -> Bool #
Ord Natural Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Natural -> Natural -> Ordering # (<) :: Natural -> Natural -> Bool # (<=) :: Natural -> Natural -> Bool # (>) :: Natural -> Natural -> Bool # (>=) :: Natural -> Natural -> Bool # max :: Natural -> Natural -> Natural # min :: Natural -> Natural -> Natural #
Listable Natural Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Natural]] Source # list :: [Natural] Source #
ShowFunction Natural Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Natural -> [[Binding]] Source #

Aliases to word types (deprecated)

type UInt1 = Word1 Source #

Deprecated. Use Word1.

type UInt2 = Word2 Source #

Deprecated. Use Word2.

type UInt3 = Word3 Source #

Deprecated. Use Word3.

type UInt4 = Word4 Source #

Deprecated. Use Word4.

Extreme Integers

newtype X a Source #

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

Constructors

X
Fields unX :: a

Instances

Instances details

Show a => Show (X a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> X a -> ShowS # show :: X a -> String # showList :: [X a] -> ShowS #
Eq a => Eq (X a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: X a -> X a -> Bool # (/=) :: X a -> X a -> Bool #
Ord a => Ord (X a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: X a -> X a -> Ordering # (<) :: X a -> X a -> Bool # (<=) :: X a -> X a -> Bool # (>) :: X a -> X a -> Bool # (>=) :: X a -> X a -> Bool # max :: X a -> X a -> X a # min :: X a -> X a -> X a #
(Integral a, Bounded a) => Listable (X a) Source #	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 , ... ]
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[X a]] Source # list :: [X a] Source #
Show a => ShowFunction (X a) Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: X a -> [[Binding]] Source #

newtype Xs a Source #

Wrap around lists of integers for an enumeration containing e-X-treme integer values.

> check $ \xs -> all (>=0) xs ==> sum (take 1 xs :: [Int]) <= sum xs
+++ OK, passed 200 tests.

> check $ \(Xs xs) -> all (>=0) xs ==> sum (take 1 xs :: [Int]) <= sum xs
*** Failed! Falsifiable (after 56 tests):
[1,9223372036854775807]

Constructors

Xs [a]

Instances

Instances details

Read a => Read (Xs a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS (Xs a) # readList :: ReadS [Xs a] # readPrec :: ReadPrec (Xs a) # readListPrec :: ReadPrec [Xs a] #
Show a => Show (Xs a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Xs a -> ShowS # show :: Xs a -> String # showList :: [Xs a] -> ShowS #
Eq a => Eq (Xs a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Xs a -> Xs a -> Bool # (/=) :: Xs a -> Xs a -> Bool #
Ord a => Ord (Xs a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Xs a -> Xs a -> Ordering # (<) :: Xs a -> Xs a -> Bool # (<=) :: Xs a -> Xs a -> Bool # (>) :: Xs a -> Xs a -> Bool # (>=) :: Xs a -> Xs a -> Bool # max :: Xs a -> Xs a -> Xs a # min :: Xs a -> Xs a -> Xs a #
(Integral a, Bounded a) => Listable (Xs a) Source #	Lists with elements of the `X` type.
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Xs a]] Source # list :: [Xs a] Source #
Show a => ShowFunction (Xs a) Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Xs a -> [[Binding]] Source #

List-wrapper types

newtype NoDup a Source #

Lists without repeated elements.

> take 6 $ list :: [NoDup Nat]
[NoDup [],NoDup [0],NoDup [1],NoDup [0,1],NoDup [1,0],NoDup [2]]

Example, checking the property that nub is an identity:

import Data.List (nub)
> check $ \xs -> nub xs == (xs :: [Int])
*** Failed! Falsifiable (after 3 tests):
[0,0]
> check $ \(NoDup xs) -> nub xs == (xs :: [Int])
+++ OK, passed 200 tests.

Constructors

NoDup [a]

Instances

Instances details

Read a => Read (NoDup a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS (NoDup a) # readList :: ReadS [NoDup a] # readPrec :: ReadPrec (NoDup a) # readListPrec :: ReadPrec [NoDup a] #
Show a => Show (NoDup a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> NoDup a -> ShowS # show :: NoDup a -> String # showList :: [NoDup a] -> ShowS #
Eq a => Eq (NoDup a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: NoDup a -> NoDup a -> Bool # (/=) :: NoDup a -> NoDup a -> Bool #
Ord a => Ord (NoDup a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: NoDup a -> NoDup a -> Ordering # (<) :: NoDup a -> NoDup a -> Bool # (<=) :: NoDup a -> NoDup a -> Bool # (>) :: NoDup a -> NoDup a -> Bool # (>=) :: NoDup a -> NoDup a -> Bool # max :: NoDup a -> NoDup a -> NoDup a # min :: NoDup a -> NoDup a -> NoDup a #
Listable a => Listable (NoDup a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[NoDup a]] Source # list :: [NoDup a] Source #
Show a => ShowFunction (NoDup a) Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: NoDup a -> [[Binding]] Source #

newtype Bag a Source #

Lists representing bags (multisets). The Listable tiers enumeration will not have repeated bags.

> take 6 (list :: [Bag Nat])
[Bag [],Bag [0],Bag [0,0],Bag [1],Bag [0,0,0],Bag [0,1]]

Instances

Instances details

Read a => Read (Bag a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS (Bag a) # readList :: ReadS [Bag a] # readPrec :: ReadPrec (Bag a) # readListPrec :: ReadPrec [Bag a] #
Show a => Show (Bag a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Bag a -> ShowS # show :: Bag a -> String # showList :: [Bag a] -> ShowS #
Eq a => Eq (Bag a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Bag a -> Bag a -> Bool # (/=) :: Bag a -> Bag a -> Bool #
Ord a => Ord (Bag a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Bag a -> Bag a -> Ordering # (<) :: Bag a -> Bag a -> Bool # (<=) :: Bag a -> Bag a -> Bool # (>) :: Bag a -> Bag a -> Bool # (>=) :: Bag a -> Bag a -> Bool # max :: Bag a -> Bag a -> Bag a # min :: Bag a -> Bag a -> Bag a #
Listable a => Listable (Bag a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Bag a]] Source # list :: [Bag a] Source #
Show a => ShowFunction (Bag a) Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Bag a -> [[Binding]] Source #

newtype Set a Source #

Lists representing sets. The Listable tiers enumeration will not have repeated sets.

> take 6 (list :: [Set Nat])
[Set [],Set [0],Set [1],Set [0,1],Set [2],Set [0,2]]

Constructors

Set [a]

Instances

Instances details

Read a => Read (Set a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS (Set a) # readList :: ReadS [Set a] # readPrec :: ReadPrec (Set a) # readListPrec :: ReadPrec [Set a] #
Show a => Show (Set a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Set a -> ShowS # show :: Set a -> String # showList :: [Set a] -> ShowS #
Eq a => Eq (Set a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Set a -> Set a -> Bool # (/=) :: Set a -> Set a -> Bool #
Ord a => Ord (Set a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Set a -> Set a -> Ordering # (<) :: Set a -> Set a -> Bool # (<=) :: Set a -> Set a -> Bool # (>) :: Set a -> Set a -> Bool # (>=) :: Set a -> Set a -> Bool # max :: Set a -> Set a -> Set a # min :: Set a -> Set a -> Set a #
Listable a => Listable (Set a) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Set a]] Source # list :: [Set a] Source #
Show a => ShowFunction (Set a) Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Set a -> [[Binding]] Source #

newtype Map a b Source #

Lists of pairs representing maps. The Listable tiers enumeration will not have repeated maps.

> take 6 (list :: [Map Nat Nat])
[Map [],Map [(0,0)],Map [(0,1)],Map [(1,0)],Map [(0,2)],Map [(1,1)]]

Constructors

Map [(a, b)]

Instances

Instances details

(Read a, Read b) => Read (Map a b) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS (Map a b) # readList :: ReadS [Map a b] # readPrec :: ReadPrec (Map a b) # readListPrec :: ReadPrec [Map a b] #
(Show a, Show b) => Show (Map a b) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Map a b -> ShowS # show :: Map a b -> String # showList :: [Map a b] -> ShowS #
(Eq a, Eq b) => Eq (Map a b) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: Map a b -> Map a b -> Bool # (/=) :: Map a b -> Map a b -> Bool #
(Ord a, Ord b) => Ord (Map a b) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: Map a b -> Map a b -> Ordering # (<) :: Map a b -> Map a b -> Bool # (<=) :: Map a b -> Map a b -> Bool # (>) :: Map a b -> Map a b -> Bool # (>=) :: Map a b -> Map a b -> Bool # max :: Map a b -> Map a b -> Map a b # min :: Map a b -> Map a b -> Map a b #
(Listable a, Listable b) => Listable (Map a b) Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Map a b]] Source # list :: [Map a b] Source #
(Show a, Show b) => ShowFunction (Map a b) Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Map a b -> [[Binding]] Source #

Character types

data Space Source #

Space characters.

list :: [Space]  =  " \t\n\r\f\v"

> check $ \(Space c) -> isSpace c
+++ OK, passed 6 tests (exhausted).

Constructors

Space
Fields unSpace :: Char

Instances

Instances details

Show Space Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Space -> ShowS # show :: Space -> String # showList :: [Space] -> ShowS #
Listable Space Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Space]] Source # list :: [Space] Source #
ShowFunction Space Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Space -> [[Binding]] Source #

data Lower Source #

Lowercase characters.

list :: [Lower]  =  "abcdef..."

> check $ \(Lower c) -> isLower c
+++ OK, passed 26 tests (exhausted).

Constructors

Lower
Fields unLower :: Char

Instances

Instances details

Show Lower Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Lower -> ShowS # show :: Lower -> String # showList :: [Lower] -> ShowS #
Listable Lower Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Lower]] Source # list :: [Lower] Source #
ShowFunction Lower Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Lower -> [[Binding]] Source #

data Upper Source #

Uppercase characters.

list :: [Upper]  =  "ABCDEF..."

> check $ \(Upper c) -> isUpper c
+++ OK, passed 26 tests (exhausted).

Constructors

Upper
Fields unUpper :: Char

Instances

Instances details

Show Upper Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Upper -> ShowS # show :: Upper -> String # showList :: [Upper] -> ShowS #
Listable Upper Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Upper]] Source # list :: [Upper] Source #
ShowFunction Upper Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Upper -> [[Binding]] Source #

data Alpha Source #

Alphabetic characters.

list :: [Alpha]  =  "aAbBcC..."

> check $ \(Alpha c) -> isAlpha c
+++ OK, passed 52 tests (exhausted).

Equivalent to Letter.

Constructors

Alpha
Fields unAlpha :: Char

Instances

Instances details

Show Alpha Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Alpha -> ShowS # show :: Alpha -> String # showList :: [Alpha] -> ShowS #
Listable Alpha Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Alpha]] Source # list :: [Alpha] Source #
ShowFunction Alpha Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Alpha -> [[Binding]] Source #

data Digit Source #

Digits.

list :: [Digit]  =  "0123456789"

> check $ \(Digit c) -> isDigit c
+++ OK, passed 10 tests (exhausted).

Constructors

Digit
Fields unDigit :: Char

Instances

Instances details

Show Digit Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Digit -> ShowS # show :: Digit -> String # showList :: [Digit] -> ShowS #
Listable Digit Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Digit]] Source # list :: [Digit] Source #
ShowFunction Digit Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Digit -> [[Binding]] Source #

data AlphaNum Source #

Alphanumeric characters.

list :: [AlphaNum]  =  "0a1A2b3B4c..."

> check $ \(AlphaNum c) -> isAlphaNum c
+++ OK, passed 62 tests (exhausted).

Constructors

AlphaNum
Fields unAlphaNum :: Char

Instances

Instances details

Show AlphaNum Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> AlphaNum -> ShowS # show :: AlphaNum -> String # showList :: [AlphaNum] -> ShowS #
Listable AlphaNum Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[AlphaNum]] Source # list :: [AlphaNum] Source #
ShowFunction AlphaNum Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: AlphaNum -> [[Binding]] Source #

data Letter Source #

Alphabetic characters.

list :: [Letter]  =  "aAbBcC..."

> check $ \(Letter c) -> isLetter c
+++ OK, passed 52 tests (exhausted).

Equivalent to Alpha.

Constructors

Letter
Fields unLetter :: Char

Instances

Instances details

Show Letter Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Letter -> ShowS # show :: Letter -> String # showList :: [Letter] -> ShowS #
Listable Letter Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Letter]] Source # list :: [Letter] Source #
ShowFunction Letter Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Letter -> [[Binding]] Source #

String types

data Spaces Source #

Strings of spaces.

Constructors

Spaces
Fields unSpaces :: String

Instances

Instances details

Show Spaces Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Spaces -> ShowS # show :: Spaces -> String # showList :: [Spaces] -> ShowS #
Listable Spaces Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Spaces]] Source # list :: [Spaces] Source #
ShowFunction Spaces Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Spaces -> [[Binding]] Source #

data Lowers Source #

Strings of lowercase characters.

Constructors

Lowers
Fields unLowers :: String

Instances

Instances details

Show Lowers Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Lowers -> ShowS # show :: Lowers -> String # showList :: [Lowers] -> ShowS #
Listable Lowers Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Lowers]] Source # list :: [Lowers] Source #
ShowFunction Lowers Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Lowers -> [[Binding]] Source #

data Uppers Source #

Strings of uppercase characters

Constructors

Uppers
Fields unUppers :: String

Instances

Instances details

Show Uppers Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Uppers -> ShowS # show :: Uppers -> String # showList :: [Uppers] -> ShowS #
Listable Uppers Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Uppers]] Source # list :: [Uppers] Source #
ShowFunction Uppers Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Uppers -> [[Binding]] Source #

data Alphas Source #

Strings of alphabetic characters

Constructors

Alphas
Fields unAlphas :: String

Instances

Instances details

Show Alphas Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Alphas -> ShowS # show :: Alphas -> String # showList :: [Alphas] -> ShowS #
Listable Alphas Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Alphas]] Source # list :: [Alphas] Source #
ShowFunction Alphas Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Alphas -> [[Binding]] Source #

data Digits Source #

Strings of digits.

Constructors

Digits
Fields unDigits :: String

Instances

Instances details

Show Digits Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Digits -> ShowS # show :: Digits -> String # showList :: [Digits] -> ShowS #
Listable Digits Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Digits]] Source # list :: [Digits] Source #
ShowFunction Digits Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Digits -> [[Binding]] Source #

data AlphaNums Source #

Strings of alphanumeric characters

Constructors

AlphaNums
Fields unAlphaNums :: String

Instances

Instances details

Show AlphaNums Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> AlphaNums -> ShowS # show :: AlphaNums -> String # showList :: [AlphaNums] -> ShowS #
Listable AlphaNums Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[AlphaNums]] Source # list :: [AlphaNums] Source #
ShowFunction AlphaNums Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: AlphaNums -> [[Binding]] Source #

data Letters Source #

Strings of letters

Constructors

Letters
Fields unLetters :: String

Instances

Instances details

Show Letters Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> Letters -> ShowS # show :: Letters -> String # showList :: [Letters] -> ShowS #
Listable Letters Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[Letters]] Source # list :: [Letters] Source #
ShowFunction Letters Source #
Instance details Defined in Test.LeanCheck.Function.ShowFunction Methods bindtiers :: Letters -> [[Binding]] Source #

Generic types

data A Source #

Generic type A.

Can be used to test polymorphic functions with a type variable such as take or sort:

take :: Int -> [a] -> [a]
sort :: Ord a => [a] -> [a]

by binding them to the following types:

take :: Int -> [A] -> [A]
sort :: [A] -> [A]

This type is homomorphic to Nat6, B, C, D, E and F.

It is instance to several typeclasses so that it can be used to test functions with type contexts.

Instances

Instances details

Bounded A Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: A # maxBound :: A #
Enum A Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: A -> A # pred :: A -> A # toEnum :: Int -> A # fromEnum :: A -> Int # enumFrom :: A -> [A] # enumFromThen :: A -> A -> [A] # enumFromTo :: A -> A -> [A] # enumFromThenTo :: A -> A -> A -> [A] #
Ix A Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (A, A) -> [A] # index :: (A, A) -> A -> Int # unsafeIndex :: (A, A) -> A -> Int # inRange :: (A, A) -> A -> Bool # rangeSize :: (A, A) -> Int # unsafeRangeSize :: (A, A) -> Int #
Num A Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: A -> A -> A # (-) :: A -> A -> A # (*) :: A -> A -> A # negate :: A -> A # abs :: A -> A # signum :: A -> A # fromInteger :: Integer -> A #
Read A Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS A # readList :: ReadS [A] # readPrec :: ReadPrec A # readListPrec :: ReadPrec [A] #
Integral A Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: A -> A -> A # rem :: A -> A -> A # div :: A -> A -> A # mod :: A -> A -> A # quotRem :: A -> A -> (A, A) # divMod :: A -> A -> (A, A) # toInteger :: A -> Integer #
Real A Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: A -> Rational #
Show A Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> A -> ShowS # show :: A -> String # showList :: [A] -> ShowS #
Eq A Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: A -> A -> Bool # (/=) :: A -> A -> Bool #
Ord A Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: A -> A -> Ordering # (<) :: A -> A -> Bool # (<=) :: A -> A -> Bool # (>) :: A -> A -> Bool # (>=) :: A -> A -> Bool # max :: A -> A -> A # min :: A -> A -> A #
Listable A Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[A]] Source # list :: [A] Source #

data B Source #

Generic type B.

Can be used to test polymorphic functions with two type variables such as map or foldr:

map :: (a -> b) -> [a] -> [b]
foldr :: (a -> b -> b) -> b -> [a] -> b

by binding them to the following types:

map :: (A -> B) -> [A] -> [B]
foldr :: (A -> B -> B) -> B -> [A] -> B

This type is homomorphic to A, Nat6, C, D, E and F.

Instances

Instances details

Bounded B Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: B # maxBound :: B #
Enum B Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: B -> B # pred :: B -> B # toEnum :: Int -> B # fromEnum :: B -> Int # enumFrom :: B -> [B] # enumFromThen :: B -> B -> [B] # enumFromTo :: B -> B -> [B] # enumFromThenTo :: B -> B -> B -> [B] #
Ix B Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (B, B) -> [B] # index :: (B, B) -> B -> Int # unsafeIndex :: (B, B) -> B -> Int # inRange :: (B, B) -> B -> Bool # rangeSize :: (B, B) -> Int # unsafeRangeSize :: (B, B) -> Int #
Num B Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: B -> B -> B # (-) :: B -> B -> B # (*) :: B -> B -> B # negate :: B -> B # abs :: B -> B # signum :: B -> B # fromInteger :: Integer -> B #
Read B Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS B # readList :: ReadS [B] # readPrec :: ReadPrec B # readListPrec :: ReadPrec [B] #
Integral B Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: B -> B -> B # rem :: B -> B -> B # div :: B -> B -> B # mod :: B -> B -> B # quotRem :: B -> B -> (B, B) # divMod :: B -> B -> (B, B) # toInteger :: B -> Integer #
Real B Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: B -> Rational #
Show B Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> B -> ShowS # show :: B -> String # showList :: [B] -> ShowS #
Eq B Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: B -> B -> Bool # (/=) :: B -> B -> Bool #
Ord B Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: B -> B -> Ordering # (<) :: B -> B -> Bool # (<=) :: B -> B -> Bool # (>) :: B -> B -> Bool # (>=) :: B -> B -> Bool # max :: B -> B -> B # min :: B -> B -> B #
Listable B Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[B]] Source # list :: [B] Source #

data C Source #

Generic type C.

Can be used to test polymorphic functions with three type variables such as uncurry or zipWith:

uncurry :: (a -> b -> c) -> (a, b) -> c
zipWith :: (a -> b -> c) -> [a] -> [b] -> [c]

by binding them to the following types:

uncurry :: (A -> B -> C) -> (A, B) -> C
zipWith :: (A -> B -> C) -> [A] -> [B] -> [C]

This type is homomorphic to A, B, Nat6, D, E and F.

Instances

Instances details

Bounded C Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: C # maxBound :: C #
Enum C Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: C -> C # pred :: C -> C # toEnum :: Int -> C # fromEnum :: C -> Int # enumFrom :: C -> [C] # enumFromThen :: C -> C -> [C] # enumFromTo :: C -> C -> [C] # enumFromThenTo :: C -> C -> C -> [C] #
Ix C Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (C, C) -> [C] # index :: (C, C) -> C -> Int # unsafeIndex :: (C, C) -> C -> Int # inRange :: (C, C) -> C -> Bool # rangeSize :: (C, C) -> Int # unsafeRangeSize :: (C, C) -> Int #
Num C Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: C -> C -> C # (-) :: C -> C -> C # (*) :: C -> C -> C # negate :: C -> C # abs :: C -> C # signum :: C -> C # fromInteger :: Integer -> C #
Read C Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS C # readList :: ReadS [C] # readPrec :: ReadPrec C # readListPrec :: ReadPrec [C] #
Integral C Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: C -> C -> C # rem :: C -> C -> C # div :: C -> C -> C # mod :: C -> C -> C # quotRem :: C -> C -> (C, C) # divMod :: C -> C -> (C, C) # toInteger :: C -> Integer #
Real C Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: C -> Rational #
Show C Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> C -> ShowS # show :: C -> String # showList :: [C] -> ShowS #
Eq C Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: C -> C -> Bool # (/=) :: C -> C -> Bool #
Ord C Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: C -> C -> Ordering # (<) :: C -> C -> Bool # (<=) :: C -> C -> Bool # (>) :: C -> C -> Bool # (>=) :: C -> C -> Bool # max :: C -> C -> C # min :: C -> C -> C #
Listable C Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[C]] Source # list :: [C] Source #

data D Source #

Generic type D.

Can be used to test polymorphic functions with four type variables.

This type is homomorphic to A, B, C, Nat6, E and F.

Instances

Instances details

Bounded D Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: D # maxBound :: D #
Enum D Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: D -> D # pred :: D -> D # toEnum :: Int -> D # fromEnum :: D -> Int # enumFrom :: D -> [D] # enumFromThen :: D -> D -> [D] # enumFromTo :: D -> D -> [D] # enumFromThenTo :: D -> D -> D -> [D] #
Ix D Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (D, D) -> [D] # index :: (D, D) -> D -> Int # unsafeIndex :: (D, D) -> D -> Int # inRange :: (D, D) -> D -> Bool # rangeSize :: (D, D) -> Int # unsafeRangeSize :: (D, D) -> Int #
Num D Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: D -> D -> D # (-) :: D -> D -> D # (*) :: D -> D -> D # negate :: D -> D # abs :: D -> D # signum :: D -> D # fromInteger :: Integer -> D #
Read D Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS D # readList :: ReadS [D] # readPrec :: ReadPrec D # readListPrec :: ReadPrec [D] #
Integral D Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: D -> D -> D # rem :: D -> D -> D # div :: D -> D -> D # mod :: D -> D -> D # quotRem :: D -> D -> (D, D) # divMod :: D -> D -> (D, D) # toInteger :: D -> Integer #
Real D Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: D -> Rational #
Show D Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> D -> ShowS # show :: D -> String # showList :: [D] -> ShowS #
Eq D Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: D -> D -> Bool # (/=) :: D -> D -> Bool #
Ord D Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: D -> D -> Ordering # (<) :: D -> D -> Bool # (<=) :: D -> D -> Bool # (>) :: D -> D -> Bool # (>=) :: D -> D -> Bool # max :: D -> D -> D # min :: D -> D -> D #
Listable D Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[D]] Source # list :: [D] Source #

data E Source #

Generic type E.

Can be used to test polymorphic functions with five type variables.

This type is homomorphic to A, B, C, D, Nat6 and F.

Instances

Instances details

Bounded E Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: E # maxBound :: E #
Enum E Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: E -> E # pred :: E -> E # toEnum :: Int -> E # fromEnum :: E -> Int # enumFrom :: E -> [E] # enumFromThen :: E -> E -> [E] # enumFromTo :: E -> E -> [E] # enumFromThenTo :: E -> E -> E -> [E] #
Ix E Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (E, E) -> [E] # index :: (E, E) -> E -> Int # unsafeIndex :: (E, E) -> E -> Int # inRange :: (E, E) -> E -> Bool # rangeSize :: (E, E) -> Int # unsafeRangeSize :: (E, E) -> Int #
Num E Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: E -> E -> E # (-) :: E -> E -> E # (*) :: E -> E -> E # negate :: E -> E # abs :: E -> E # signum :: E -> E # fromInteger :: Integer -> E #
Read E Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS E # readList :: ReadS [E] # readPrec :: ReadPrec E # readListPrec :: ReadPrec [E] #
Integral E Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: E -> E -> E # rem :: E -> E -> E # div :: E -> E -> E # mod :: E -> E -> E # quotRem :: E -> E -> (E, E) # divMod :: E -> E -> (E, E) # toInteger :: E -> Integer #
Real E Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: E -> Rational #
Show E Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> E -> ShowS # show :: E -> String # showList :: [E] -> ShowS #
Eq E Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: E -> E -> Bool # (/=) :: E -> E -> Bool #
Ord E Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: E -> E -> Ordering # (<) :: E -> E -> Bool # (<=) :: E -> E -> Bool # (>) :: E -> E -> Bool # (>=) :: E -> E -> Bool # max :: E -> E -> E # min :: E -> E -> E #
Listable E Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[E]] Source # list :: [E] Source #

data F Source #

Generic type F.

Can be used to test polymorphic functions with five type variables.

This type is homomorphic to A, B, C, D, E and Nat6.

Instances

Instances details

Bounded F Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods minBound :: F # maxBound :: F #
Enum F Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods succ :: F -> F # pred :: F -> F # toEnum :: Int -> F # fromEnum :: F -> Int # enumFrom :: F -> [F] # enumFromThen :: F -> F -> [F] # enumFromTo :: F -> F -> [F] # enumFromThenTo :: F -> F -> F -> [F] #
Ix F Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods range :: (F, F) -> [F] # index :: (F, F) -> F -> Int # unsafeIndex :: (F, F) -> F -> Int # inRange :: (F, F) -> F -> Bool # rangeSize :: (F, F) -> Int # unsafeRangeSize :: (F, F) -> Int #
Num F Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (+) :: F -> F -> F # (-) :: F -> F -> F # (*) :: F -> F -> F # negate :: F -> F # abs :: F -> F # signum :: F -> F # fromInteger :: Integer -> F #
Read F Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods readsPrec :: Int -> ReadS F # readList :: ReadS [F] # readPrec :: ReadPrec F # readListPrec :: ReadPrec [F] #
Integral F Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods quot :: F -> F -> F # rem :: F -> F -> F # div :: F -> F -> F # mod :: F -> F -> F # quotRem :: F -> F -> (F, F) # divMod :: F -> F -> (F, F) # toInteger :: F -> Integer #
Real F Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods toRational :: F -> Rational #
Show F Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods showsPrec :: Int -> F -> ShowS # show :: F -> String # showList :: [F] -> ShowS #
Eq F Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods (==) :: F -> F -> Bool # (/=) :: F -> F -> Bool #
Ord F Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods compare :: F -> F -> Ordering # (<) :: F -> F -> Bool # (<=) :: F -> F -> Bool # (>) :: F -> F -> Bool # (>=) :: F -> F -> Bool # max :: F -> F -> F # min :: F -> F -> F #
Listable F Source #
Instance details Defined in Test.LeanCheck.Utils.Types Methods tiers :: [[F]] Source # list :: [F] Source #