» Ubuntu » パッケージ » lucid (10.04LTS) » doc » frown-doc
lucid  ] [  precise  ] [  trusty  ] [  utopic  ] [  vivid  ]
[ ソース: frown  ]

パッケージ: frown-doc (0.6.1-9) [universe]

frown-doc に関するリンク


Ubuntu の資源:

frown ソースパッケージをダウンロード:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Arjan Oosting

It should generally not be necessary for users to contact the original maintainer.



Manual of the frown parser generator for Haskell 98

The manual and examples of the frown LALR(k) parser generator.

Frown is inspired by the parser generator Happy and uses a syntax quite simular as the syntax used by Happy. Happy only handles LALR(1) grammars while Frown can use more extensive LALR(k) grammars and the parsers generated by Frown are also faster than the parsers generated by Happy.

The salient features of Frown are:

  - The generated parsers are time and space efficient. On the
    downside, the parsers are quite large.
  - Frown generates four different types of parsers. As a common
    characteristic, the parsers are genuinely functional
    (ie 'table-free'); the states of the underlying LR automaton are
    encoded as mutually recursive functions. Three output formats use
    a typed stack representation, one format due to Ross Paterson
    (code=stackless) works even without a stack.
  - Encoding states as functions means that each state can be treated
    individually as opposed to a table driven-approach, which
    necessitates a uniform treatment of states. For instance,
    look-ahead is only used when necessary to resolve conflicts.
  - Frown comes with debugging and tracing facilities; the standard
    output format due to Doaitse Swierstra (code=standard) may be
    useful for teaching LR parsing.
  - Common grammatical patterns such as repetition of symbols can be
    captured using rule schemata. There are several predefined rule
  - Terminal symbols are arbitrary variable-free Haskell patterns or
    guards. Both terminal and nonterminal symbols may have an
    arbitrary number of synthesized attributes.
  - Frown comes with extensive documentation; several example grammars
    are included.

Furthermore, Frown supports the use of monadic lexers, monadic semantic actions, precedences and associativity, the generation of backtracking parsers, multiple start symbols, error reporting and a weak form of error correction.

その他の frown-doc 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances
  • sug: doc-base
    utilities to manage online documentation

frown-doc のダウンロード

アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 662.9 kB1,652.0 kB [ファイル一覧]
i386 662.9 kB1,652.0 kB [ファイル一覧]