Control.Joint.Schemes.TUT

Documentation

newtype TUT t t' u a

Constructors

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

Instances

Monad u => Monad ((((->) s :: Type -> Type) <:<.>:> (,) s) := u)

Defined in Control.Joint.Effects.State

Methods

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

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

return :: a -> (((->) s <:<.>:> (,) s) := u) a

Functor u => Functor ((((->) s :: Type -> Type) <:<.>:> (,) s) := u)

Defined in Control.Joint.Effects.State

Methods

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

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

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

Defined in Control.Joint.Effects.State

Methods

pure :: a -> (((->) s <:<.>:> (,) s) := u) a

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

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

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

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

(Alternative u, Monad u) => Alternative ((((->) s :: Type -> Type) <:<.>:> (,) s) := u)

Defined in Control.Joint.Effects.State

Methods

empty :: (((->) s <:<.>:> (,) s) := u) a

(<|>) :: (((->) s <:<.>:> (,) s) := u) a -> (((->) s <:<.>:> (,) s) := u) a -> (((->) s <:<.>:> (,) s) := u) a

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

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

(Adjunction t' t, Distributive t) => MonadTrans (TUT t t')

Defined in Control.Joint.Schemes.TUT

Methods

lift :: Monad m => m a -> TUT t t' m a

Interpreted (TUT t t' u)

Defined in Control.Joint.Schemes.TUT

Associated Types

type Primary (TUT t t' u) a

Methods

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

type Primary (TUT t t' u) a

Defined in Control.Joint.Schemes.TUT

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

type (<:<.>:>) = TUT