Control.MultiAlternative

class (Plus m) <= MultiAlternative m  where

Members

• orr :: forall a. Array (m a) -> m a

Instances

• (Monoid e, MultiAlternative m, Monad m) => MultiAlternative (ExceptT e m)
• (MultiAlternative m) => MultiAlternative (RWST r w s m)
• (MultiAlternative m) => MultiAlternative (ReaderT r m)
• (MultiAlternative m, Monad m) => MultiAlternative (StateT s m)
• (MultiAlternative m) => MultiAlternative (WriterT s m)

defaultOrr :: forall a m. Plus m => Array (m a) -> m a