We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 6e1f30d + 43f544b commit 9b64806Copy full SHA for 9b64806
strict-stm/src/Control/Concurrent/Class/MonadSTM/Strict/TVar.hs
@@ -56,6 +56,11 @@ traceTVarIO :: MonadTraceSTM m
56
-> m ()
57
traceTVarIO StrictTVar {tvar} = Lazy.traceTVarIO tvar
58
59
+-- | Cast the monad if both use the same representation of `TVar`s.
60
+--
61
+-- This function is useful for monad transformers stacks if the `TVar` is used
62
+-- in different monad stacks.
63
64
castStrictTVar :: LazyTVar m ~ LazyTVar n
65
=> StrictTVar m a -> StrictTVar n a
66
castStrictTVar StrictTVar {tvar} = StrictTVar {tvar}
0 commit comments