Parser combinators for record types.
This module provides functional combinators for parsing records comprising lists of indexed fields, where an index is a value of totally ordered type, and the associated value has a type that depends on the value of the index.
Theory of Operation: Define a Basis that provides the scanners for field indexes and separators. Use that to Create() a profile of the record scanner in the syntax of each interchange language. Its users may then define a schema for each application record to scan, and use them to define scanners that first produce a pack by scanning according to the schema, then unpack the scanned records from the pack into application data structures.
Define a module of this signature according to the syntax of record types for a given structural interchange language.
module type Basis = sig ... endThe basis signature of a record scanning module.
module type Profile = sig ... endThe signature of a record scanning module.