Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Wrap a function's return value with another function.
- wrap1 :: (r -> s) -> (a1 -> r) -> a1 -> s
- wrap2 :: (r -> s) -> (a1 -> a2 -> r) -> a1 -> a2 -> s
- wrap3 :: (r -> s) -> (a1 -> a2 -> a3 -> r) -> a1 -> a2 -> a3 -> s
- wrap4 :: (r -> s) -> (a1 -> a2 -> a3 -> a4 -> r) -> a1 -> a2 -> a3 -> a4 -> s
- wrap5 :: (r -> s) -> (a1 -> a2 -> a3 -> a4 -> a5 -> r) -> a1 -> a2 -> a3 -> a4 -> a5 -> s
- wrap6 :: (r -> s) -> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> r) -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> s
- wrap7 :: (r -> s) -> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> r) -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> s
- wrap8 :: (r -> s) -> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> r) -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> s
- wrap9 :: (r -> s) -> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> r) -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> s
- wrap10 :: (r -> s) -> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> r) -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> s
- wrap11 :: (r -> s) -> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> r) -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> s
- wrap12 :: (r -> s) -> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> a12 -> r) -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> a12 -> s
Documentation
:: (r -> s) | The final result wrapper. |
-> (a1 -> r) | The function to wrap. |
-> a1 -> s | The wrapped up function. |
Wrap the result of a function applied to 1 argument.
:: (r -> s) | The final result wrapper. |
-> (a1 -> a2 -> r) | The function to wrap. |
-> a1 -> a2 -> s | The wrapped up function. |
Wrap the result of a function applied to 2 arguments.
:: (r -> s) | The final result wrapper. |
-> (a1 -> a2 -> a3 -> r) | The function to wrap. |
-> a1 -> a2 -> a3 -> s | The wrapped up function. |
Wrap the result of a function applied to 3 arguments.
:: (r -> s) | The final result wrapper. |
-> (a1 -> a2 -> a3 -> a4 -> r) | The function to wrap. |
-> a1 -> a2 -> a3 -> a4 -> s | The wrapped up function. |
Wrap the result of a function applied to 4 arguments.
:: (r -> s) | The final result wrapper. |
-> (a1 -> a2 -> a3 -> a4 -> a5 -> r) | The function to wrap. |
-> a1 -> a2 -> a3 -> a4 -> a5 -> s | The wrapped up function. |
Wrap the result of a function applied to 5 arguments.
:: (r -> s) | The final result wrapper. |
-> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> r) | The function to wrap. |
-> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> s | The wrapped up function. |
Wrap the result of a function applied to 6 arguments.
:: (r -> s) | The final result wrapper. |
-> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> r) | The function to wrap. |
-> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> s | The wrapped up function. |
Wrap the result of a function applied to 7 arguments.
:: (r -> s) | The final result wrapper. |
-> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> r) | The function to wrap. |
-> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> s | The wrapped up function. |
Wrap the result of a function applied to 8 arguments.
:: (r -> s) | The final result wrapper. |
-> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> r) | The function to wrap. |
-> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> s | The wrapped up function. |
Wrap the result of a function applied to 9 arguments.
:: (r -> s) | The final result wrapper. |
-> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> r) | The function to wrap. |
-> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> s | The wrapped up function. |
Wrap the result of a function applied to 10 arguments.
:: (r -> s) | The final result wrapper. |
-> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> r) | The function to wrap. |
-> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> s | The wrapped up function. |
Wrap the result of a function applied to 11 arguments.
:: (r -> s) | The final result wrapper. |
-> (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> a12 -> r) | The function to wrap. |
-> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> a10 -> a11 -> a12 -> s | The wrapped up function. |
Wrap the result of a function applied to 12 arguments.