joint-0.1.6: Trying to compose non-composable

Safe HaskellSafe
LanguageHaskell2010

Control.Joint.Effects.Maybe

Contents

Documentation

nothing :: Optional t => t a Source #

Orphan instances

Interpreted Maybe Source # 
Instance details

Associated Types

type Primary Maybe a :: Type Source #

Methods

run :: Maybe a -> Primary Maybe a Source #

Transformer Maybe Source # 
Instance details

Associated Types

type Schema Maybe u = (r :: Type -> Type) Source #

Methods

embed :: Functor u => u ~> (Maybe :> u) Source #

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

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

Adaptable (Either e) Maybe Source # 
Instance details

Methods

adapt :: Either e ~> Maybe Source #

(Applicative u, Monad u) => Monad (UT Maybe u) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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 #