UMinho Haskell Libraries (2006.06.14)ContentsIndex
UMinho Haskell Libraries (2006.06.14)

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
show/hideData
show/hideData.Relation
Data.Relation.Closures
Data.Relation.ClosuresQuickCheck
Data.Relation.Folds
Data.Relation.FunctionalDependencies
Data.Relation.FunctionalDependenciesHUnit
Data.Relation.GraphViz
Data.Relation.MapFromPairs
Data.Relation.MapFromPairsHUnit
Data.Relation.MapFromPairsQuickCheck
Data.Relation.Read
Data.Relation.SetOfPairs
Data.Relation.SetOfPairsHUnit
Data.Relation.SetOfPairsQuickCheck
Data.Relation.Taxonomy
Data.Relation.Write
Produced by Haddock version 0.7