git.iko.soy/Idris-dev
on master help sign in
Adjust ST makeAndIncrement example type
4c95e68Andrew Bruce
docs/st/state.rst+1−1
compare with master
unifiedsplit
@@ -594,7 +594,7 @@ That is, ``increment`` begins and ends with ``x`` in state ``State Integer``.
594
594
595.. code-block:: idris
595.. code-block:: idris
596
596
597− makeAndIncrement : Int -> ST m Int []
597+ makeAndIncrement : Integer -> ST m Integer []
598
598
599That is, ``makeAndIncrement`` begins and ends with no resources.
599That is, ``makeAndIncrement`` begins and ends with no resources.
600
600