curry-base: Functions for manipulating Curry programs

[ bsd3, language, library ] [ Propose Tags ]

This package serves as a foundation for Curry compilers. It defines the intermediate language formats FlatCurry and ExtendedFlat. Additionally, it provides functionality for the smooth integration of compiler frontends and backends.

Versions 0.2.2, 0.2.3, 0.2.4, 0.2.5, 0.2.6, 0.2.7, 0.2.8, 0.2.9, 1.0.0
Dependencies base (>=3 && <5), containers, directory, filepath, mtl, old-time, pretty, syb [details]
License LicenseRef-OtherLicense
Author Wolfgang Lux, Martin Engelke, Bernd Brassel, Holger Siegel, Björn Peemöller
Maintainer Björn Peemöller <bjp@informatik.uni-kiel.de>
Category Language
Home page http://www.curry-language.org
Bug tracker http://www-ps.informatik.uni-kiel.de/redmine/projects/curry-base
Uploaded by BjoernPeemoeller at Mon Jul 2 10:38:24 UTC 2012
Distributions NixOS:1.0.0
Downloads 3237 total (33 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-11-11 [all 10 reports]
Hackage Matrix CI

Modules

  • Curry
    • Curry.AbstractCurry
    • Base
      • Curry.Base.Ident
      • Curry.Base.MessageMonad
      • Curry.Base.Position
    • ExtendedFlat
      • Curry.ExtendedFlat.CurryArithmetics
      • Curry.ExtendedFlat.EraseTypes
      • Curry.ExtendedFlat.Goodies
      • Curry.ExtendedFlat.LiftLetrec
      • Curry.ExtendedFlat.MonadicGoodies
      • Curry.ExtendedFlat.Type
      • Curry.ExtendedFlat.TypeInference
      • Curry.ExtendedFlat.UnMutual
    • Files
      • Curry.Files.Filenames
      • Curry.Files.PathUtils
    • FlatCurry
      • Curry.FlatCurry.Goodies
      • Curry.FlatCurry.Tools
      • Curry.FlatCurry.Type

Flags

NameDescriptionDefaultType
split-syb

Has the syb functionality been split into the package syb?

EnabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees