git.iko.soy/squeal
on dev help sign in
operator
71d515eEitan Chatav
squeal-postgresql/src/Squeal/PostgreSQL/Expression.hs+1−1
compare with dev
unifiedsplit
@@ -333,7 +333,7 @@ type (:-->) x y
333 -- ^ output
333 -- ^ output
334
334
335{- | A `RankNType` for functions with a fixed-length list of heterogeneous arguments.
335{- | A `RankNType` for functions with a fixed-length list of heterogeneous arguments.
336−Use the `:*` operator to end your argument lists, like so.
336+Use the `*:` operator to end your argument lists, like so.
337
337
338>>> printSQL (unsafeFunctionHet "fun" (true :* false :* localTime *: true))
338>>> printSQL (unsafeFunctionHet "fun" (true :* false :* localTime *: true))
339fun(TRUE, FALSE, LOCALTIME, TRUE)
339fun(TRUE, FALSE, LOCALTIME, TRUE)
squeal-postgresql/src/Squeal/PostgreSQL/Schema.hs+1
@@ -754,5 +754,6 @@ instance (forall t0 t1. RenderSQL (p t0 t1))
754single :: p x0 x1 -> AlignedList p x0 x1
754single :: p x0 x1 -> AlignedList p x0 x1
755single step = step :>> Done
755single step = step :>> Done
756
756
757+-- | A useful operator for ending an `NP` list of length at least 2 without `Nil`.
757(*:) :: f x -> f y -> NP f '[x,y]
758(*:) :: f x -> f y -> NP f '[x,y]
758x *: y = x :* y :* Nil
759x *: y = x :* y :* Nil