Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Joint.Effects.Maybe

Contents

Documentation

Orphan instances

Interpreted Maybe Source #
Instance details Associated Types type Primary Maybe a Source # Methods run :: Maybe a -> Primary Maybe a Source #
Transformer Maybe Source #
Instance details Methods build :: forall (u :: Type -> Type). Applicative u => Maybe ~> (Maybe :> u) Source # unite :: forall (u :: Type -> Type) a. Primary (Schema Maybe u) a -> (Maybe :> u) a Source #
Completable (Either e) Maybe Source #
Instance details Methods complete :: Either e ~> Maybe Source #
(Applicative u, Monad u) => Monad (Maybe <.:> u) Source #
Instance details 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) Source #
Instance details Methods fmap :: (a -> b) -> (Maybe <.:> u) a -> (Maybe <.:> u) b # (<$) :: a -> (Maybe <.:> u) b -> (Maybe <.:> u) a #
Applicative u => Applicative (Maybe <.:> u) Source #
Instance details 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 #