From c0d9759e601cf68c972d832a69b67b8ce107cf70 Mon Sep 17 00:00:00 2001 From: Hans Svensson Date: Wed, 7 Oct 2020 16:53:24 +0200 Subject: [PATCH] Whitespace fixes --- docs/sophia_stdlib.md | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/docs/sophia_stdlib.md b/docs/sophia_stdlib.md index ee87a37..7b82949 100644 --- a/docs/sophia_stdlib.md +++ b/docs/sophia_stdlib.md @@ -1223,7 +1223,7 @@ will yield `None`. #### choose ``` -Option.choose(o1 : option('a), o2 : option('a)) : option('a) +Option.choose(o1 : option('a), o2 : option('a)) : option('a) ``` Out of two `option`s choose the one that is `Some`, or `None` if both are `None`s. @@ -1451,7 +1451,7 @@ Func.curry2(f : ('a, 'b) => 'c) : 'a => ('b => 'c) Func.curry3(f : ('a, 'b, 'c) => 'd) : 'a => ('b => ('c => 'd)) ``` -Turns a function that takes n arguments into a curried function that takes +Turns a function that takes n arguments into a curried function that takes one argument and returns a function that waits for the rest in the same manner. For instance `curry2((a, b) => a + b)(1)(2) == 3`. @@ -1849,7 +1849,7 @@ This namespace provides operations on rational numbers. A rational number is rep as a fraction of two integers which are stored internally in the `frac` datatype. The datatype consists of three constructors `Neg/2`, `Zero/0` and `Pos/2` which determine the -sign of the number. Both values stored in `Neg` and `Pos` need to be strictly positive +sign of the number. Both values stored in `Neg` and `Pos` need to be strictly positive integers. However, when creating a `frac` you should never use the constructors explicitly. Instead of that, always use provided functions like `make_frac` or `from_int`. This helps keeping the internal representation well defined. @@ -1874,7 +1874,7 @@ You should use [lt](#lt), [geq](#geq), [eq](#eq) etc instead. datatype frac = Pos(int, int) | Zero | Neg(int, int) ``` -Internal representation of fractional numbers. First integer encodes the numerator and the second the denominator – +Internal representation of fractional numbers. First integer encodes the numerator and the second the denominator – both must be always positive, as the sign is being handled by the choice of the constructor. @@ -1998,14 +1998,14 @@ Rounds a fraction to the nearest greater or equal integer. #### round_to_zero `Frac.round_to_zero(f : frac) : int` -Rounds a fraction towards zero. +Rounds a fraction towards zero. Effectively `ceil` if lesser than zero and `floor` if greater. #### round_from_zero `Frac.round_from_zero(f : frac) : int` -Rounds a fraction from zero. +Rounds a fraction from zero. Effectively `ceil` if greater than zero and `floor` if lesser. @@ -2037,7 +2037,7 @@ Subtraction of two fractions. #### inv `Frac.inv(a : frac) : frac` -Inverts a fraction. Throws error if `a` is zero. +Inverts a fraction. Throws error if `a` is zero. #### mul