io/Out.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 Out
#
#  Author: Fridtjof Siebert (siebert@tokiwa.software)
#
# -----------------------------------------------------------------------

# Out -- effect providing an output stream
#
public Out ref : print_effect is


  # default implementation of this effect that will get instated
  # automatically at startup
  #
  public redef fixed type.default_value option io.Out => io.default_out


  # implementation of io.Out that just
  # discards everything, writing nothing, nowhere.
  #
  # usage example:
  #
  #     io.Out.instate _ io.Out.blackhole ()->
  #        ... your code ...
  #
  public type.blackhole io.Out =>
    _ : io.Out is
      public redef write(b Sequence u8) outcome unit => unit
      public redef flush outcome unit => unit


# default implementation for io.Out
#
module default_out : io.Out is

  public redef write(b Sequence u8) outcome unit =>
    io.Out.replace default_out.this
    fuzion.sys.fileio.write fzE_file_stdout b.as_array

  public redef flush outcome unit =>
    io.Out.replace default_out.this
    fuzion.sys.fileio.flush fzE_file_stdout


# shorthand for accessing out effect in current environment
#
public out io.Out ! io.Out => io.Out.env