Control.Selective.SelectM

newtype SelectM :: forall k. (k -> Type) -> k -> Typenewtype SelectM m a

Has a Select instance where select is implemented in terms of bind

Constructors

• SelectM (m a)

Instances

• Newtype (SelectM m a) _
• (Functor m) => Functor (SelectM m)
• (Apply m) => Apply (SelectM m)
• (Applicative m) => Applicative (SelectM m)
• (Monad m) => Select (SelectM m)
• (Monad m) => Selective (SelectM m)
• (Bind m) => Bind (SelectM m)
• (Monad m) => Monad (SelectM m)