LambdaPrettyQuote: Quasiquoter, and Arbitrary helpers for the lambda calculus.
CHANGES -- 0.0.0.2 added "anti" expressions for the quasiquoter to capture variables from the environment. Also added a pattern quasiquoter.
Modules
- Language
- Lambda
- SimplyTyped
- Language.Lambda.SimplyTyped.Arbitrary
- Language.Lambda.SimplyTyped.Pretty
- Language.Lambda.SimplyTyped.TypeCheck
- Untyped
- Language.Lambda.Untyped.Arbitrary
- Language.Lambda.Untyped.Parser
- Language.Lambda.Untyped.Pretty
- Language.Lambda.Untyped.Quote
- SimplyTyped
- Lambda
Downloads
- LambdaPrettyQuote-0.0.0.7.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.0.0.1, 0.0.0.2, 0.0.0.6, 0.0.0.7, 0.0.0.8 |
---|---|
Dependencies | base (>=4.0 && <=6.0), DebugTraceHelpers (>=0.12), HUnit (>=1.2.4.2), lambda-ast (>=0.0.9), mtl (>=2.0.1.0), parsec (>=3.1.2), QuickCheck (>=2.4.1.1), syb (>=0.3.5), template-haskell (>=2.6.0.0), test-framework (>=0.4.1.1), test-framework-hunit (>=0.2.7), test-framework-quickcheck2 (>=0.2.10), transformers (>=0.2.2.0), tuple (>=0.2.0.1), uniplate (>=1.6.5) [details] |
License | BSD-3-Clause |
Author | Jonathan Fischoff |
Maintainer | jonathangfischoff@gmail.com |
Category | Language |
Home page | http://github.com/jfischoff/LambdaPrettyQuote |
Uploaded | by JonathanFischoff at 2012-02-24T06:28:52Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 4457 total (1 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-12-25 [all 8 reports] |