Skip to content

Commit

Permalink
Merge pull request #415 from radrow/patch-4
Browse files Browse the repository at this point in the history
Minor formatting in stdlib doc
  • Loading branch information
hanssv authored Sep 9, 2019
2 parents 5909b22 + da31020 commit c211242
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions contracts/sophia_stdlib.md
Original file line number Diff line number Diff line change
Expand Up @@ -75,7 +75,8 @@ Returns length of a list.
Creates an ascending sequence of all integer numbers between `a` and `b` (including `a` and `b`).


### from_to_step(a : int, b : int, step : int) : list(int)`
### from_to_step
`from_to_step(a : int, b : int, step : int) : list(int)`

Creates an ascending sequence of integer numbers betweeen `a` and `b` jumping by given `step`. Includes `a` and takes `b` only if `(b - a) mod step == 0`. `step` should be bigger than 0.

Expand Down Expand Up @@ -612,7 +613,7 @@ Applies function over third element.


### trimap
trimap( f : 'a => 'x, h : 'c => 'z, t : ('a * 'b * 'c)) : ('x * 'y * 'z)
`trimap(f : 'a => 'x, g : 'b => 'y, h : 'c => 'z, t : ('a * 'b * 'c)) : ('x * 'y * 'z)

Applies functions over respective elements.

Expand Down

0 comments on commit c211242

Please sign in to comment.