1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
-- | Auxiliary testing helper functions.
module Test.Extra where
-- External imports
import Control.Arrow ((***))
-- * Function application
-- | Apply a tuple with two functions to a tuple of arguments.
apply1 :: (a1 -> b1, a2 -> b2) -- ^ Pair with functions
-> (a1, a2) -- ^ Pair with arguments
-> (b1, b2) -- ^ Pair with results
apply1 = uncurry (***)
-- | Apply a tuple with two functions on two arguments to their tupled
-- arguments.
apply2 :: (a1 -> b1 -> c1, a2 -> b2 -> c2) -- ^ Pair with functions
-> (a1, a2) -- ^ Pair with first arguments
-> (b1, b2) -- ^ Pair with second arguments
-> (c1, c2) -- ^ Pair with results
apply2 fs = apply1 . apply1 fs
-- | Apply a tuple with two functions on three arguments to their tupled
-- arguments.
apply3 :: (a1 -> b1 -> c1 -> d1, a2 -> b2 -> c2 -> d2)
-- ^ Pair with functions
-> (a1, a2) -- ^ Pair with first arguments
-> (b1, b2) -- ^ Pair with second arguments
-> (c1, c2) -- ^ Pair with third arguments
-> (d1, d2) -- ^ Pair with results
apply3 fs = apply2 . apply1 fs
|
