emptySetLexer top-level property

Parser<EmptySetParser> emptySetLexer
final

identifies emptySets

Implementation

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