Safe Haskell | None |
---|
Documentation
(LWith list n (:> t t' m), Monad n, Monad m, MonadTrans t, MonadTrans t') => LWith1 list HFalse n (Tagged e (t (t' m))) | |
(Monad m, ~ (* -> *) n (t n'), Monad n', LWith list n' m, MonadTrans t) => LWith1 list HTrue n (Tagged e (t m)) | |
(Monad m, Monad n, LWith list n (:> (:> t0 t1) t2 m), MonadTrans t2, MonadTrans t1, MonadTrans t0) => LWith2 list HFalse n (:> t0 (Tagged e) (t1 (t2 m))) | |
(Monad m, ~ (* -> *) n (:> t0 t n'), Monad n', LWith list n' m, MonadTrans t, MonadTrans t0) => LWith2 list HTrue n (:> t0 (Tagged e) (t m)) | |
(HMember t l b, LWith1 l b n (Tagged t m), Monad m, Monad n) => LWith l n (Tagged t m) | |
(Monad m, ~ (* -> *) m (t n), MonadTrans t) => TWith tag m (Tagged tag (t n)) | |
(Monad m, ~ (* -> *) m n) => TWith tag n (Tagged tag m) | |
(HMember t l b, LWith2 l b n (:> t0 (Tagged t) m), Monad m, Monad n) => LWith l n (:> t0 (Tagged t) m) | |
(Monad (t' n), Monad m, Monad n, MonadTrans t, ~ (* -> *) m (:> (:> t (Tagged tag)) t' n), MonadTrans t') => TWith tag m (:> t (Tagged tag) (t' n)) | |
(Monad m, Monad n, MonadTrans t, ~ (* -> *) m (t n)) => TWith tag m (:> t (Tagged tag) n) | |
MonadState s m => MonadState s (Tagged t m) | |
MonadTrans (Tagged tag) | |
Monad m => Monad (Tagged tag m) |
runTStateT :: Monad m => s -> TStateT tag s m a -> m (a, s)Source
evalTStateT :: Monad m => s -> TStateT tag s m a -> m aSource
runTErrorT :: Monad m => TErrorT tag e m a -> m (Either e a)Source
class (Monad m, Monad n) => TWith tag n m whereSource
(Monad (t0 (t1 n)), Monad m, Monad n, TWith tag m (:> t0 t1 n), MonadTrans t0, MonadTrans t1) => TWith tag m (t0 (t1 n)) | |
(Monad m, ~ (* -> *) m (t n), MonadTrans t) => TWith tag m (Tagged tag (t n)) | |
(Monad m, ~ (* -> *) m n) => TWith tag n (Tagged tag m) | |
(Monad (t' n), Monad m, Monad n, MonadTrans t, ~ (* -> *) m (:> (:> t (Tagged tag)) t' n), MonadTrans t') => TWith tag m (:> t (Tagged tag) (t' n)) | |
(Monad m, Monad n, MonadTrans t, ~ (* -> *) m (t n)) => TWith tag m (:> t (Tagged tag) n) |
ifpos1 :: MonadState Int m => m () -> m ()Source
e :&: l |
(LWith list n (:> t t' m), Monad n, Monad m, MonadTrans t, MonadTrans t') => LWith1 list HFalse n (Tagged e (t (t' m))) | |
(Monad m, Monad n, LWith list n (:> (:> t0 t1) t2 m), MonadTrans t2, MonadTrans t1, MonadTrans t0) => LWith2 list HFalse n (:> t0 (Tagged e) (t1 (t2 m))) |
class LWith list n m whereSource
lstructure :: View g => list -> n `g` mSource
class LWith1 list b n m whereSource
lstructure1 :: View g => list -> b -> n `g` mSource
class LWith2 list b n m whereSource
lstructure2 :: View g => list -> b -> n `g` mSource
(Monad m, Monad n, LWith list n (:> (:> t0 t1) t2 m), MonadTrans t2, MonadTrans t1, MonadTrans t0) => LWith2 list HFalse n (:> t0 (Tagged e) (t1 (t2 m))) | |
(Monad m, ~ (* -> *) n (:> t0 t n'), Monad n', LWith list n' m, MonadTrans t, MonadTrans t0) => LWith2 list HTrue n (:> t0 (Tagged e) (t m)) |
getv :: (Monad m, MonadState a n, MonadMorphism g) => g n m -> m aSource
putv :: (Monad m, MonadState a n, MonadMorphism g) => g n m -> a -> m ()Source