Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class (forall i j. Functor (p i j)) => IxApplicative p where Source #
class IxApplicative m => IxMonad m where Source #
Nothing
iapIxMonad :: IxMonad m => m i j (a -> b) -> m j k a -> m i k b Source #