Control.Joint.Schemes.TUT

Documentation

newtype TUT t t' u a

Constructors

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

Instances

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

Defined in Control.Joint.Effects.State

Methods

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

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

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

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

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

Defined in Control.Joint.Effects.State

Methods

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

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

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

Defined in Control.Joint.Effects.State

Methods

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

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

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

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

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

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

Defined in Control.Joint.Effects.State

Methods

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

(<|>) :: TUT ((->) s) ((,) s) u a -> TUT ((->) s) ((,) s) u a -> TUT ((->) s) ((,) s) u a

some :: TUT ((->) s) ((,) s) u a -> TUT ((->) s) ((,) s) u [a]

many :: TUT ((->) s) ((,) s) u a -> TUT ((->) s) ((,) s) u [a]

Interpreted (TUT t t' u)

Defined in Control.Joint.Schemes.TUT

Associated Types

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

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