Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-10-26 08:09:22 +03:00
Code Issues Projects Releases Wiki Activity

Update SYNTAX.md

Browse Source
This commit is contained in:
MaiaVictor 2021-10-17 16:39:35 -03:00
parent 74bb9b4b30
commit a6d244c668
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
SYNTAX.md
View File

@ -1022,6 +1022,8 @@ case foo { new: foo.x }
It can be used to get a field of a single-constructor datatype.
Check [this post](https://github.com/kind-lang/Kind/blob/master/blog/3-getters-and-setters.md) for more info.
Record setter
-------------
@ -1038,6 +1040,8 @@ case foo { new: Foo.new(100, foo.y) }
It can be used to set a field of a single-constructor datatype.
Check [this post](https://github.com/kind-lang/Kind/blob/master/blog/3-getters-and-setters.md) for more info.
List literal
------------
@ -1096,6 +1100,8 @@ List.get!(4, list)
This returns the element at index 4 as a `Maybe`.
Check [this post](https://github.com/kind-lang/Kind/blob/master/blog/3-getters-and-setters.md) for more info.
List setter
-----------
@ -1112,6 +1118,8 @@ List.set!(4, 100, list)
This sets the element at index 4 to `100`.
Check [this post](https://github.com/kind-lang/Kind/blob/master/blog/3-getters-and-setters.md) for more info.
Map literal
-----------
@ -1155,6 +1163,7 @@ Map.get!("foo", map)
This returns the element at key "foo" as a `Maybe`.
Check [this post](https://github.com/kind-lang/Kind/blob/master/blog/3-getters-and-setters.md) for more info.
Map setter
----------
@ -1171,6 +1180,8 @@ Map.set!("foo", 100, map)
This sets the element at key "foo" to `100`.
Check [this post](https://github.com/kind-lang/Kind/blob/master/blog/3-getters-and-setters.md) for more info.
Equal.apply
-----------