fluidB
/
fluidb
1
0
Fork 0
Code Pull Requests Activity

update docs to reflect syntax change

Browse Source
main
Ziyang Hu 2 years ago
parent e59a69b38a
commit 00a9f22e0d
5 changed files with 2012 additions and 2020 deletions
Show Stats Download Patch File Download Diff File

8
docs/source/functions.rst
Unescape Escape View File

@ -17,10 +17,6 @@ Equality and Comparisons
Equality comparison. The operator form is ``x == y`` or ``x = y``. The two arguments of the equality can be of different types, in which case the result is ``false``.
.. NOTE::
The unify operation ``var <- 1`` is equivalent to ``var == 1`` if ``var`` is bound.
.. function:: neq(x, y)
Inequality comparison. The operator form is ``x != y``. The two arguments of the equality can be of different types, in which case the result is ``true``.
@ -343,10 +339,6 @@ List functions
Returns the slice of list between the index ``start`` (inclusive) and ``end`` (exclusive). Negative numbers may be used, which is interpreted as counting from the end of the list. E.g. ``slice([1, 2, 3, 4], 1, 3) == [2, 3]``, ``slice([1, 2, 3, 4], 1, -1) == [2, 3]``.
.. TIP::
The spread-unify operator ``var <- ..[1, 2, 3]`` is equivalent to ``is_in(var, [1, 2, 3])`` if ``var`` is bound.
.. function:: concat(x, ...)
Concatenates lists. The binary case is equivalent to `x ++ y`.

908
tutorial/1-acrobatics.ipynb
View File

File diff suppressed because it is too large Load Diff

1670
tutorial/2-pilgrim.ipynb
View File

File diff suppressed because it is too large Load Diff

1402
tutorial/3-distillation.ipynb
View File

File diff suppressed because it is too large Load Diff

44
tutorial/4-harmony.ipynb
Unescape Escape View File

@ -40,47 +40,47 @@
"data": {
"text/html": [
"<style type=\"text/css\">\n",
"#T_da9d9_row0_col0, #T_da9d9_row1_col0, #T_da9d9_row2_col0, #T_da9d9_row3_col0 {\n",
"#T_5021a_row0_col0, #T_5021a_row1_col0, #T_5021a_row2_col0, #T_5021a_row3_col0 {\n",
" color: #307fc1;\n",
"}\n",
"#T_da9d9_row0_col1, #T_da9d9_row1_col1, #T_da9d9_row2_col1, #T_da9d9_row3_col1 {\n",
"#T_5021a_row0_col1, #T_5021a_row1_col1, #T_5021a_row2_col1, #T_5021a_row3_col1 {\n",
" color: black;\n",
"}\n",
"</style>\n",
"<table id=\"T_da9d9\">\n",
"<table id=\"T_5021a\">\n",
" <thead>\n",
" <tr>\n",
" <th class=\"blank level0\" >&nbsp;</th>\n",
" <th id=\"T_da9d9_level0_col0\" class=\"col_heading level0 col0\" >attr_id</th>\n",
" <th id=\"T_da9d9_level0_col1\" class=\"col_heading level0 col1\" >op</th>\n",
" <th id=\"T_5021a_level0_col0\" class=\"col_heading level0 col0\" >attr_id</th>\n",
" <th id=\"T_5021a_level0_col1\" class=\"col_heading level0 col1\" >op</th>\n",
" </tr>\n",
" </thead>\n",
" <tbody>\n",
" <tr>\n",
" <th id=\"T_da9d9_level0_row0\" class=\"row_heading level0 row0\" >0</th>\n",
" <td id=\"T_da9d9_row0_col0\" class=\"data row0 col0\" >10000030</td>\n",
" <td id=\"T_da9d9_row0_col1\" class=\"data row0 col1\" >assert</td>\n",
" <th id=\"T_5021a_level0_row0\" class=\"row_heading level0 row0\" >0</th>\n",
" <td id=\"T_5021a_row0_col0\" class=\"data row0 col0\" >10000030</td>\n",
" <td id=\"T_5021a_row0_col1\" class=\"data row0 col1\" >assert</td>\n",
" </tr>\n",
" <tr>\n",
" <th id=\"T_da9d9_level0_row1\" class=\"row_heading level0 row1\" >1</th>\n",
" <td id=\"T_da9d9_row1_col0\" class=\"data row1 col0\" >10000031</td>\n",
" <td id=\"T_da9d9_row1_col1\" class=\"data row1 col1\" >assert</td>\n",
" <th id=\"T_5021a_level0_row1\" class=\"row_heading level0 row1\" >1</th>\n",
" <td id=\"T_5021a_row1_col0\" class=\"data row1 col0\" >10000031</td>\n",
" <td id=\"T_5021a_row1_col1\" class=\"data row1 col1\" >assert</td>\n",
" </tr>\n",
" <tr>\n",
" <th id=\"T_da9d9_level0_row2\" class=\"row_heading level0 row2\" >2</th>\n",
" <td id=\"T_da9d9_row2_col0\" class=\"data row2 col0\" >10000032</td>\n",
" <td id=\"T_da9d9_row2_col1\" class=\"data row2 col1\" >assert</td>\n",
" <th id=\"T_5021a_level0_row2\" class=\"row_heading level0 row2\" >2</th>\n",
" <td id=\"T_5021a_row2_col0\" class=\"data row2 col0\" >10000032</td>\n",
" <td id=\"T_5021a_row2_col1\" class=\"data row2 col1\" >assert</td>\n",
" </tr>\n",
" <tr>\n",
" <th id=\"T_da9d9_level0_row3\" class=\"row_heading level0 row3\" >3</th>\n",
" <td id=\"T_da9d9_row3_col0\" class=\"data row3 col0\" >10000033</td>\n",
" <td id=\"T_da9d9_row3_col1\" class=\"data row3 col1\" >assert</td>\n",
" <th id=\"T_5021a_level0_row3\" class=\"row_heading level0 row3\" >3</th>\n",
" <td id=\"T_5021a_row3_col0\" class=\"data row3 col0\" >10000033</td>\n",
" <td id=\"T_5021a_row3_col1\" class=\"data row3 col1\" >assert</td>\n",
" </tr>\n",
" </tbody>\n",
"</table>\n"
],
"text/plain": [
"<pandas.io.formats.style.Styler at 0x11a036740>"
"<pandas.io.formats.style.Styler at 0x1171c8580>"
]
},
"execution_count": 2,
@ -169,12 +169,12 @@
"text/html": [
"<style type=\"text/css\">\n",
"</style>\n",
"<table id=\"T_67120\">\n",
"<table id=\"T_e96b0\">\n",
" <thead>\n",
" <tr>\n",
" <th class=\"blank level0\" >&nbsp;</th>\n",
" <th id=\"T_67120_level0_col0\" class=\"col_heading level0 col0\" >r</th>\n",
" <th id=\"T_67120_level0_col1\" class=\"col_heading level0 col1\" >dist</th>\n",
" <th id=\"T_e96b0_level0_col0\" class=\"col_heading level0 col0\" >r</th>\n",
" <th id=\"T_e96b0_level0_col1\" class=\"col_heading level0 col1\" >dist</th>\n",
" </tr>\n",
" </thead>\n",
" <tbody>\n",
@ -182,7 +182,7 @@
"</table>\n"
],
"text/plain": [
"<pandas.io.formats.style.Styler at 0x107af2f20>"
"<pandas.io.formats.style.Styler at 0x1057ce7a0>"
]
},
"execution_count": 4,

Write Preview
Loading…
Cancel
Save