Welcome to Rel8! Rel8 is an API built on top of the fantastic Opaleye library to provide an easy and type-safe way to interact with relational databases.

The main objectives of Rel8 are:

• Conciseness: Users using Rel8 should not need to write boiler-plate code. By using expressive types, we can provide sufficient information for the compiler to infer code whenever possible.

• Inferrable: Despite using a lot of type level magic, it should never be a requirement that the user must provide a type signature to allow a program to compile.

• Compatible: Rel8 tries to use the existing Opaleye API as much as possible.

Documentation / tutorials are available online at http://rel8.readthedocs.io