joint-0.1.3: Trying to compose non-composable

Safe HaskellSafe
LanguageHaskell2010

Control.Joint.Base.Either

Contents

Orphan instances

Composition (Either e) Source # 
Instance details

Associated Types

type Primary (Either e) a :: Type Source #

Methods

run :: Either e a -> Primary (Either e) a Source #

Transformer (Either e) Source # 
Instance details

Associated Types

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

Methods

embed :: Functor u => u ~> Schema (Either e) u Source #

build :: Applicative u => Either e ~> Schema (Either e) u Source #

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

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

Methods

(>>=) :: UT (Either e) u a -> (a -> UT (Either e) u b) -> UT (Either e) u b #

(>>) :: UT (Either e) u a -> UT (Either e) u b -> UT (Either e) u b #

return :: a -> UT (Either e) u a #

fail :: String -> UT (Either e) u a #

Functor u => Functor (UT (Either e) u) Source # 
Instance details

Methods

fmap :: (a -> b) -> UT (Either e) u a -> UT (Either e) u b #

(<$) :: a -> UT (Either e) u b -> UT (Either e) u a #

Applicative u => Applicative (UT (Either e) u) Source # 
Instance details

Methods

pure :: a -> UT (Either e) u a #

(<*>) :: UT (Either e) u (a -> b) -> UT (Either e) u a -> UT (Either e) u b #

liftA2 :: (a -> b -> c) -> UT (Either e) u a -> UT (Either e) u b -> UT (Either e) u c #

(*>) :: UT (Either e) u a -> UT (Either e) u b -> UT (Either e) u b #

(<*) :: UT (Either e) u a -> UT (Either e) u b -> UT (Either e) u a #