Documentation

class IxFunctor f whereSource

class IxFunctor m => IxPointed m whereSource

class IxPointed m => IxApplicative m whereSource

class IxApplicative m => IxMonad m whereSource

ijoin :: IxMonad m => m i j (m j k a) -> m i k aSource

(>>>=) :: IxMonad m => m i j a -> (a -> m j k b) -> m i k bSource

(=<<<) :: IxMonad m => (a -> m j k b) -> m i j a -> m i k bSource

iapIxMonad :: IxMonad m => m i j (a -> b) -> m j k a -> m i k bSource