| CARVIEW |
Select Language
HTTP/1.1 200 OK
Connection: keep-alive
Server: nginx/1.24.0 (Ubuntu)
Content-Type: text/html; charset=utf-8
Cache-Control: public, max-age=300
Content-Encoding: gzip
Via: 1.1 varnish, 1.1 varnish
Accept-Ranges: bytes
Age: 0
Date: Fri, 16 Jan 2026 23:44:26 GMT
X-Served-By: cache-dfw-kdal2120101-DFW, cache-bom-vanm7210055-BOM
X-Cache: MISS, MISS
X-Cache-Hits: 0, 0
X-Timer: S1768607065.431170,VS0,VE765
Vary: Accept, Accept-Encoding
transfer-encoding: chunked
syntax-example: Example application using syntax, a library for abstract syntax descriptions.
syntax-example: Example application using syntax, a library for abstract syntax descriptions.
Example application using syntax, a library for abstract syntax descriptions.
The code:
Example input:
(\f->
(\x
-> f ((x) x)) (\x
-> f (x x)
)
(\x -> "test")
(\y -> y +2.0e13))Example output:
Abs "f" (App (App (App (Abs "x" (App (Var "f") (App (Var "x") (Var "x")))) (Abs "x" (App (Var "f") (App (Var "x") (Var "x"))))) (Abs "x" (Lit (LitStr "test")))) (Abs "y" (App (Var "y") (Lit (LitNum 2.0e13))))) \f -> (\x -> f (x x)) (\x -> f (x x)) (\x -> "test") (\y -> y 2.0e13)
Downloads
- syntax-example-1.0.0.0.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.1.0.0, 0.2.0.0, 0.3.0.0, 0.4.0.0, 1.0.0.0 |
|---|---|
| Dependencies | attoparsec, base (>=4 && <5), lens, scientific (>=0.3), semi-iso (>=1), syntax (>=1), syntax-attoparsec (>=1), syntax-printer (>=1), text [details] |
| License | MIT |
| Copyright | Paweł Nowak 2014 |
| Author | Paweł Nowak |
| Maintainer | Paweł Nowak <pawel834@gmail.com> |
| Uploaded | by pawel834 at 2014-12-12T23:33:19Z |
| Category | Data |
| Source repo | head: git clone git@github.com:Pawel834/syntax-example.git |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | syntax-example |
| Downloads | 3496 total (13 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating |
|
| Status | Docs not available [build log] Last success reported on 2014-12-21 [all 8 reports] |