Unary.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 Unary
#
# -----------------------------------------------------------------------

# Unary -- function that takes exactly one argument and returns a result
#
# T is the result type of the function, U is the argument type of the function
#
# For unary functions, function composition is possible if the result type of
# the first function matches the argument type of the second function.
#
public Unary(T, U type) ref : Function T U is


  # function composition
  #
  public compose(V type, other Unary U V) Unary T V is
    v -> Unary.this.call (other v)


  # function composition (Unicode alias)
  #
  public infix ∘ (V type, other Unary U V) Unary T V is
    compose V other