Package

sigmastate.lang

syntax

Permalink

package syntax

Visibility
  1. Public
  2. All

Type Members

  1. trait Core extends Literals

    Permalink

  2. trait Exprs extends Core with Types

    Permalink

  3. trait Literals extends AnyRef

    Permalink

  4. class ParserException extends SigmaException

    Permalink

Value Members

  1. object Basic

    Permalink

  2. object Identifiers

    Permalink

  3. object Key

    Permalink

    Most keywords don't just require the correct characters to match, they have to ensure that subsequent characters *don't* match in order for it to be a keyword.

    Most keywords don't just require the correct characters to match, they have to ensure that subsequent characters *don't* match in order for it to be a keyword. This enforces that rule for key-words (W) and key-operators (O) which have different non-match criteria.

Ungrouped