typeclassic

Everything you need to make type classes first class.

What is this?

This repository is intended to integrate (or merge) simulacrum, machinist, imp, export-hook, and possibly other projects.

The goal is to produce a library which is mostly compile-time only (but may have a very small runtime component) which enables us to define and use type classes in a concise, efficient, and idiomatic way.

Maintainers

The current maintainers (pulled from the various constituent projects) are:

• Erik Osheim
• Michael Pilquist
• Miles Sabin
• Tom Switzer

License

All code is available to you under the Apache 2.0 license, available at https://www.apache.org/licenses/LICENSE-2.0 and also in the LICENSE file.

Copyright the maintainers, 2015-2016.