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?
221 Commits 74 Branches 11 Tags 3.6 MiB
Haskell 99.7%
Nix 0.3%
rm-unsafeCoerce
Go to file
Shane O'Brien 1c73ec6814
Add reify and unreify to Table class 
Previously these were implemented with `unsafeCoerce`, which was mostly correct, but was incorrect for certain instances of `HList`. With this change, `deriving Rel8able` will now fail to type check in those instances.
2021-04-27 17:04:40 +01:00
.github/workflows Update build.yaml 2021-04-08 13:01:16 +01:00
docs Rough documentation for constructing orderings 2021-04-24 22:30:13 +01:00
nix Upgrade Haskell.nix and remove data-serializer workaround 2021-04-10 13:46:32 +01:00
src Add reify and unreify to Table class 2021-04-27 17:04:40 +01:00
tests Make Rel8able have kind ((X -> Type) -> Type) -> Constraint 2021-04-15 17:00:12 +01: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
default.nix Sketch of HKD-lifting of Generic types 2021-04-16 15:17:39 +01:00
LICENSE The beginning of rel8 1.0 2021-03-23 13:34:02 +00:00
README.md Create README.md 2021-04-02 17:43:15 +01:00
rel8.cabal Add reify and unreify to Table class 2021-04-27 17:04:40 +01:00
shell.nix GHC 9 support 2021-04-07 14:58:33 +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.

For more details, check out the official documentation.