joint-0.1.2: Trying to compose non-composable
Control.Joint.Base.Maybe
Contents
Associated Types
type Primary Maybe a :: Type Source #
Methods
run :: Maybe a -> Primary Maybe a Source #
type Schema Maybe u = (r :: Type -> Type) Source #
embed :: Functor u => u ~> Schema Maybe u Source #
build :: Applicative u => Maybe ~> Schema Maybe u Source #
(>>=) :: 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 #
fmap :: (a -> b) -> UT Maybe u a -> UT Maybe u b #
(<$) :: a -> UT Maybe u b -> UT Maybe u a #
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 #