operator
commit71d515ebf565fdd0ca27a3f23546bbfc4f5f5249
authorEitan Chatav <eitan@Eitans-MacBook-Pro.local>
dateMon 18 Mar 2019, 22:18 (8 years ago)
parentb9d9c18
squeal-postgresql/src/Squeal/PostgreSQL/Expression.hs+1−1
@@ -333,7 +333,7 @@ type (:-->) x y
333333 -- ^ output
334334
335335{- | 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.
337337
338338>>> printSQL (unsafeFunctionHet "fun" (true :* false :* localTime *: true))
339339fun(TRUE, FALSE, LOCALTIME, TRUE)
squeal-postgresql/src/Squeal/PostgreSQL/Schema.hs+1
@@ -754,5 +754,6 @@ instance (forall t0 t1. RenderSQL (p t0 t1))
754754single :: p x0 x1 -> AlignedList p x0 x1
755755single step = step :>> Done
756756
757+-- | A useful operator for ending an `NP` list of length at least 2 without `Nil`.
757758(*:) :: f x -> f y -> NP f '[x,y]
758759x *: y = x :* y :* Nil