mirror of
https://github.com/haskell-effectful/effectful.git
synced 2024-11-24 07:14:04 +03:00
Haddock improvement
This commit is contained in:
parent
6506958cce
commit
1811b919b4
@ -55,9 +55,9 @@ tell w = stateData $ \(DataA (Writer w0)) -> ((), DataA (Writer (w0 <> w)))
|
||||
-- | Execute an action and append its output to the overall output of the
|
||||
-- 'Writer'.
|
||||
--
|
||||
-- /Note:/ if a runtime exception is received while the action is executed, the
|
||||
-- partial output of the action will still be appended to the overall output of
|
||||
-- the 'Writer':
|
||||
-- /Note:/ if an exception is received while the action is executed, the partial
|
||||
-- output of the action will still be appended to the overall output of the
|
||||
-- 'Writer':
|
||||
--
|
||||
-- >>> :{
|
||||
-- runEff . execWriter @String $ do
|
||||
|
@ -59,9 +59,9 @@ tell w1 = unsafeEff $ \es -> do
|
||||
-- | Execute an action and append its output to the overall output of the
|
||||
-- 'Writer'.
|
||||
--
|
||||
-- /Note:/ if a runtime exception is received while the action is executed, the
|
||||
-- partial output of the action will still be appended to the overall output of
|
||||
-- the 'Writer':
|
||||
-- /Note:/ if an exception is received while the action is executed, the partial
|
||||
-- output of the action will still be appended to the overall output of the
|
||||
-- 'Writer':
|
||||
--
|
||||
-- >>> :{
|
||||
-- runEff . execWriter @String $ do
|
||||
|
Loading…
Reference in New Issue
Block a user