Shapeless Generic Functional Enumeration of Algebraic Data Types for Scala
Switch branches/tags
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
examples/src/main/scala
project
src
travis
.gitignore
.travis.yml
CHANGELOG.md
LICENSE
README.md
build.sbt

README.md

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.