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)

Generic1 (Const a)

Generic (Const a b)

Monoid a => Monoid (Const a b)

type Rep1 (Const a) = D1 D1Const (C1 C1_0Const (S1 S1_0_0Const (Rec0 a)))

type Rep (Const a b) = D1 D1Const (C1 C1_0Const (S1 S1_0_0Const (Rec0 a)))

newtype WrappedMonad m a :: (* -> *) -> * -> *

Constructors

WrapMonad

Fields

unwrapMonad :: m a

Instances

MonadPlus m => Alternative (WrappedMonad m)

Monad m => Monad (WrappedMonad m)

Monad m => Functor (WrappedMonad m)

Monad m => Applicative (WrappedMonad m)

Generic1 (WrappedMonad m)

Generic (WrappedMonad m a)

type Rep1 (WrappedMonad m) = D1 D1WrappedMonad (C1 C1_0WrappedMonad (S1 S1_0_0WrappedMonad (Rec1 m)))

type Rep (WrappedMonad m a) = D1 D1WrappedMonad (C1 C1_0WrappedMonad (S1 S1_0_0WrappedMonad (Rec0 (m a))))