Control.Joint.Effects.Maybe

Documentation

type Optional = Adaptable Maybe

nothing :: Optional t => t a

Orphan instances

Interpreted Maybe

Associated Types

type Primary Maybe a :: Type

Methods

run :: Maybe a -> Primary Maybe a

Transformer Maybe

Methods

build :: Applicative u => Maybe ~> (Maybe :> u)

unite :: Primary (Schema Maybe u) a -> (Maybe :> u) a

Completable (Either e) Maybe

Methods

complete :: Either e ~> Maybe

(Applicative u, Monad u) => Monad (UT Maybe u)

Methods

(>>=) :: UT Maybe u a -> (a -> UT Maybe u b) -> UT Maybe u b

(>>) :: UT Maybe u a -> UT Maybe u b -> UT Maybe u b

return :: a -> UT Maybe u a

fail :: String -> UT Maybe u a

Functor u => Functor (UT Maybe u)

Methods

fmap :: (a -> b) -> UT Maybe u a -> UT Maybe u b

(<$) :: a -> UT Maybe u b -> UT Maybe u a

Applicative u => Applicative (UT Maybe u)

Methods

pure :: a -> UT Maybe u a

(<*>) :: UT Maybe u (a -> b) -> UT Maybe u a -> UT Maybe u b

liftA2 :: (a -> b -> c) -> UT Maybe u a -> UT Maybe u b -> UT Maybe u c

(*>) :: UT Maybe u a -> UT Maybe u b -> UT Maybe u b

(<*) :: UT Maybe u a -> UT Maybe u b -> UT Maybe u a