Control.Joint.Effects.Either

Documentation

type Failable e = Adaptable (Either e)

failure :: Failable e t => e -> t a

Orphan instances

Interpreted (Either e)

Associated Types

type Primary (Either e) a

Methods

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

Transformer (Either e)

Methods

build :: forall (u :: Type -> Type). Applicative u => Either e ~> (Either e :> u)

unite :: forall (u :: Type -> Type) a. Primary (Schema (Either e) u) a -> (Either e :> u) a

(Applicative u, Monad u) => Monad (Either e <.:> u)

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)

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)

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