Language Reference

• General Information
  • DaeDaLus Input Format
  • Modules and Imports
• Declarations
• Parsers
  • Primitive Parsers
  • Sequencing Parsers
    • Basic Sequencing
    • Explicit Result
    • Local Variables
    • Structure Sequence
    • Syntactic Sugar
    • Suppressing Results (@)
  • 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
    • Arithmetic Exceptions
    • Bitwise Operations
    • Floating-Point Operations
    • Coercions Involving Floating-Point Types
  • maybe type
  • Arrays
    • Numeric Ranges
  • Array Builders
  • Association Maps
  • Streams
• Stream Manipulation
• Character Classes
• External Declarations
  • External Primitives
  • External Module Imports
• Bitdata
• Implicit Lifting
• Implicit Parameters
• Standard Library
  • Multi-Byte Integer Parsers
  • Floating-Point Parsers
  • Utility Combinators
  • Numeric Utilities
  • Stream Manipulation
  • Testing Combinators