diff options
| author | Matej Kosik | 2016-02-17 10:32:40 +0100 |
|---|---|---|
| committer | Matej Kosik | 2016-02-17 11:13:04 +0100 |
| commit | 06fa0334047a9400d0b5a144601fca35746a53b8 (patch) | |
| tree | c3afdf28353d5ea096b1c6e3aece87ed17015b1c /lib/util.ml | |
| parent | 9a7afc12e0573c74d0bb0943372dddc3c61a03f1 (diff) | |
CLEANUP: Renaming "Util.compose" function to "%"
I propose to change the name of the "Util.compose" function to "%".
Reasons:
1. If one wants to express function composition,
then the new name enables us to achieve this goal easier.
2. In "Batteries Included" they had made the same choice.
Diffstat (limited to 'lib/util.ml')
| -rw-r--r-- | lib/util.ml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/lib/util.ml b/lib/util.ml index b67539918d..0f79c10df1 100644 --- a/lib/util.ml +++ b/lib/util.ml @@ -87,7 +87,13 @@ let matrix_transpose mat = let identity x = x -let compose f g x = f (g x) +(** Function composition: the mathematical [∘] operator. + + So [g % f] is a synonym for [fun x -> g (f x)]. + + Also because [%] is right-associative, [h % g % f] means [fun x -> h (g (f x))]. + *) +let (%) f g x = f (g x) let const x _ = x |