Tutorial

• Getting Started
  • Installation
  • The DaeDaLus Command-Line Interface
  • DaeDaLus Syntax Highlighting / Editing Modes
  • Downloading The Sample Specifications
  • Your First DaeDaLus Specification
    • The Portable PixMap Format
    • An Example PPM Image
    • A DaeDaLus PPM Specification
• Breaking down PPM: Declarations
  • Deducing Types From Names
  • Parameterized Declarations
• Breaking down PPM: Primitive Parsing
  • UInt8
  • $[...]
  • Match ...
  • END
  • ^ ...
  • Fail ...
• Breaking down PPM: Parser Combinators
  • Standard Sequencing
  • Array Sequencing
  • Structure Sequencing
  • De-Sugaring Nonstandard Structure Sequences
  • Parsing Alternates
    • Biased Choice Parsing
    • Unbiased Choice Parsing
    • Tagged Sum Types in DaeDaLus: Unions
  • Repeating Parsers
• Breaking down PPM: Expressions and Control Flow
  • Built-In Semantic Values
    • bool
    • Numerics
    • maybe ...
    • [T]
    • Builders for Arrays
    • [K -> T]
  • Control Structures
    • if ... then ... else
    • Guarding
    • case ... of ...
    • Loops
      • for ...
      • map ...
  • More on Types
    • Annotating Types
    • Unknown Types
    • Type Coercion
• Validation in Parsing
• Extended Exercise: The PNG Format
• The DaeDaLus Standard Library
  • Endianness
  • Floating-Point Numbers
  • Guarding and Consuming Everything
  • Manipulating Input Streams
• Extended Exercise: Defining Helpful Utilities
  • Domain-Specific Parser Names
  • Null-terminated Strings
  • Common Structures
• Extended Exercise: PNG Chunks
  • Introducing bitdata
  • PNG Chunk Types
  • PNG Chunk Data
    • PLTE
    • IDAT
    • tRNS
    • cHRM
    • gAMA
    • iCCP
    • sBIT
    • sRGB
    • tEXt
    • zTXt
    • iTXt
    • bKGD
    • hIST
    • pHYs
    • sPLT
    • tIME
    • Generic Chunk Data Parsing
  • PNG Chunks
  • Header / Trailer
  • Full PNG
  • Conclusion
• Extended Exercise: Full Solution