balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add ediv description

Browse Source
This commit is contained in:
Sander Spies 2020-04-07 19:27:23 +02:00
parent 96b3ecf248
commit e983ef4c94
1 changed files with 43 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
gitlab-pages/docs/reference/toplevel.md
View File

@ -65,7 +65,7 @@ function failwith : string -> unit
val failwith : string -> unit val failwith : string -> unit
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="reasonligo"> <SyntaxTitle syntax="reasonligo">
let failwith : string => unit let failwith: string => unit
</SyntaxTitle> </SyntaxTitle>
Cause the contract to fail with an error message. Cause the contract to fail with an error message.
@ -80,7 +80,48 @@ function assert : bool -> unit
val assert : bool -> unit val assert : bool -> unit
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="reasonligo"> <SyntaxTitle syntax="reasonligo">
let assert : bool => unit let assert: bool => unit
</SyntaxTitle> </SyntaxTitle>
Check if a certain condition has been met. If not the contract will fail. Check if a certain condition has been met. If not the contract will fail.
<SyntaxTitle syntax="pascaligo">
function ediv : int -> int -> option (int * nat)
</SyntaxTitle>
<SyntaxTitle syntax="pascaligo">
function ediv : mutez -> nat -> option (mutez * mutez)
</SyntaxTitle>
<SyntaxTitle syntax="pascaligo">
function ediv : mutez -> mutez -> option (mutez * nat)
</SyntaxTitle>
<SyntaxTitle syntax="pascaligo">
function ediv : nat -> nat -> option (nat * nat)
</SyntaxTitle>
<SyntaxTitle syntax="cameligo">
val ediv : int -> int -> (int * nat) option
</SyntaxTitle>
<SyntaxTitle syntax="cameligo">
val ediv : mutez -> nat -> (mutez * mutez) option
</SyntaxTitle>
<SyntaxTitle syntax="cameligo">
val ediv : mutez -> mutez -> (mutez * nat) option
</SyntaxTitle>
<SyntaxTitle syntax="cameligo">
val ediv : nat -> nat -> (nat * nat) option
</SyntaxTitle>
<SyntaxTitle syntax="reasonligo">
let ediv: (int, int) => option((int, nat))
</SyntaxTitle>
<SyntaxTitle syntax="reasonligo">
let ediv: (mutez, nat) => option((mutez, mutez))
</SyntaxTitle>
<SyntaxTitle syntax="reasonligo">
let ediv: (mutez, mutez) => option((mutez, nat))
</SyntaxTitle>
<SyntaxTitle syntax="reasonligo">
let ediv: (nat, nat) => option((nat, nat))
</SyntaxTitle>
Perform one operation to get both the quotient and remainder of a division.