/* The function defined below a simple in nature, and of limited value in their own right. They can be used in other modules where it is necessary to pass min/max functions as arguments to other functions without the need to define auxiliary functions.
*/
-- The minimum of two values.
min[@a]: @a * @a +> @a
min(x,y) == if x < y then x else y; -- pre The type parameter admits an order relation.
-- The minimum of two values with respect to a relation.
minWith[@a]: (@a * @a +> bool) +> @a * @a +> @a
minWith(o)(x,y) == if o(x,y) then x else y; -- pre 'o' is a partial order relation.
-- The maximum of two values.
max[@a]: @a * @a +> @a
max(x,y) == if y < x then x else y; -- pre The type parameter admits an order relation.
-- The maximum of two values with respect to a relation.
maxWith[@a]: (@a * @a +> bool) +> @a * @a +> @a
maxWith(o)(x,y) == if o(y,x) then x else y; -- pre 'o' is a partial order relation.
end Ord
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
