define (*>) = (>>) for both StateT's (#33)
authorRoss Paterson <ross@soi.city.ac.uk>
Mon, 6 Feb 2017 00:14:31 +0000 (00:14 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Mon, 6 Feb 2017 00:14:31 +0000 (00:14 +0000)
Control/Monad/Trans/State/Lazy.hs
Control/Monad/Trans/State/Strict.hs

index a2f84dc..ceaa8bc 100644 (file)
@@ -206,6 +206,7 @@ instance (Functor m, Monad m) => Applicative (StateT s m) where
         ~(x, s'') <- mx s'
         return (f x, s'')
     {-# INLINE (<*>) #-}
+    (*>) = (>>)
 
 instance (Functor m, MonadPlus m) => Alternative (StateT s m) where
     empty = StateT $ \ _ -> mzero
index df5008c..763f544 100644 (file)
@@ -203,6 +203,7 @@ instance (Functor m, Monad m) => Applicative (StateT s m) where
         (x, s'') <- mx s'
         return (f x, s'')
     {-# INLINE (<*>) #-}
+    (*>) = (>>)
 
 instance (Functor m, MonadPlus m) => Alternative (StateT s m) where
     empty = StateT $ \ _ -> mzero