Skip to content

Commit 13fa0cf

Browse files
cootbolt12
authored andcommitted
io-sim: fixed a link in haddocks to STM
1 parent f5d40d9 commit 13fa0cf

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

io-sim/src/Control/Monad/IOSim/STM.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -234,7 +234,7 @@ unGetTBQueueDefault (TBQueue queue _size) a = do
234234
--
235235
-- /Implementation details:/
236236
--
237-
-- 'STM' does not guarantee fairness, instead it provide compositionally.
237+
-- @STM@ does not guarantee fairness, instead it provides compositionally.
238238
-- Fairness of 'putMVarDefault' and 'takeMVarDefault' is provided by tracking
239239
-- queue of blocked operation in the 'MVarState', e.g. when a 'putMVarDefault'
240240
-- is scheduled on a full 'MVar', the request is put on to the back of the queue

io-sim/src/Control/Monad/IOSim/Types.hs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -236,8 +236,8 @@ data StmA s a where
236236
LiftSTStm :: StrictST.ST s a -> (a -> StmA s b) -> StmA s b
237237
FixStm :: (x -> STM s x) -> (x -> StmA s r) -> StmA s r
238238

239-
-- | `IOSim`'s 'MonadSTM.STM' monad, as 'IOSim' it is parametrised by @s@, e.g.
240-
-- @STMSim s a@ is monadic expression of type @a@.
239+
-- | `IOSim`'s 'Control.Monad.Class.MonadSTM.Internal.STM' monad, as 'IOSim' it
240+
-- is parametrised by @s@, e.g. @STMSim s a@ is monadic expression of type @a@.
241241
--
242242
type STMSim = STM
243243

0 commit comments

Comments
 (0)