The first-class-patterns package

[ Tags: bsd3, data, library ] [ Propose Tags ]

This package implements a library of first class patterns. The initial basis for this library was Morten Rhiger's "Type-safe pattern combinators"; the patterns can be used in an almost identical way to those of Morten Rhiger. In a series of blog posts at http://reinerp.wordpress.com/category/pattern-combinators/ the types of patterns were made more revealing using type families, and a simpler implementation was used which avoids some book-keeping.

The library reimplements most of Haskell's built-in pattern matching facilities, plus some more. The pattern matches of this library are lightweight: when GHC's optimisation is turned on, all overhead should be optimised away, leaving a standard Haskell pattern match.

If you're just reading the documentation for this library for the first time, start with Data.Pattern.

Properties

Versions 0.1.0, 0.2.0, 0.3.0, 0.3.1, 0.3.2, 0.3.2.1, 0.3.2.2, 0.3.2.3
Dependencies base (>=4.5 && <5), transformers (>=0.1.0 && <0.4) [details]
License BSD3
Author Reiner Pope, Brent Yorgey
Maintainer Brent Yorgey <byorgey@cis.upenn.edu>
Category Data
Home page https://github.com/reinerp/first-class-patterns
Bug tracker https://github.com/reinerp/first-class-patterns/issues
Source repository head: git clone git://github.com/reinerp/first-class-patterns.git
Uploaded Tue Jul 30 17:29:22 UTC 2013 by BrentYorgey
Distributions NixOS:0.3.2.3
Downloads 1629 total (16 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

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees