UMinho Haskell Libraries (2005.10.12)ContentsIndex
UMinho Haskell Libraries (2005.10.12)

The UMinho Haskell Libraries is an initiative of the LMF research group of the Informatics Department of the University of Minho. For more information, see http://wiki.di.uminho.pt.

Among other things, the library contains:

Data
Data structures and such.
  • Relation: representation of relations and graphs. Includes functionality such as slicing, connected components analysis, graph integration, and more.
  • Metrics: some support for representing and printing metrics.
Language
Language processing support. This includes the HaLex and HaGlr libraries for lexical and syntactic analysis, as well as support for various specific languages, such as:
  • SDF: syntax definition formalism.
  • Haskell: builds on the AST, parser, and pretty-printer in the standard libraries.
  • Java: object-oriented programming language.
  • Gnumeric: spreadsheet format in XML form.
Pointless
Support for point-free programming.
Camila
VDM-like constructs modeled in Haskell.

Various people have contributed to the libraries:

  • Joost Visser: infrastructure for building, distributing, testing, etc; Gnumeric, Java, Relation, Bag, TypeInference.
  • Joao Saraiva: HaLex and HaGlr
  • Alcino Cunha: Pointless.
  • Patrick Machado: Java
  • Cupertino Miranda: Gnumeric
  • Tiago Alves: Metrics, SDF.
  • Joao Ferreira: Camila
  • Alexandra Mendes: Camila.
  • Joao Fernandes: HaGlr.
Modules
Language
HaLex
Language.HaLex.Dfa
Language.HaLex.Dfa2MDfa
Language.HaLex.DfaMonad
Language.HaLex.Equivalence
Examples
Language.HaLex.Examples.Real
Language.HaLex.Examples.Robot
Language.HaLex.Fa2RegExp
Language.HaLex.FaAsDiGraph
Language.HaLex.FaClasses
Language.HaLex.FaOperations
Language.HaLex.Mini
Language.HaLex.Minimize
Language.HaLex.Ndfa
Language.HaLex.Parser
Language.HaLex.RegExp
Language.HaLex.RegExp2Fa
Language.HaLex.RegExpAsDiGraph
Language.HaLex.RegExpParser
Language.HaLex.Util
Produced by Haddock version 0.6