joint-0.1.7: Trying to compose non-composable

Safe HaskellSafe
LanguageHaskell2010

Control.Joint.Operators

Documentation

(<$$>) :: (Functor t, Functor u) => (a -> b) -> ((t :. u) := a) -> (t :. u) := b Source #

(<$$$>) :: (Functor t, Functor u, Functor v) => (a -> b) -> ((t :. (u :. v)) := a) -> (t :. (u :. v)) := b Source #

(<$$$$>) :: (Functor t, Functor u, Functor v, Functor w) => (a -> b) -> ((t :. (u :. (v :. w))) := a) -> (t :. (u :. (v :. w))) := b Source #

(<**>) :: (Applicative t, Applicative u) => ((t :. u) := (a -> b)) -> ((t :. u) := a) -> (t :. u) := b Source #

(<***>) :: (Applicative t, Applicative u, Applicative v) => ((t :. (u :. v)) := (a -> b)) -> ((t :. (u :. v)) := a) -> (t :. (u :. v)) := b Source #

(<****>) :: (Applicative t, Applicative u, Applicative v, Applicative w) => ((t :. (u :. (v :. w))) := (a -> b)) -> ((t :. (u :. (v :. w))) := a) -> (t :. (u :. (v :. w))) := b Source #

($>>=) :: (Functor u, Monad t) => (a -> t b) -> ((u :. t) := a) -> (u :. t) := b Source #

(>>=$) :: Monad t => (t b -> c) -> (a -> t b) -> t a -> c Source #