Add inMany

src/Opaleye/Operators.hs

@@ -58,6 +58,7 @@
  , sqlLength
  -- * Containment operators
  , in_
+ , inMany
  , inSelect
  -- * JSON operators
  , SqlIsJson
@@ -132,7 +133,7 @@
 import qualified Opaleye.Select as S
 import qualified Opaleye.SqlTypes as T
 
 import qualified Opaleye.Column as Column
 
 import qualified Opaleye.Internal.HaskellDB.PrimQuery as HPQ
 
@@ -289,14 +290,27 @@
 
 -- | 'in_' is designed to be used in prefix form.
 --
--- 'in_' @validProducts@ @product@ checks whether @product@ is a valid
--- product. 'in_' @validProducts@ is a function which checks whether
--- a product is a valid product.
-in_ :: (Functor f, F.Foldable f) => f (Field a) -> Field a -> F.Field T.SqlBool
+-- 'in_' @validUsers@ @user@ checks whether @user@ is a valid user.
+-- 'in_' @validUsers@ is a function which checks whether a user is a
+-- valid user.
+in_ :: (F.Foldable f) => f (Field a) -> Field a -> F.Field T.SqlBool
 in_ fcas (Column a) = case NEL.nonEmpty (F.toList fcas) of
  Nothing -> T.sqlBool False
  Just xs -> Column $ HPQ.BinExpr HPQ.OpIn a (HPQ.ListExpr (fmap C.unColumn xs))
 
+-- | @inMany@ is a generalization of 'in_' to values with multiple
+-- fields. It is designed to be used in prefix form.
+--
+-- @inMany validUsers user@ checks whether @user@ is a valid user.
+-- @inMany validUsers@ is a function which checks whether a user is a
+-- valid user.
+inMany ::
+ (F.Foldable f, D.Default O.EqPP fields fields) =>
+ f fields ->
+ fields ->
+ F.Field T.SqlBool
+inMany xs x = ors (fmap (.=== x) (F.toList xs))
+
 -- | True if the first argument occurs amongst the rows of the second,
 -- false otherwise.
 --