imparse-0.0.0.3: Multi-platform parser analyzer and generator.

Safe HaskellNone

Text.Imparse.Analysis

Description

Imparse Cross-platform and -language parser generator.

Text/Imparse/Analysis.hs

Analyzer/validator for Imparse parsers.

Synopsis

Documentation

type InitialNonTerminals = [NonTerminal]Source

Analysis data structure, instance declarations, accessors, and mutators.

mapCmb :: (a -> (a, Characterization)) -> [a] -> ([a], Characterization)Source

baseline :: Parser Analysis -> Parser AnalysisSource

Baseline analysis (initial non-/terminals and reachable non-terminals) and its closure (fully recursive characterization of initial and reachable non-/terminals).

tagging :: Parser Analysis -> Parser AnalysisSource

Property derivation and tagging algorithms.

infixPrefixOps :: Parser Analysis -> [String]Source

Other useful functions.