File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -11,8 +11,8 @@ import Control.Monad.Eff (Eff, runPure)
11
11
-- | The `runST` function can be used to handle the `ST` effect.
12
12
foreign import data ST :: * -> !
13
13
14
- -- | The type `STRef s a` represents a mutable reference holding a value of
15
- -- | type `a`, which can be used with the `ST s ` effect.
14
+ -- | The type `STRef h a` represents a mutable reference holding a value of
15
+ -- | type `a`, which can be used with the `ST h ` effect.
16
16
foreign import data STRef :: * -> * -> *
17
17
18
18
-- | Create a new mutable reference.
@@ -44,7 +44,7 @@ foreign import writeSTRef
44
44
-- | Run an `ST` computation.
45
45
-- |
46
46
-- | Note: the type of `runST` uses a rank-2 type to constrain the phantom
47
- -- | type `s `, such that the computation must not leak any mutable references
47
+ -- | type `h `, such that the computation must not leak any mutable references
48
48
-- | to the surrounding computation.
49
49
-- |
50
50
-- | It may cause problems to apply this function using the `$` operator. The
You can’t perform that action at this time.
0 commit comments