Copyright | (C) 2008 Edward Kmett |
---|---|

License | BSD-style (see the file LICENSE) |

Maintainer | Reiner Pope <reiner.pope@gmail.com> |

Stability | experimental |

Portability | portable |

Safe Haskell | Safe |

Language | Haskell98 |

- class IxFunctor f where
- class IxFunctor w => IxCopointed w where
- class IxFunctor m => IxPointed m where
- class IxPointed m => IxApplicative m where
- (<<$>>) :: IxFunctor f => (a -> b) -> f j k a -> f j k b
- (<<*>>) :: IxApplicative f => f i j (a -> b) -> f j k a -> f i k b
- (<<*) :: IxApplicative f => f i j a -> f j k b -> f i k a
- (*>>) :: IxApplicative f => f i j a -> f j k b -> f i k b

# Documentation

class IxPointed m => IxApplicative m where Source #

(<<*>>) :: IxApplicative f => f i j (a -> b) -> f j k a -> f i k b infixl 4 Source #

Infix alias of `iap`

. Or, (`<*>`

) for `IxApplicative`

.

(<<*) :: IxApplicative f => f i j a -> f j k b -> f i k a infixl 4 Source #

(`<*`

) for `IxApplicative`

.

(*>>) :: IxApplicative f => f i j a -> f j k b -> f i k b infixl 4 Source #

(`*>`

) for `IxApplicative`

.