emptySetLexer top-level property

Parser<EmptySetParser> emptySetLexer
final

identifies emptySets

Implementation

final Parser<EmptySetParser> emptySetLexer =
    (char('{') & whitespace().optional() & char('}'))
        .flatten()
        .map((_) => EmptySetParser());