Simon Peyton Jones pushed to branch wip/T23162-spj at Glasgow Haskell Compiler / GHC
Commits:
-
8a996224
by Simon Peyton Jones at 2025-10-21T18:29:39+01:00
1 changed file:
Changes:
| ... | ... | @@ -28,4 +28,5 @@ pattern EndoOS :: (a->a) -> EndoOS a |
| 28 | 28 | pattern EndoOS f <- EndoOS' f
|
| 29 | 29 | where
|
| 30 | 30 | EndoOS f = EndoOS' (oneShot f)
|
| 31 | - -- ^^^^^^ The one-shot trick! |
|
| 31 | + -- oneShot: this is the core of the one-shot trick!
|
|
| 32 | + -- Note [The one-shot state monad trick] in GHC.Utils.Monad. |