joint-0.1.3: Trying to compose non-composable

Safe HaskellSafe
LanguageHaskell2010

Control.Joint.Schemes.TU

Documentation

newtype TU t u a Source #

Constructors

TU ((t :. u) := a) 
Instances
(Applicative u, Monad u) => Monad (TU ((->) e :: Type -> Type) u) Source # 
Instance details

Defined in Control.Joint.Base.Configured

Methods

(>>=) :: TU ((->) e) u a -> (a -> TU ((->) e) u b) -> TU ((->) e) u b #

(>>) :: TU ((->) e) u a -> TU ((->) e) u b -> TU ((->) e) u b #

return :: a -> TU ((->) e) u a #

fail :: String -> TU ((->) e) u a #

Functor u => Functor (TU ((->) e :: Type -> Type) u) Source # 
Instance details

Defined in Control.Joint.Base.Configured

Methods

fmap :: (a -> b) -> TU ((->) e) u a -> TU ((->) e) u b #

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

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

Defined in Control.Joint.Base.Configured

Methods

pure :: a -> TU ((->) e) u a #

(<*>) :: TU ((->) e) u (a -> b) -> TU ((->) e) u a -> TU ((->) e) u b #

liftA2 :: (a -> b -> c) -> TU ((->) e) u a -> TU ((->) e) u b -> TU ((->) e) u c #

(*>) :: TU ((->) e) u a -> TU ((->) e) u b -> TU ((->) e) u b #

(<*) :: TU ((->) e) u a -> TU ((->) e) u b -> TU ((->) e) u a #

Composition (TU t u) Source # 
Instance details

Defined in Control.Joint.Schemes.TU

Associated Types

type Primary (TU t u) a :: Type Source #

Methods

run :: TU t u a -> Primary (TU 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