Verified Commit 686c0e88 authored by Camil Staps's avatar Camil Staps
Browse files

Add documentation for the uniqueness annotation * (#180)

parent d24ca8e2
......@@ -45,6 +45,7 @@ builtin_syntax =
, bs_strict
, bs_synonym
, bs_synonym_abstract
, bs_unique
, bs_update_array
, bs_update_record
, bs_where_class
......@@ -490,6 +491,18 @@ bs_synonym_abstract =
, syntax_examples = [EX ":: Stack a (:== [a])"]
}
bs_unique =
{ syntax_title = "uniqueness annotation"
, syntax_patterns = ["\\*"]
, syntax_code = ["*..."]
, syntax_description = "Annotates a type to be unique."
, syntax_doc_locations = [CLR 11 "9.1" "_Toc311798093"]
, syntax_examples = map EX
[ "Start :: *World -> *World"
, "copyArray :: *(a e) -> *(*a e, *a e) | Array a e"
]
}
bs_update_array =
{ syntax_title = "array update"
, syntax_patterns = ["&", "{*&*[\\e]*=*}"]
......
Subproject commit c78656fbf34ffba15bd963912a844a937ebacc0b
Subproject commit c3c019b321b7f75e733216f1b4226e3cbd5f085f
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment