Control.Joint.Schemes.TUT

Documentation

newtype TUT t u t' a

Constructors

TUT ((t :. (u :. t')) := a)

Instances

Monad u => Monad (TUT ((->) s :: Type -> Type) u ((,) s))

Defined in Control.Joint.Base.State

Methods

(>>=) :: TUT ((->) s) u ((,) s) a -> (a -> TUT ((->) s) u ((,) s) b) -> TUT ((->) s) u ((,) s) b

(>>) :: TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b -> TUT ((->) s) u ((,) s) b

return :: a -> TUT ((->) s) u ((,) s) a

fail :: String -> TUT ((->) s) u ((,) s) a

Functor u => Functor (TUT ((->) s :: Type -> Type) u ((,) s))

Defined in Control.Joint.Base.State

Methods

fmap :: (a -> b) -> TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b

(<$) :: a -> TUT ((->) s) u ((,) s) b -> TUT ((->) s) u ((,) s) a

Monad u => Applicative (TUT ((->) s :: Type -> Type) u ((,) s))

Defined in Control.Joint.Base.State

Methods

pure :: a -> TUT ((->) s) u ((,) s) a

(<*>) :: TUT ((->) s) u ((,) s) (a -> b) -> TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b

liftA2 :: (a -> b -> c) -> TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b -> TUT ((->) s) u ((,) s) c

(*>) :: TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b -> TUT ((->) s) u ((,) s) b

(<*) :: TUT ((->) s) u ((,) s) a -> TUT ((->) s) u ((,) s) b -> TUT ((->) s) u ((,) s) a

Composition (TUT t u t')

Defined in Control.Joint.Schemes.TUT

Associated Types

type Primary (TUT t u t') a :: Type

Methods

run :: TUT t u t' a -> Primary (TUT t u t') a

type Primary (TUT t u t') a

Defined in Control.Joint.Schemes.TUT

type Primary (TUT t u t') a = (t :. (u :. t')) := a