Control.Joint.Schemes.UT

Documentation

newtype UT t u a

Constructors

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

Instances

Comonad t => ComonadTrans (UT t)

Defined in Control.Joint.Schemes.UT

Methods

lower :: Comonad w => UT t w a -> w a

Monad t => MonadTrans (UT t)

Defined in Control.Joint.Schemes.UT

Methods

lift :: Monad m => m a -> UT t m a

(Applicative u, Monad u) => Monad (Maybe <.:> u)

Defined in Control.Joint.Effects.Maybe

Methods

(>>=) :: (Maybe <.:> u) a -> (a -> (Maybe <.:> u) b) -> (Maybe <.:> u) b

(>>) :: (Maybe <.:> u) a -> (Maybe <.:> u) b -> (Maybe <.:> u) b

return :: a -> (Maybe <.:> u) a

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

Defined in Control.Joint.Effects.Either

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

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

Defined in Control.Joint.Effects.Writer

Methods

(>>=) :: ((,) e <.:> u) a -> (a -> ((,) e <.:> u) b) -> ((,) e <.:> u) b

(>>) :: ((,) e <.:> u) a -> ((,) e <.:> u) b -> ((,) e <.:> u) b

return :: a -> ((,) e <.:> u) a

Functor u => Functor (Maybe <.:> u)

Defined in Control.Joint.Effects.Maybe

Methods

fmap :: (a -> b) -> (Maybe <.:> u) a -> (Maybe <.:> u) b

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

Functor u => Functor (Either e <.:> u)

Defined in Control.Joint.Effects.Either

Methods

fmap :: (a -> b) -> (Either e <.:> u) a -> (Either e <.:> u) b

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

Functor u => Functor ((,) e <.:> u)

Defined in Control.Joint.Effects.Writer

Methods

fmap :: (a -> b) -> ((,) e <.:> u) a -> ((,) e <.:> u) b

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

Applicative u => Applicative (Maybe <.:> u)

Defined in Control.Joint.Effects.Maybe

Methods

pure :: a -> (Maybe <.:> u) a

(<*>) :: (Maybe <.:> u) (a -> b) -> (Maybe <.:> u) a -> (Maybe <.:> u) b

liftA2 :: (a -> b -> c) -> (Maybe <.:> u) a -> (Maybe <.:> u) b -> (Maybe <.:> u) c

(*>) :: (Maybe <.:> u) a -> (Maybe <.:> u) b -> (Maybe <.:> u) b

(<*) :: (Maybe <.:> u) a -> (Maybe <.:> u) b -> (Maybe <.:> u) a

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

Defined in Control.Joint.Effects.Either

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

(Monoid e, Applicative u) => Applicative ((,) e <.:> u)

Defined in Control.Joint.Effects.Writer

Methods

pure :: a -> ((,) e <.:> u) a

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

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

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

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

(Monoid e, Alternative u) => Alternative ((,) e <.:> u)

Defined in Control.Joint.Effects.Writer

Methods

empty :: ((,) e <.:> u) a

(<|>) :: ((,) e <.:> u) a -> ((,) e <.:> u) a -> ((,) e <.:> u) a

some :: ((,) e <.:> u) a -> ((,) e <.:> u) [a]

many :: ((,) e <.:> u) a -> ((,) e <.:> u) [a]

Interpreted (UT t u)

Defined in Control.Joint.Schemes.UT

Associated Types

type Primary (UT t u) a

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

type (<.:>) = UT