Language Reference

• General Information
  • DaeDaLus Input Format
• Declarations
• Parsers
  • Primitive Parsers
  • Sequencing Parsers
    • Basic Sequencing
    • Explicit Result
    • Local Variables
    • Structure Sequence
    • Syntactic Sugar
  • Parsing Alternatives
    • Biased Choice
    • Unbiased Choice
    • Alternative Syntax
    • Tagged Unions
  • Repetition
• Control Structures
  • If-then-else
  • Guards
    • Boolean Guards
    • Guards on maybe
    • Guards on Tagged Unions
  • Case
  • for loops
  • Traversing with map
  • many loops
  • Commit
• Type Annotations and Coercions
  • Annotating an Expression
  • Annotating the Result of a Declaration
  • Annotating a Parameter
  • Naming Unknown Types
  • Coercions
• Semantic Values
  • Booleans
  • Numeric Types
    • Numeric Literals
    • Comparisons
    • Basic Arithmetic
    • Bitwise Operations
  • maybe type
  • Arrays
  • Array Builders
  • Association Maps
  • Streams
• Stream Manipulation
• Character Classes
• External Declarations
• Bitdata
• Implicit Lifting
• Implicit Parameters