lexer

pyret-lexer

Lexer for an implementation of the Pyret programming language.

TODO

• Language Constructs
  • Primitives and Literals
    • Names
    • String Literals
    • Number Literals
    • Boolean Literals
  • Comments
  • Programs
  • Import Statements
  • Provide Statements
  • Bindings
    • Name bindings
    • Annotated bindings
    • Shadowing
    • Tuple bindings
  • Blocks
    • Block Shorthand
  • Declarations
    • Let Declarations
    • Recursive Let Declarations
    • Function Declaration Expressions
      • Scope
      • Where blocks
      • Syntactic sugar
    • Data Declarations
    • Variable Declarations
    • Type Declarations
    • Newtype Declarations
  • Contracts
  • Statements
    • When Statements
    • Assignment Statements
    • Binop Expression "Statements"
  • Expressions
    • Lambda Expressions
    • Curly-Brace Lambda Shorthand
    • Anonymous Method Expressions
    • Application Expressions
    • Curried Application Expressions
    • Chaining Application
    • Instantiation Expressions
    • Binary Operators
    • Tuple Expressions
    • Tuple Access Expressions
    • Object Expressions
    • Dot Expressions
    • Extend Expressions
    • If Expressions
    • Ask Expressions
    • Cases Expressions
    • For Expressions
    • Template (...) Expressions
    • Tables
      • Sorting Table Rows
      • Transforming Table Rows
      • Extracting Table Columns
      • Adding Table Columns
    • Table Loading Expressions
    • Reactor Expressions
    • Mutable fields
    • Construction expressions
    • Expression forms of bindings
  • Annotations
    • Name Annotations
    • Parametric Annotations
    • Arrow Annotations
    • Predicate Annotations
    • Tuple Annotations
    • Record Annotations
• Testing
  • check: and where: blocks
    • check: blocks
    • where: blocks
  • Testing Operators
    • Binary Test Operators
    • Unary Test Operators
    • Exception Test Operators
  • Reasons for tests: because clauses
    • Using because with other testing operators
• equality
  • Types of Equality
  • Equal Now
    • Equal Now and Primitives
    • Equal Now and Structured Data
    • Equal Now and References
  • Identical
    • Identical and Primitives
    • Identical and Structural Equality
    • Identical and Mutable Data
  • Always Equal
    • Always Equal and Mutable Data
  • Properties of Equality Functions
  • Bounded Equalities
  • Undefined Equalities
    • Roughnums and Equality
    • Functions and Equality
  • Total Equality Functions (Avoiding Incomparability Errors)
  • Datatype-defined Equality
  • Inequalities
• Combining Multiple Operators
• Modules
  • Quick Start
  • Finding Modules
  • Detailed Control of Names
  • import and Module Identifiers
  • Providing Fewer (and More) Names
    • Re-exporting values
  • Providing more than just values
    • Types
    • Modules
    • Data definitions
  • Including Fewer (and More) Names
  • Importing more than just values
  • Converting between shorthand and expanded syntax
• Contexts
• Brands
• Type Checking
  • Record Types
• Spies
• Global Utilities
  • Built-in Utility Functions
  • Built-in Types
  • Type Predicates
• Numbers
  • Number Annotations
  • Number Literals
  • Number Functions
  • Random Numbers
  • Other Number Functions
• Strings
  • String Functions
• Booleans
  • Boolean Functions
• RawArray
  • RawArray Functions
• Tables
  • Creating Tables
  • Loading Tables
  • Selecting Columns
  • Filtering Tables
  • Ordering Tables
  • Transforming Tables
  • Extracting Columns from Tables
  • Extending Tables
    • Mapping extensions
    • Reducers
  • Comparing Tables
  • Advanced Table Manipulation