The syntax-example package

[ Tags: data, mit, program ] [ Propose Tags ]

Example application using syntax, a library for abstract syntax descriptions.

The code:

Example input:

     -> 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)


Dependencies attoparsec, base (==4.*), 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 <>
Category Data
Source repo head: git clone
Uploaded Fri Dec 12 23:33:19 UTC 2014 by pawel834
Distributions NixOS:
Executables syntax-example
Downloads 1418 total (20 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2014-12-21 [all 8 reports]
Hackage Matrix CI


Maintainer's Corner

For package maintainers and hackage trustees