Control.Applicative.Compat

Documentation

newtype Const a b

Constructors

Const

Fields

getConst :: a

Instances

Functor (Const m)

Monoid m => Applicative (Const m)

Foldable (Const m)

Traversable (Const m)

Monoid a => Monoid (Const a b)

newtype WrappedMonad m a

Constructors

WrapMonad

Fields

unwrapMonad :: m a

Instances

Monad m => Monad (WrappedMonad m)

Monad m => Functor (WrappedMonad m)

Monad m => Applicative (WrappedMonad m)

MonadPlus m => Alternative (WrappedMonad m)