homepage: https://github.com/GaloisInc/s-cargot-letbind
changelog-type: markdown
hash: 3f9061efa87b68d19d27dc4958f1f2004cc18c05717fee9c7f5c5a417a50ff1f
test-bench-deps:
  s-cargot: ! '>=0.1.0.0'
  base: ! '>=4.7 && <5'
  text: ! '>=1.2 && <2'
  s-cargot-letbind: -any
  parsec: ! '>=3.1 && <4'
  HUnit: ! '>=1.6 && <1.7'
maintainer: kquick@galois.com
synopsis: Enables let-binding and let-expansion for s-cargot defined S-expressions.
changelog: ! "# Revision history for s-cargot-letbind\n\n## 0.1.0.0  -- 2018-02-14\n\n
  \  * Initial version.\n\n"
basic-deps:
  s-cargot: ! '>=0.1.0.0'
  base: ! '>=4.10 && <4.11'
  text: ! '>=1.2 && <2'
all-versions:
- '0.1.0.0'
author: Kevin Quick
latest: '0.1.0.0'
description-type: haddock
description: ! 'This module allows let bindings to be introduced into the S-Expression

  syntax.


  For example, instead of:


  >    (concat (if (enabled x) (+ (width x) (width y)) (width y))

  >            " meters")


  this can be re-written with let bindings:


  >    (let ((wy    (width y))

  >          (wboth (+ (width x) wy))

  >          (wide  (if (enabled x) wboth wy))

  >         )

  >      (concat wide " meters"))


  As S-expressions grow larger, let-binding can help readability for

  those expressions.  This module provides the ''discoverLetBindings''

  function that will convert an S-expression into one containing

  let-bound variables, and the inverse function ''letExpand'' which will

  expand let-bound variables back into the expression.'
license-name: ISC

Update from Hackage at 2018-02-15T06:15:46Z
Update from Hackage at 2018-02-15T06:15:46Z
