Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Instances
Monad u => Monad (TUT ((->) s :: Type -> Type) u ((,) s)) Source # | |
Defined in Control.Joint.Effects.State | |
Functor u => Functor (TUT ((->) s :: Type -> Type) u ((,) s)) Source # | |
Monad u => Applicative (TUT ((->) s :: Type -> Type) u ((,) s)) Source # | |
Defined in Control.Joint.Effects.State 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') Source # | |
type Primary (TUT t u t') a Source # | |