package fmlib_parse

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

A parser which works with two components: A lexer which splits up the input into a sequence of tokens and parser which parses the tokens.

The parser needs two components, a lexer and a parser. The lexer works on streams of characters and produces tokens of type Position.range * Token.t. The parser consumes tokens of type Position.range * Token.t and produces the parsed constructs in case of success.

module type ANY = Fmlib_std.Interfaces.ANY

module Make
  (State : ANY)
  (Token : ANY)
  (Final : ANY)
  (Semantic : ANY)
  (Lex : 
    Interfaces.LEXER
      with type final = Position.range * Token.t
       and type token = char)
  (Parse : 
    Interfaces.FULL_PARSER
      with type state = State.t
       and type token = Position.range * Token.t
       and type expect = string * Indent.expectation option
       and type final = Final.t
       and type semantic = Semantic.t) : 
  sig ... end

Generate a parser with a lexer and a token parser.

module Make_utf8
  (State : ANY)
  (Token : ANY)
  (Final : ANY)
  (Semantic : ANY)
  (Lex : 
    Interfaces.LEXER
      with type final = Position.range * Token.t
       and type token = Utf8.Decoder.t)
  (Parse : 
    Interfaces.FULL_PARSER
      with type state = State.t
       and type token = Position.range * Token.t
       and type expect = string * Indent.expectation option
       and type final = Final.t
       and type semantic = Semantic.t) : 
  sig ... end

Generate a parser with a utf8 lexer and a token parser.