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