io/dir/use.fz

# This file is part of the Fuzion language implementation.
#
# The Fuzion language implementation is free software: you can redistribute it
# and/or modify it under the terms of the GNU General Public License as published
# by the Free Software Foundation, version 3 of the License.
#
# The Fuzion language implementation is distributed in the hope that it will be
# useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
# License for more details.
#
# You should have received a copy of the GNU General Public License along with The
# Fuzion language implementation.  If not, see <https://www.gnu.org/licenses/>.


# -----------------------------------------------------------------------
#
#  Tokiwa Software GmbH, Germany
#
#  Source code of Fuzion standard library feature io.dir.use
#
# -----------------------------------------------------------------------


# this opens a directory and installs the (open T) effect to be used
# in `code()`.
#
# usage example:
#
#     use some_type path ()->
#       match (open some_type).read
#         e error => e
#         s String => say s
#
public use(R type, path String, code ()-> outcome R) outcome R =>
  (fuzion.sys.fileio.open_dir path).bind R fd->
    # install effect `open T` and run `code`
    r := open fd path
       ! code
    # close file
    _ := fzE_close_dir fd
    # return result
    r