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