Test.Speculate.Function

This module is part of Speculate.

If should import this if you want Speculate to treat functions as data values. This exports a Listable instance for functions an a facility to define Eq and Ord instances for functions.

Please see the fun and monad examples from Speculate's source repository for more details.

Documentation

funToList :: Listable a => (a -> b) -> [Maybe b]

areEqualFor :: (Listable a, Eq b) => Int -> (a -> b) -> (a -> b) -> Bool

This function can be used to define an Eq instance for functions based on testing and equality of returned values, like so:

instance (Listable a, Eq b) => Eq (a -> b) where
  (==) = areEqualFor 100

compareFor :: (Listable a, Ord b) => Int -> (a -> b) -> (a -> b) -> Ordering

This function can be used to define an Ord instance for functions based on testing and ordering of returned values, like so:

instance (Listable a, Ord b) => Ord (a -> b) where
  compare = compareFor 100