diff --git a/src/Control/Monad/Error/Hoist.hs b/src/Control/Monad/Error/Hoist.hs index c32fe62..7d462ef 100644 --- a/src/Control/Monad/Error/Hoist.hs +++ b/src/Control/Monad/Error/Hoist.hs @@ -95,9 +95,9 @@ hoistErrorM e m = m >>= hoistError e -- operator handles values that are already "in a monad". -- -- * The additional @%@ in @('<%?>')@ and @('<%!?>')@ means the --- operator takes a function argument, which is applies to the error +-- operator takes a function argument, which it applies to the error -- from the partiality type. (The mnemonic is that @%@ sometimes --- means "mod", and we use "mod" as a shorthand for "modify". It's a +-- means "mod", and we abuse "mod" as a shorthand for "modify". It's a -- long bow, but @lens@ uses the same mnemonic.) -- | A flipped synonym for 'hoistError'. diff --git a/src/Control/Monad/Fail/Hoist.hs b/src/Control/Monad/Fail/Hoist.hs index 95222b4..b566df6 100644 --- a/src/Control/Monad/Fail/Hoist.hs +++ b/src/Control/Monad/Fail/Hoist.hs @@ -72,7 +72,7 @@ hoistFailM' -> m a hoistFailM' = hoistFailM id --- | A flipped synonym for 'hoistFail'. Mnemonic: @#@ looks a bit like @F@ +-- | A flipped synonym for 'hoistFail'. Mnemonic: @#@ looks a bit like @F@. -- -- @ -- ('<%#>') :: 'MonadFail' m => 'Maybe' a -> (() -> e) -> m a