The unbound package

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain]

Warnings:

Specify the binding structure of your data type with an expressive set of type combinators, and Unbound handles the rest! Automatically derives alpha-equivalence, free variable calculation, capture-avoiding substitution, and more. See Unbound.LocallyNameless to get started.


[Skip to ReadMe]

Properties

Versions0.2, 0.2.1, 0.2.2, 0.2.3, 0.2.4, 0.2.5, 0.3, 0.3.1, 0.4, 0.4.0.1, 0.4.0.2, 0.4.1, 0.4.1.1, 0.4.2, 0.4.3, 0.4.3.1, 0.4.4, 0.5.0, 0.5.0, 0.5.1
Change logCHANGES
Dependenciesbase (>=4.3 && <5), binary (>=0.7 && <0.9), containers (>=0.3 && <0.6), mtl (>=2.0 && <2.3), RepLib (>=0.5.3 && <0.6), transformers (>=0.2.2.0 && <0.6) [details]
LicenseBSD3
AuthorStephanie Weirich, Brent Yorgey
MaintainerStephanie Weirich <sweirich@cis.upenn.edu>
CategoryLanguage, Generics, Compilers/Interpreters
Home pagehttps://github.com/sweirich/replib
Source repositoryhead: git clone https://github.com/sweirich/replib
UploadedTue Aug 23 13:32:47 UTC 2016 by sweirich

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees


Readme for unbound-0.5.0

[back to package description]
-----------------------------------------------------------------------------
-- 
-- Copyright   :  (c) 2010-2015, Unbound team (see LICENSE)
-- License     :  BSD3
-- 
-- Maintainer  :  sweirich@cis.upenn.edu, byorgey@cis.upenn.edu
-- Stability   :  experimental
-- Portability :  non-portable
--
-----------------------------------------------------------------------------

Specify the binding structure of your data type with an expressive set
of type combinators, and Unbound handles the rest!  Automatically
derives alpha-equivalence, free variable calculation, capture-avoiding
substitution, and more.

To install:

  cabal install unbound

To get started using the library, see the tutorial in the tutorial/
directory and the extensive Haddock documentation (start with the
Unbound.LocallyNameless module).