Fix declare-look law
commitb96a1df3e9f4e3ca676c1097590e3979e436544b
authorNickolay Kudasov <nickolay.kudasov@gmail.com>
dateSat 12 Dec 2015, 02:01 (11 years ago)
parent64e2ba4
src/Data/Swagger/Declare.hs+2−2
@@ -48,9 +48,9 @@ instance Monoid d => MonadTrans (DeclareT d) where
4848-- declare mempty == return ()
4949-- declare x >> declare y == declare (x <> y)
5050--
51−-- declare x >> look == fmap (<> x) look
51+-- declare x >> look == fmap (<> x) look <* declare x
5252--
53−-- look >> f == f
53+-- look >> m == m
5454-- @
5555class Monad m => MonadDeclare d m | m -> d where
5656 -- | @'declare' x@ is an action that produces the output @x@.