combinators / shapeless-feat

Shapeless Generic Functional Enumeration of Algebraic Data Types for Scala

GitHub

shapeless-feat

Maven Central build status Coverage Status Join the chat at https://gitter.im/combinators/cls-scala

Shapeless Generic Functional Enumeration of Algebraic Data Types for Scala

This project brings testing-feat from Haskell over to Scala. The generics approach used in feat fits well with shapeless, hence the name and out of the box support for generic programming.

You may find detailed information about feat in the paper by Duregård et al.:

Duregård, Jonas, Patrik Jansson, and Meng Wang. "Feat: functional enumeration of algebraic types." ACM SIGPLAN Notices 47.12 (2013): 61-72. Online here and here.

Installation

The current release is available at maven central, just add

libraryDependencies += "org.combinators" %% "shapeless-feat" % "VERSIONNUMBER"

Currently, Scala 2.11 and 2.12 are supported in the released version.

Examples

Can be found in the examples project and the tests.

Help and Contributions

Try the Gitter channel of cls-scala.

Contributers

  • Jan Bessai

Your name here

Just the usual: open pull requests and or issues. Feel free to add yourself to the list in this file, if you contribute something.