curry-base: Functions for manipulating Curry programs
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.
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
Automatic Flags
Name | Description | Default |
---|---|---|
split-syb | Has the syb functionality been split into the package syb? | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- curry-base-0.2.9.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 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, 1.1.0, 1.1.1 |
---|---|
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 2012-07-02T10:38:24Z |
Distributions | Debian:1.1.1 |
Reverse Dependencies | 2 direct, 3 indirect [details] |
Downloads | 9187 total (12 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2016-11-11 [all 10 reports] |