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(public T, U type) ref : Function T U is
# function composition
#
public compose(V type, other Unary U V) Unary T V =>
v -> Unary.this.call (other v)
# function composition (Unicode alias)
#
public infix ∘ (V type, other Unary U V) Unary T V =>
compose V other
last changed: 2024-03-07