Contents
interface ApplicativePure <FA, A> Source #
Applicative type-class
Parameters
| type | A | Bound value |
interface Applicative <FAB, FA, FB, A, B> Source #
Applicative type-class
Parameters
| type | FAB | Type of the applicative computation: f(a -> b) |
| type | FA | Type of the applicative to apply |
| type | FB | Type of the applicative to return |
| type | A | Bound value |
| type | B | Type of the bound return value |
interface Applicative <FABC, FBC, FA, FB, FC, A, B, C> Source #
Applicative type-class
Parameters
| type | FABC | Type of the applicative computation: f(a -> b -> c) |
| type | FBC | Type of the applicative computation to return: f(b -> c) |
| type | FA | Type of the applicative of the first argument to apply |
| type | FB | Type of the applicative of the second argument to apply |
| type | FC | Type of the applicative to return |
| type | A | Bound value |
| type | B | Type of the bound return value |