Control.Joint.Effects.Either

Documentation

type Failable e = Liftable (Either e)

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

Orphan instances

Interpreted (Either e)

Associated Types

type Primary (Either e) a :: Type

Methods

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

Transformer (Either e)

Associated Types

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

Methods

embed :: Functor u => u ~> (Either e :> u)

build :: Applicative u => Either e ~> (Either e :> u)

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

(Applicative u, Monad u) => Monad (UT (Either e) u)

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)

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)

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