@@ -6,6 +6,18 @@ The Effects Tutorial
7A tutorial on the `Effects` package in `Idris`.
7A tutorial on the `Effects` package in `Idris`.
9+.. topic:: Effects and the ``Control.ST`` module
11+ There is a new module in the ``contrib`` package, ``Control.ST``, which
12+ provides the resource tracking facilities of `Effects` but with
13+ better support for creating and deleting resources, and implementing
14+ resources in terms of other resources.
16+ Unless you have a particular reason to use `Effects` you are strongly
17+ recommended to use ``Control.ST`` instead. There is a tutorial available
18+ on this site for ``Control.ST`` with several examples
19+ (:ref:`st-tutorial-index`).
11 The documentation for Idris has been published under the Creative
23 The documentation for Idris has been published under the Creative