Data.Functor.Bind

Documentation

class Apply m => Bind m where

Methods

(>>-) :: m a -> (a -> m b) -> m b

join :: m (m a) -> m a

Instances

Bind []

Bind IO

Bind Maybe

Bind Tree

Bind Seq

Bind IntMap

An IntMap is not Applicative, but it is an instance of Apply

Bind Option

Bind Identity

Bind ((->) m)

Bind (Either a)

Semigroup m => Bind ((,) m)

Monad m => Bind (WrappedMonad m)

Ord k => Bind (Map k)

A Map is not Applicative, but it is an instance of Apply

Bind w => Bind (IdentityT w)

(-<<) :: Bind m => (a -> m b) -> m a -> m b

(-<-) :: Bind m => (b -> m c) -> (a -> m b) -> a -> m c

(->-) :: Bind m => (a -> m b) -> (b -> m c) -> a -> m c

apDefault :: Bind f => f (a -> b) -> f a -> f b

module Data.Functor.Apply