The sexp package

[ Tags: gpl, language, library, parsing, program ] [ Propose Tags ]

See the file and the homepage for details.

[Skip to Readme]


Versions 0.5, 0.6, 0.7
Dependencies attoparsec, base (>=4.4 && <5), bytestring, cmdargs, containers, dlist, ghc-prim, mtl, sexp, vector [details]
License GPL-3
Author Alexandru Scvortov <>
Category Language, Parsing
Home page
Source repository head: git clone
Uploaded Tue Feb 26 14:57:52 UTC 2013 by AlexandruScvortov
Distributions NixOS:0.7
Executables sexp
Downloads 1110 total (11 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees

Readme for sexp-0.7

[back to package description]


S-Expression parsing/printing made fun and easy


sexp provides an S-expression data-type, and printers and parsers that work on all data-types that have Generic instances (so, everything you're ever likely to define yourself).

In order to encode/decode a custom data-type with sexp, 1) add a Generic instance for it, and 2) add an empty Sexpable instance for it. The default implementation of Sexpable's toSexp and fromSexp uses the Generic representation of the data-type to encode and decode it.

In order to print a Sexp, use printHum (for human-friendly output), or printMach (for human-unfriendly output). In order to parse a Sexp, use parse and friends.

See the documentation on Hackage for details.

% ghci
GHCi, version 7.6.2:  :? for help

λ > :set -XDeriveGeneric

λ > import Language.Sexp

λ > import GHC.Generics

λ > data MyType = Foo { unFoo :: Int, getBar :: Double } deriving ( Show, Generic )

λ > instance Sexpable MyType

λ > toSexp (Foo 23 42.0)
List [Atom "Foo",List [List [Atom "unFoo",Atom "23"],List [Atom "getBar",Atom "42.0"]]]

λ > printMach (toSexp (Foo 23 42.0))
"(Foo ((unFoo 23) (getBar \"42.0\")))"

λ > parseExn (printMach (toSexp (Foo 23 42.0)))
[List [Atom "Foo",List [List [Atom "unFoo",Atom "23"],List [Atom "getBar",Atom "42.0"]]]]

λ > fromSexp (head (parseExn (printMach (toSexp (Foo 23 42.0))))) :: Maybe MyType
Just (Foo {unFoo = 23, getBar = 42.0})


This package is on Hackage. To install it, run:

cabal update
cabal install sexp