Implement schema typechecker

This closes #274 and #186, allowing the generation of CREATE TABLE
statements from a TableSchema, as well as checking a TableSchema against
a database to determine if the tables are defined correctly in the
database to be read from/written to by rel8.

It also adds tests for the creation and type checking of tables, to
ensure they succeed/fail in appropriate cases.

Co-authored-by: David Kraeutmann <[email protected]>

Author: 2 people

rel8.cabal

@@ -28,6 +28,7 @@ library
     , bytestring
     , case-insensitive
     , comonad
+    , containers
     , contravariant
     , hasql >= 1.8 && < 1.10
     , iproute ^>= 1.7
@@ -69,6 +70,7 @@ library
     Rel8.Expr.Num
     Rel8.Expr.Text
     Rel8.Expr.Time
+    Rel8.Table.Verify
     Rel8.Tabulate
 
   other-modules:
@@ -264,6 +266,7 @@ test-suite tests
     , tasty
     , tasty-hedgehog
     , text
+    , these
     , time
     , tmp-postgres      ^>=1.34.1.0
     , transformers