Add primed constructors for record-based arguments

Basically just save an `embed` elsewhere, but 🤷‍♂️

Author: garyb

src/SqlSquared/Constructors.purs

@@ -60,16 +60,28 @@ ident' ∷ ∀ t f. Corecursive t (Sig.SqlF f) ⇒ Sig.Ident → t
 ident' = embed ∘ Sig.Identifier
 
 match ∷ ∀ t f. Corecursive t (Sig.SqlF f) ⇒ t → L.List (Sig.Case t) → Maybe t → t
-match expr cases else_ = embed $ Sig.Match { expr, cases, else_ }
+match expr cases else_ = match' { expr, cases, else_ }
+
+match' ∷ ∀ t f. Corecursive t (Sig.SqlF f) ⇒ Sig.MatchR t → t
+match' = embed ∘ Sig.Match
 
 switch ∷ ∀ t f. Corecursive t (Sig.SqlF f) ⇒ L.List (Sig.Case t) → Maybe t → t
-switch cases else_ = embed $ Sig.Switch { cases, else_ }
+switch cases else_ = switch' { cases, else_ }
+
+switch' ∷ ∀ t f. Corecursive t (Sig.SqlF f) ⇒ Sig.SwitchR t → t
+switch' = embed ∘ Sig.Switch
 
 let_ ∷ ∀ t f. Corecursive t (Sig.SqlF f) ⇒ Sig.Ident → t → t → t
 let_ id bindTo in_ = embed $ Sig.Let { ident: id, bindTo, in_ }
 
+let' ∷ ∀ t f. Corecursive t (Sig.SqlF f) ⇒ Sig.LetR t → t
+let' = embed ∘ Sig.Let
+
 invokeFunction ∷ ∀ t f. Corecursive t (Sig.SqlF f) ⇒ Sig.Ident → L.List t → t
-invokeFunction name args = embed $ Sig.InvokeFunction {name, args}
+invokeFunction name args = invokeFunction' { name, args }
+
+invokeFunction' ∷ ∀ t f. Corecursive t (Sig.SqlF f) ⇒ Sig.InvokeFunctionR t → t
+invokeFunction' = embed ∘ Sig.InvokeFunction
 
 -- when (bool true) # then_ (num 1.0) :P
 when ∷ ∀ t. t → (t → Sig.Case t)
@@ -90,8 +102,7 @@ select
   → Maybe (Sig.OrderBy t)
   → t
 select isDistinct projections relations filter gb orderBy =
-  embed
-  $ Sig.Select
+  select'
     { isDistinct
     , projections: L.fromFoldable projections
     , relations
@@ -100,6 +111,8 @@ select isDistinct projections relations filter gb orderBy =
     , orderBy
     }
 
+select' ∷ ∀ t f. Corecursive t (Sig.SqlF f) ⇒ Sig.SelectR t → t
+select' = embed ∘ Sig.Select
 
 -- project (ident "foo") # as "bar"
 -- project (ident "foo")
@@ -120,9 +133,8 @@ having t (Sig.GroupBy r) = Sig.GroupBy r{ having = Just t }
 
 buildSelect ∷ ∀ t f. Corecursive t (Sig.SqlF f) ⇒ (Sig.SelectR t → Sig.SelectR t) → t
 buildSelect f =
-  embed
-  $ Sig.Select
-  $ f { isDistinct: false
+  select' $
+    f { isDistinct: false
       , projections: L.Nil
       , relations: Nothing
       , filter: Nothing