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

Another toplevel fix.

Browse Source
This commit is contained in:
Sander Spies 2020-04-03 10:01:35 +02:00
parent 13799b3181
commit d09205aebc
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -13,10 +13,10 @@ These functions are available without any needed prefix.
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
function is_nat: int -> option(nat) function is_nat: int -> option(nat)
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="cameligo">
val is_nat: int -> nat option val is_nat: int -> nat option
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="reasonligo">
let is_nat: int => option(nat) let is_nat: int => option(nat)
</SyntaxTitle> </SyntaxTitle>
@ -25,10 +25,10 @@ Convert an `int` to a `nat` if possible.
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
function abs: int -> nat function abs: int -> nat
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="cameligo">
val abs: int -> nat val abs: int -> nat
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="reasonligo">
let abs: int => nat let abs: int => nat
</SyntaxTitle> </SyntaxTitle>
@ -37,10 +37,10 @@ Cast an `int` to `nat`.
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
function int: nat -> int function int: nat -> int
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="cameligo">
val int: nat -> int val int: nat -> int
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="reasonligo">
let int: nat => int let int: nat => int
</SyntaxTitle> </SyntaxTitle>
@ -49,10 +49,10 @@ Cast an `nat` to `int`.
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="pascaligo">
const unit: unit const unit: unit
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="cameligo">
val unit: unit val unit: unit
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="pascaligo"> <SyntaxTitle syntax="reasonligo">
let (): unit let (): unit
</SyntaxTitle> </SyntaxTitle>
@ -62,10 +62,10 @@ A helper to create a unit.
function failwith : string -> unit function failwith : string -> unit
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="cameligo"> <SyntaxTitle syntax="cameligo">
function failwith : string -> unit val failwith : string -> unit
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="reasonligo"> <SyntaxTitle syntax="reasonligo">
function 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.
@ -77,10 +77,10 @@ Cause the contract to fail with an error message.
function assert : bool -> unit function assert : bool -> unit
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="cameligo"> <SyntaxTitle syntax="cameligo">
function assert : bool -> unit val assert : bool -> unit
</SyntaxTitle> </SyntaxTitle>
<SyntaxTitle syntax="reasonligo"> <SyntaxTitle syntax="reasonligo">
function 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.