| |||||||
| |||||||
Documentation | |||||||
data Fun a b | |||||||
| |||||||
apply :: Fun a b -> a -> b | |||||||
data a :-> c | |||||||
| |||||||
class FunArbitrary a where | |||||||
| |||||||
funArbitraryMap :: (FunArbitrary a, Arbitrary c) => (b -> a) -> (a -> b) -> Gen (b :-> c) | |||||||
funArbitraryShow :: (Show a, Read a, Arbitrary c) => Gen (a :-> c) | |||||||
Produced by Haddock version 2.6.1 |