@@ -163,6 +163,12 @@ effect’s definition is given below.
163 Typically we would also like to support random access files and
163 Typically we would also like to support random access files and
164 better reporting of error conditions.
164 better reporting of error conditions.
166+ Moreover, the ``FILE`` effect in the ``Effect.File`` module of
167+ the ``effects`` library uses slightly more complicated types to
168+ support erroneous behaviour of each function and to support more
169+ compilcated modes of opening, like for reading **and** writing,
170+ appending or truncating.
166.. code-block:: idris
172.. code-block:: idris
168 module Effect.File
174 module Effect.File