From 3e46e226c03f609a10708eeff2e75be186eaef63 Mon Sep 17 00:00:00 2001
From: Sander Spies <sandermail@gmail.com>
Date: Wed, 1 Apr 2020 19:00:39 +0200
Subject: [PATCH] Add toplevel page for API reference.

---
 gitlab-pages/docs/reference/toplevel.md | 86 +++++++++++++++++++++++++
 gitlab-pages/website/sidebars.json      |  1 +
 2 files changed, 87 insertions(+)
 create mode 100644 gitlab-pages/docs/reference/toplevel.md

diff --git a/gitlab-pages/docs/reference/toplevel.md b/gitlab-pages/docs/reference/toplevel.md
new file mode 100644
index 000000000..c8b819a81
--- /dev/null
+++ b/gitlab-pages/docs/reference/toplevel.md
@@ -0,0 +1,86 @@
+---
+id: toplevel
+title: Toplevel
+description: Available functions at the top level
+hide_table_of_contents: true
+---
+
+import Syntax from '@theme/Syntax';
+import SyntaxTitle from '@theme/SyntaxTitle';
+
+These functions are available without any needed prefix.
+
+<SyntaxTitle syntax="pascaligo">
+function is_nat: int -> option(nat)
+</Syntax>
+<SyntaxTitle syntax="pascaligo">
+val is_nat: int -> nat option
+</Syntax>
+<SyntaxTitle syntax="pascaligo">
+let is_nat: int => option(nat)
+</Syntax>
+
+Convert an `int` to a `nat` if possible.
+
+<SyntaxTitle syntax="pascaligo">
+function abs: int -> nat
+</Syntax>
+<SyntaxTitle syntax="pascaligo">
+val abs: int -> nat
+</Syntax>
+<SyntaxTitle syntax="pascaligo">
+let abs: int => nat
+</Syntax>
+
+Cast an `int` to `nat`.
+
+<SyntaxTitle syntax="pascaligo">
+function int: nat -> int
+</Syntax>
+<SyntaxTitle syntax="pascaligo">
+val int: nat -> int
+</Syntax>
+<SyntaxTitle syntax="pascaligo">
+let int: nat => int
+</Syntax>
+
+Cast an `nat` to `int`.
+
+<SyntaxTitle syntax="pascaligo">
+const unit: unit
+</Syntax>
+<SyntaxTitle syntax="pascaligo">
+val unit: unit
+</Syntax>
+<SyntaxTitle syntax="pascaligo">
+let (): unit
+</Syntax>
+
+A helper to create a unit.
+
+<SyntaxTitle syntax="pascaligo">
+function failwith : string -> unit
+</SyntaxTitle>
+<SyntaxTitle syntax="cameligo">
+function failwith : string -> unit
+</SyntaxTitle>
+<SyntaxTitle syntax="reasonligo">
+function failwith : string -> unit
+</SyntaxTitle>
+
+Cause the contract to fail with an error message.
+
+> ⚠ Using this currently requires in general a type annotation on the
+> `failwith` call.
+
+<SyntaxTitle syntax="pascaligo">
+function assert : bool -> unit
+</SyntaxTitle>
+<SyntaxTitle syntax="cameligo">
+function assert : bool -> unit
+</SyntaxTitle>
+<SyntaxTitle syntax="reasonligo">
+function assert : bool -> unit
+</SyntaxTitle>
+
+Check if a certain condition has been met. If not the contract will fail.
diff --git a/gitlab-pages/website/sidebars.json b/gitlab-pages/website/sidebars.json
index 36cff21e1..fd1773701 100644
--- a/gitlab-pages/website/sidebars.json
+++ b/gitlab-pages/website/sidebars.json
@@ -26,6 +26,7 @@
       "api/cheat-sheet"
     ],
     "API":[
+      "reference/toplevel",
       "reference/big-map-reference",
       "reference/bitwise-reference",
       "reference/bytes-reference",