Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Joint.Schemes.UT

Documentation

newtype UT t u a Source #

Constructors

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

Instances

Instances details

Comonad t => ComonadTrans (UT t) Source #
Instance details Defined in Control.Joint.Schemes.UT Methods lower :: Comonad w => UT t w a -> w a #
Monad t => MonadTrans (UT t) Source #
Instance details Defined in Control.Joint.Schemes.UT Methods lift :: Monad m => m a -> UT t m a #
(Applicative u, Monad u) => Monad (Maybe <.:> u) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Control.Joint.Schemes.UT Associated Types type Primary (UT t u) a Source # Methods run :: UT t u a -> Primary (UT t u) a Source #
type Primary (UT t u) a Source #
Instance details Defined in Control.Joint.Schemes.UT type Primary (UT t u) a = (u :. t) := a

type (<.:>) = UT Source #