| |||||||
| |||||||
| 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.7.2 |