Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Joint.Effects.Either

Contents

Documentation

Orphan instances

Interpreted (Either e) Source #
Instance details Associated Types type Primary (Either e) a Source # Methods run :: Either e a -> Primary (Either e) a Source #
Transformer (Either e) Source #
Instance details Methods build :: forall (u :: Type -> Type). Applicative u => Either e ~> (Either e :> u) Source # unite :: forall (u :: Type -> Type) a. Primary (Schema (Either e) u) a -> (Either e :> u) a Source #
(Applicative u, Monad u) => Monad (Either e <.:> u) Source #
Instance details Methods (>>=) :: (Either e <.:> u) a -> (a -> (Either e <.:> u) b) -> (Either e <.:> u) b # (>>) :: (Either e <.:> u) a -> (Either e <.:> u) b -> (Either e <.:> u) b # return :: a -> (Either e <.:> u) a #
Functor u => Functor (Either e <.:> u) Source #
Instance details Methods fmap :: (a -> b) -> (Either e <.:> u) a -> (Either e <.:> u) b # (<$) :: a -> (Either e <.:> u) b -> (Either e <.:> u) a #
Applicative u => Applicative (Either e <.:> u) Source #
Instance details Methods pure :: a -> (Either e <.:> u) a # (<>) :: (Either e <.:> u) (a -> b) -> (Either e <.:> u) a -> (Either e <.:> u) b # liftA2 :: (a -> b -> c) -> (Either e <.:> u) a -> (Either e <.:> u) b -> (Either e <.:> u) c # (>) :: (Either e <.:> u) a -> (Either e <.:> u) b -> (Either e <.:> u) b # (<*) :: (Either e <.:> u) a -> (Either e <.:> u) b -> (Either e <.:> u) a #