joint-0.1.9: Trying to compose non-composable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Joint.Schemes.TU

Documentation

newtype TU t u a Source #

Constructors

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

Instances

Instances details
Comonad t => ComonadTrans (TU t :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Control.Joint.Schemes.TU

Methods

lower :: Comonad w => TU t w a -> w a #

Monad t => MonadTrans (TU t :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Control.Joint.Schemes.TU

Methods

lift :: Monad m => m a -> TU t m a #

(Applicative u, Monad u) => Monad (((->) e :: Type -> Type) <:.> u) Source # 
Instance details

Defined in Control.Joint.Effects.Reader

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 (((->) e :: Type -> Type) <:.> u) Source # 
Instance details

Defined in Control.Joint.Effects.Reader

Methods

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

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

Applicative u => Applicative (((->) e :: Type -> Type) <:.> u) Source # 
Instance details

Defined in Control.Joint.Effects.Reader

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 #

Interpreted (t <:.> u) Source # 
Instance details

Defined in Control.Joint.Schemes.TU

Associated Types

type Primary (t <:.> u) a Source #

Methods

run :: (t <:.> u) a -> Primary (t <:.> u) a Source #

type Primary (TU t u) a Source # 
Instance details

Defined in Control.Joint.Schemes.TU

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

type (<:.>) = TU Source #