circuithub/rel8
1
1
Fork 0
mirror of https://github.com/circuithub/rel8.git synced 2024-08-17 20:00:23 +03:00
Code Issues Projects Releases Wiki Activity
Hey! Hey! Can u rel8?
380 Commits 74 Branches 11 Tags 3.6 MiB
Haskell 99.7%
Nix 0.3%
f38f30a2e2
Go to file
Shane O'Brien f38f30a2e2
Add a castTable call to each 
If a `Table`'s types line up exactly with Postgres' types, which in they should, then this is a no-op, but if they don't, this makes things a bit safer.

In particular, arrays of custom domain types only became possible in Postgres 11. This change makes `some` and `many` somewhat usable on tables containing such types in earlier versions of Postgres.
2021-11-03 11:54:25 +00:00
.github/workflows Update build.yaml 2021-04-08 13:01:16 +01:00
docs Add upsert support and allow arbitrary queries in INSERT, UPDATE and DELETE (#85) 2021-07-14 23:30:59 +00:00
nix Require Opaleye >= 0.7.3 (#81) 2021-06-28 17:33:55 +01:00
src Add a castTable call to each 2021-11-03 11:54:25 +00:00
tests Fix Projections (needed for UPSERT support) (#134) 2021-10-22 15:36:21 +00:00
.gitignore The beginning of rel8 1.0 2021-03-23 13:34:02 +00:00
cabal.project Add allow-newer: Cabal for entropy 2021-04-02 18:03:18 +01:00
cabal.project.haskell-nix Sketch of HKD-lifting of Generic types 2021-04-16 15:17:39 +01:00
Changelog.md Release 1.2.0.0 (#135) 2021-10-22 16:54:18 +01:00
default.nix Support GHC 9 and switch default compiler (#97) 2021-07-02 13:06:35 +01:00
LICENSE Bump copyright year 2021-06-18 18:24:31 +01:00
README.md Add the ZuriHac talk to the README (#96) 2021-07-05 13:02:11 +00:00
rel8.cabal Release 1.2.0.0 (#135) 2021-10-22 16:54:18 +01:00
shell.nix Support GHC 9 and switch default compiler (#97) 2021-07-02 13:06:35 +01:00

README.md

Welcome!

Welcome to Rel8! Rel8 is a Haskell library for interacting with PostgreSQL databases, built on top of the fantastic Opaleye library.

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, Rel8 aims to have excellent and predictable type inference.

  • Familiar: writing Rel8 queries should feel like normal Haskell programming.

Rel8 was presented at ZuriHac 2021. If you want to have a brief overview of what Rel8 is, and a tour of the API - check out the video below:

Rel8 presentation at ZuriHac 2021

For more details, check out the official documentation.