Control.Joint.Schemes.UT

Documentation

newtype UT t u a

Constructors

UT ((u :. t) := a)

Instances

(Applicative u, Monad u) => Monad (UT Maybe u)

Defined in Control.Joint.Effects.Maybe

Methods

(>>=) :: 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

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

Defined in Control.Joint.Effects.Either

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

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

Defined in Control.Joint.Effects.Writer

Methods

(>>=) :: UT ((,) e) u a -> (a -> UT ((,) e) u b) -> UT ((,) e) u b

(>>) :: UT ((,) e) u a -> UT ((,) e) u b -> UT ((,) e) u b

return :: a -> UT ((,) e) u a

fail :: String -> UT ((,) e) u a

Functor u => Functor (UT Maybe u)

Defined in Control.Joint.Effects.Maybe

Methods

fmap :: (a -> b) -> UT Maybe u a -> UT Maybe u b

(<$) :: a -> UT Maybe u b -> UT Maybe u a

Functor u => Functor (UT (Either e) u)

Defined in Control.Joint.Effects.Either

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

Functor u => Functor (UT ((,) e) u)

Defined in Control.Joint.Effects.Writer

Methods

fmap :: (a -> b) -> UT ((,) e) u a -> UT ((,) e) u b

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

Applicative u => Applicative (UT Maybe u)

Defined in Control.Joint.Effects.Maybe

Methods

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

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

Defined in Control.Joint.Effects.Either

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

(Monoid e, Applicative u) => Applicative (UT ((,) e) u)

Defined in Control.Joint.Effects.Writer

Methods

pure :: a -> UT ((,) e) u a

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

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

(*>) :: UT ((,) e) u a -> UT ((,) e) u b -> UT ((,) e) u b

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

Interpreted (UT t u)

Defined in Control.Joint.Schemes.UT

Associated Types

type Primary (UT t u) a :: Type

Methods

run :: UT t u a -> Primary (UT t u) a

type Primary (UT t u) a

Defined in Control.Joint.Schemes.UT

type Primary (UT t u) a = (u :. t) := a