First class patterns and pattern matching, using type families

Version on this page:
LTS Haskell 21.25:
Stackage Nightly 2023-06-21:
Latest on Hackage:

See all snapshots first-class-patterns appears in

BSD-3-Clause licensed by Reiner Pope, Brent Yorgey
Maintained by Kowainik
This version can be pinned in stack with:first-class-patterns-,2774
Depends on 2 packages(full list with versions):


Build status Hackage

Implements patterns in Haskell as first class objects.


  • Update maintainer information.
  • #1: Add stack support.
  • #3: Add Travis CI support. Build with GHC-8.2.2 and GHC-8.4.3. (9 May 2016)

  • Allow transformers-0.5 (28 May 2015)

  • Bug fix: #3 12 May, 2014

  • Allow transformers-0.4

0.3.2: 30 July, 2013

  • Updates to compile with GHC 7.6
  • fix examples
  • reinstate tup2 as a synonym for pair