Destroy all GADTs; Removes the From GADT and SqlExpr GADT

changelog.md

@@ -1,9 +1,22 @@
+3.5.0.0
+=======- 
+- @belevy
+  - [#228](https://github.com/bitemyapp/esqueleto/pull/228)
+        - Destroy all GADTs; Removes the From GADT and SqlExpr GADT 
+        - From GADT is replaced with a From data type and FromRaw 
+        - SqlExpr is now all defined in terms of ERaw
+        - Modified ERaw to contain a SqlExprMeta with any extra information 
+          that may be needed
+        - Experimental top level is now strictly for documentation and all the 
+          implementation details are in Experimental.* modules
+
 3.4.1.0
 =======
 - @Vlix
   - [#232](https://github.com/bitemyapp/esqueleto/pull/232)
     - Export the `ValidOnClauseValue` type family
 
+
 3.4.0.1
 =======
 - @arthurxavierx

esqueleto.cabal

@@ -1,7 +1,7 @@
 cabal-version: 1.12
 
 name:           esqueleto
-version:        3.4.1.0
+version:        3.5.0.0
 synopsis:       Type-safe EDSL for SQL queries on persistent backends.
 description:    @esqueleto@ is a bare bones, type-safe EDSL for SQL queries that works with unmodified @persistent@ SQL backends.  Its language closely resembles SQL, so you don't have to learn new concepts, just new syntax, and it's fairly easy to predict the generated SQL and optimize it for your backend. Most kinds of errors committed when writing SQL are caught as compile-time errors---although it is possible to write type-checked @esqueleto@ queries that fail at runtime.
                 .
@@ -38,9 +38,16 @@ library
         Database.Esqueleto.PostgreSQL
         Database.Esqueleto.PostgreSQL.JSON
         Database.Esqueleto.SQLite
+        Database.Esqueleto.Experimental.From
+        Database.Esqueleto.Experimental.From.CommonTableExpression
+        Database.Esqueleto.Experimental.From.Join
+        Database.Esqueleto.Experimental.From.SqlSetOperation
+        Database.Esqueleto.Experimental.ToAlias
+        Database.Esqueleto.Experimental.ToAliasReference
+        Database.Esqueleto.Experimental.ToMaybe
     other-modules:
-        Database.Esqueleto.Internal.PersistentImport
         Database.Esqueleto.PostgreSQL.JSON.Instances
+        Database.Esqueleto.Internal.PersistentImport
         Paths_esqueleto
     hs-source-dirs:
         src/

src/Database/Esqueleto.hs

@@ -1,4 +1,7 @@
-{-# LANGUAGE FlexibleContexts, FlexibleInstances, GADTs, RankNTypes #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE GADTs #-}
+{-# LANGUAGE RankNTypes #-}
 -- | The @esqueleto@ EDSL (embedded domain specific language).
 -- This module replaces @Database.Persist@, so instead of
 -- importing that module you should just import this one:
@@ -125,8 +128,8 @@ import Control.Monad.Trans.Reader (ReaderT)
 import Data.Int (Int64)
 import qualified Data.Map.Strict as Map
 import Database.Esqueleto.Internal.Language
-import Database.Esqueleto.Internal.Sql
 import Database.Esqueleto.Internal.PersistentImport
+import Database.Esqueleto.Internal.Sql
 import qualified Database.Persist