Control.Joint.Effects.Maybe

Documentation

type Optional = Adaptable Maybe

nothing :: Optional t => t a

Orphan instances

Interpreted Maybe

Associated Types

type Primary Maybe a

Methods

run :: Maybe a -> Primary Maybe a

Transformer Maybe

Methods

build :: forall (u :: Type -> Type). Applicative u => Maybe ~> (Maybe :> u)

unite :: forall (u :: Type -> Type) a. Primary (Schema Maybe u) a -> (Maybe :> u) a

Completable (Either e) Maybe

Methods

complete :: Either e ~> Maybe

(Applicative u, Monad u) => Monad (Maybe <.:> u)

Methods

(>>=) :: (Maybe <.:> u) a -> (a -> (Maybe <.:> u) b) -> (Maybe <.:> u) b

(>>) :: (Maybe <.:> u) a -> (Maybe <.:> u) b -> (Maybe <.:> u) b

return :: a -> (Maybe <.:> u) a

Functor u => Functor (Maybe <.:> u)

Methods

fmap :: (a -> b) -> (Maybe <.:> u) a -> (Maybe <.:> u) b

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

Applicative u => Applicative (Maybe <.:> u)

Methods

pure :: a -> (Maybe <.:> u) a

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

liftA2 :: (a -> b -> c) -> (Maybe <.:> u) a -> (Maybe <.:> u) b -> (Maybe <.:> u) c

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

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