-USING: arrays assocs classes.algebra.private classes.tuple combinators
-command-line effects generic generic.math generic.single help.markup
-help.syntax io.pathnames kernel math parser sequences vocabs.loader
-vocabs.parser words words.alias words.constant words.symbol ;
+USING: arrays assocs classes.algebra.private classes.maybe
+classes.tuple combinators command-line effects generic
+generic.math generic.single help.markup help.syntax io.pathnames
+kernel math parser sequences vocabs.loader vocabs.parser words
+words.alias words.constant words.symbol ;
 IN: syntax
 
 ARTICLE: "parser-algorithm" "Parser algorithm"


ARTICLE: "syntax-hashtables" "Hashtable syntax"
{ $subsections POSTPONE: H{ }
"Hashtables are documented in " { $link "hashtables" } "." ;

ARTICLE: "syntax-hash-sets" "Hash set syntax"
{ $subsections POSTPONE: HS{ }
"Hashtables are documented in " { $link "hash-sets" } "." ;

ARTICLE: "syntax-tuples" "Tuple syntax"
{ $subsections POSTPONE: T{ }

{ $values { "elements" "a list of classoids" } }
{ $description "Marks the beginning of a literal " { $link anonymous-intersection } " class." } ;

HELP: maybe{
{ $syntax "maybe{ elements... }" }
{ $values { "elements" "a list of classoids" } }
{ $description "Marks the beginning of a literal " { $link maybe } " class." } ;

HELP: not{
{ $syntax "not{ elements... }" }
{ $values { "elements" "a list of classoids" } }
{ $description "Marks the beginning of a literal " { $link anonymous-complement } " class." } ;

HELP: union{
{ $syntax "union{ elements... }" }
{ $values { "elements" "a list of classoids" } }
{ $description "Marks the beginning of a literal " { $link anonymous-union } " class." } ;

{ POSTPONE: intersection{ POSTPONE: union{ POSTPONE: not{ POSTPONE: maybe{ } related-words

HELP: H{
{ $syntax "H{ { key value }... }" }
{ $values { "key" object } { "value" object } }
