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.