Data.Functor.Extend.Trans.Maybe

Documentation

data MaybeT w a

Constructors

MaybeT

Fields

runMaybeT :: Maybe (w a)

Instances

Functor w => Functor (MaybeT w)

Applicative w => Applicative (MaybeT w)

Applicative w => Alternative (MaybeT w)

Extend w => Extend (MaybeT w)

Apply w => Alt (MaybeT w)

Apply w => Apply (MaybeT w)

maybeT :: a -> (w b -> a) -> MaybeT w b -> a

nothing :: MaybeT w a

justT :: w a -> MaybeT w a