Test.LeanCheck.Function.FunListable

This module is part of LeanCheck, a simple enumerative property-based testing library.

This module exports a Listable instance for function enumeration by means of a FunListable typeclass (similar to FunListable).

This module does not currently work, it it just a sketch and a stub.

Documentation

sndArgTypeOf :: b -> (a -> b -> c) -> b

(\+:/) :: [[a]] -> [[a]] -> [[a]] infixr 9

class FunListable a where

Minimal complete definition

funtiers

Methods

validResults :: a -> [b] -> Bool

invalidResults :: a -> [b] -> Bool

funtiers :: [[(Int, [b] -> a -> b)]]

Instances

FunListable Bool

Methods

validResults :: Bool -> [b] -> Bool

invalidResults :: Bool -> [b] -> Bool

funtiers :: [[(Int, [b] -> Bool -> b)]]

FunListable Int

Methods

validResults :: Int -> [b] -> Bool

invalidResults :: Int -> [b] -> Bool

funtiers :: [[(Int, [b] -> Int -> b)]]

FunListable ()

Methods

validResults :: () -> [b] -> Bool

invalidResults :: () -> [b] -> Bool

funtiers :: [[(Int, [b] -> () -> b)]]

FunListable Nat3

Methods

validResults :: Nat3 -> [b] -> Bool

invalidResults :: Nat3 -> [b] -> Bool

funtiers :: [[(Int, [b] -> Nat3 -> b)]]

FunListable Nat2

Methods

validResults :: Nat2 -> [b] -> Bool

invalidResults :: Nat2 -> [b] -> Bool

funtiers :: [[(Int, [b] -> Nat2 -> b)]]

FunListable Nat

Methods

validResults :: Nat -> [b] -> Bool

invalidResults :: Nat -> [b] -> Bool

funtiers :: [[(Int, [b] -> Nat -> b)]]

FunListable a => FunListable [a]

Methods

validResults :: [a] -> [b] -> Bool

invalidResults :: [a] -> [b] -> Bool

funtiers :: [[(Int, [b] -> [a] -> b)]]

FunListable a => FunListable (Maybe a)

Methods

validResults :: Maybe a -> [b] -> Bool

invalidResults :: Maybe a -> [b] -> Bool

funtiers :: [[(Int, [b] -> Maybe a -> b)]]

(FunListable a, FunListable b) => FunListable (Either a b)

Methods

validResults :: Either a b -> [b] -> Bool

invalidResults :: Either a b -> [b] -> Bool

funtiers :: [[(Int, [b] -> Either a b -> b)]]

(FunListable a, FunListable b) => FunListable (a, b)

Methods

validResults :: (a, b) -> [b] -> Bool

invalidResults :: (a, b) -> [b] -> Bool

funtiers :: [[(Int, [b] -> (a, b) -> b)]]

toMatrix :: Int -> [a] -> [[a]]

Orphan instances

(FunListable a, Listable b) => Listable (a -> b)

Methods

tiers :: [[a -> b]]

list :: [a -> b]