Control.Applicative.Alt

Documentation

class (Applicative f, Alt f) => ApplicativeAlt f where

Methods

some :: f a -> f [a]

many :: f a -> f [a]

Instances

ApplicativeAlt []

ApplicativeAlt IO

ApplicativeAlt Maybe

ApplicativeAlt Option

MonadPlus m => ApplicativeAlt (WrappedMonad m)

Alternative f => ApplicativeAlt (WrappedApplicative f)

ArrowPlus a => ApplicativeAlt (WrappedArrow a b)

module Data.Functor.Alt