@@ -53,7 +53,7 @@ class (PGTyped (BaseType ty), KnownNat n)
5353 => HasParameter (n :: Nat) params ty | n params -> ty where
5454 param :: proxy n -> Expression params tables grouping ty
5555 param _ = UnsafeExpression $ parenthesized $
56− "$" <> renderNat (Proxy @n) <+> " :: "
56+ "$" <> renderNat (Proxy @n) <+> "::"
5757 <+> renderTypeExpression (pgtype @(BaseType ty))
5858instance {-# OVERLAPPING #-} PGTyped (BaseType ty1)
5959 => HasParameter 1 (ty1:tys) ty1
@@ -191,7 +191,7 @@ cast
191191 -> Expression params tables grouping ('Required (nullity ty0))
192192 -> Expression params tables grouping ('Required (nullity ty1))
193193cast ty x = UnsafeExpression $
194− "(" <> renderExpression x <> " :: " <> renderTypeExpression ty <> ")"
194+ "(" <> renderExpression x <+> "::" <+> renderTypeExpression ty <> ")"
195195
196196div
197197 :: PGIntegral ty