QuickCheck-2.4.0.1: Automatic testing of Haskell programs

Test.QuickCheck.Function

Documentation

data Fun a b

Constructors

Fun (a :-> b, b) (a -> b) 

Instances

(Show a, Show b) => Show (Fun a b) 
(Function a, CoArbitrary a, Arbitrary b) => Arbitrary (Fun a b) 

apply :: Fun a b -> a -> b

data a :-> c

Instances

Functor (:-> a) 
(Show a, Show b) => Show (:-> a b) 
(Function a, CoArbitrary a, Arbitrary b) => Arbitrary (:-> a b) 

class Function a where

Methods

function :: (a -> b) -> a :-> b

Instances

Function Bool 
Function Char 
Function Int 
Function Integer 
Function Word8 
Function () 
Function OrdC 
Function OrdB 
Function OrdA 
Function C 
Function B 
Function A 
Function a => Function [a] 
Function a => Function (Maybe a) 
(Function a, Function b) => Function (Either a b) 
(Function a, Function b) => Function (a, b) 

functionMap :: Function b => (a -> b) -> (b -> a) -> (a -> c) -> a :-> c

functionShow :: (Show a, Read a) => (a -> c) -> a :-> c