Welcome to Fmlib’s design documentation!

This document describes the design and implementation of some datastructures and algorithms of Fmlib. It does not describe the API from a user’s perspective. Find the documentation of the API from a user’s perspective here

Contents:

• 1. Data Structures
  • 1.1. Array
    • 1.1.1. Binary Search
  • 1.2. Radix Balanced Array
    • 1.2.1. Basic Idea
    • 1.2.2. Data Structure
    • 1.2.3. Invariant
    • 1.2.4. Element Retrieval
    • 1.2.5. Element Replacement
    • 1.2.6. Element Insertion at the Rear End
    • 1.2.7. Element Deletion at the Rear End
  • 1.3. B Tree
    • 1.3.1. General
    • 1.3.2. Search
    • 1.3.3. Insertion
    • 1.3.4. Deletion
• 2. Combinator Parsing
  • 2.1. Layout Parsing
    • 2.1.1. Parsing Expression Grammar
    • 2.1.2. Formal Semantics
    • 2.1.3. Implementation

[AAugacan14]

Michael D. Adams and Ömer S. Ağacan. Indentation-sensitive parsing for Parsec. In Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, Haskell '14, 121–132. New York, NY, USA, September 2014. ACM. URL: https://michaeldadams.org/papers/layout_parsing_2/LayoutParsing2-2014-haskell-authors-copy.pdf, doi:10.1145/2633357.2633369.