syntax-0.3.0.0: syntax.cabal

name:                syntax
version:             0.3.0.0
synopsis:            Syntax descriptions for unified parsing and pretty-printing.
description:
  'syntax' allows you to write a single syntax description and instantiate is both as a parser and a pretty printer.
  .
  The interface is based on a custom Functor\/Applicative\/Monad hierarchy, provided by the 'semi-iso' package. You fmap using
  a semi-isomorphism instead of function. A semi-isomorphism is a isomorphism that can fail in both directions, with slightly
  weakened laws. It is worth to note that @Iso@s and @Prism@s from 'lens' are valid semi-isomorphisms :)
  .
  Once you write a description you can, for example turn it into an Attoparsec parser, or into a 'Data.Syntax.Printer.Text.Printer'.
  .
  See @syntax-example@ and @syntax-example-json@ for examples, @syntax-attoparsec@ and @syntax-printer@ for a parser/printer implementation.
  .
  The library was inspired by:
  .
  * Rendel, Tillmann, and Klaus Ostermann. "Invertible syntax descriptions: unifying parsing and pretty printing." ACM Sigplan Notices. Vol. 45. No. 11. ACM, 2010.
  .
  TODO:
  .
  * Research relative monads and relative monad transformers. Indent is basically a Reader monad over a syntax. How would a State monad look?
  .
  * Try to implement Haskell layout rule.
  .
  * Combinators for binary data formats, vectors.
  .
  * Better error messages.
  .
  * Maybe an implementation of do notation for SemiIsoMonad with QuasiQuoters, like the codo notation for comonads.

license:             MIT
license-file:        LICENSE
author:              Paweł Nowak
maintainer:          Paweł Nowak <pawel834@gmail.com>
copyright:           Paweł Nowak 2014
category:            Data
build-type:          Simple
cabal-version:       >=1.10

source-repository head
  type:     git
  location: git@github.com:Pawel834/syntax.git

library
  exposed-modules:     Data.Syntax
                       Data.Syntax.Char
                       Data.Syntax.Combinator
                       Data.Syntax.Indent
  build-depends:       base >= 4 && < 5, mono-traversable, lens >= 4, semi-iso >= 0.5.0, scientific >= 0.3, text
  default-language:    Haskell2010