Commit cd1dc80a authored by John van Groningen's avatar John van Groningen

import module StdFunctions in module StdFunc

parent 596ecb71
definition module StdFunc definition module StdFunc
// **************************************************************************************** // ****************************************************************************************
// Concurrent Clean Standard Library Module Version 2.0 // Concurrent Clean Standard Library Module Version 3.0
// Copyright 1998 University of Nijmegen // Copyright 2018 Radboud University
// **************************************************************************************** // ****************************************************************************************
id :: !.a -> .a // identity function import StdFunctions
const :: !.a .b -> .a // constant function
//flip :: !.(.a -> .(.b -> .c)) .b .a -> .c // Flip arguments
flip f a b :== f b a
(o) infixr 9 // :: u:(.a -> .b) u:(.c -> .a) -> u:(.c -> .b) // Function composition
(o) f g :== \ x -> f (g x)
twice :: !(.a -> .a) .a -> .a // f (f x)
while :: !(a -> .Bool) (a -> a) a -> a // while (p x) f (f x)
until :: !(a -> .Bool) (a -> a) a -> a // f (f x) until (p x)
iter :: !Int (.a -> .a) .a -> .a // f (f..(f x)..)
// Some handy functions for transforming unique states: // Some handy functions for transforming unique states:
......
implementation module StdFunc implementation module StdFunc
// **************************************************************************************** // ****************************************************************************************
// Concurrent Clean Standard Library Module Version 2.0 // Concurrent Clean Standard Library Module Version 3.0
// Copyright 1995 University of Nijmegen // Copyright 2018 University of Nijmegen
// **************************************************************************************** // ****************************************************************************************
import StdClass, StdMisc, StdInt import StdClass, StdMisc, StdInt
id :: !.a -> .a import StdFunctions
id x = x
const :: !.a .b -> .a
const x y = x
//flip::!.(.a -> .(.b -> .c)) .b .a -> .c
flip f a b :== f b a
(o) infixr 9; // :: u:(.a -> .b) u:(.c -> .a) -> u:(.c -> .b)
(o) f g :== \ x -> f (g x)
twice :: !(.a -> .a) .a -> .a
twice f x = f (f x)
while :: !(a -> .Bool) (a -> a) a -> a
while p f x
| p x = while p f (f x)
= x
until::!(a -> .Bool) (a -> a) a -> a
until p f x
| p x = x
= until p f (f x)
iter :: !Int (.a -> .a) .a -> .a
iter 0 f x = x
iter n f x
| n > 0 = iter (n-1) f (f x)
= abort "Error: Negative index given to iter."
seq :: ![.(.s -> .s)] .s -> .s seq :: ![.(.s -> .s)] .s -> .s
seq [f:fs] arg = seq fs (f arg) seq [f:fs] arg = seq fs (f arg)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment