如何使用“ in” in＆quot tuple在多个字段上过滤多个字段组合器（＆lt; - 。）

Question

文档在一个字段中说明了“组合器”（＆lt; - 。）中的使用方式：

selectSPJ :: MonadIO m => ReaderT SqlBackend m [Entity User]
selectSPJ = selectList [UserAge <-. [40]] []

有没有一种方法可以与多个字段一起使用？喜欢：

selectUsers :: MonadIO m => ReaderT SqlBackend m [Entity User]
selectUsers = selectList [(UserName, UserAge) <-. [("SPJ", 40), ("John Doe", 30]] []

哪个将转化为：

select user.name, user.age from user 
where (name, age) in (values ('SPJ', 40), ('John Doe', 30));

组合签名依赖于PersistField：

(<-.) :: forall v typ. PersistField typ => EntityField v typ -> [typ] -> Filter v

但是我看不到偷偷摸摸的方法：

data EntityField record :: Type -> Type

我设法使用“和”（记录]）和“或”（||。。）组合器，

mkFilters namesAndAges = foldl' mkFilter [] namesAndAges
mkFilter filters (name, age) = [UserName ==. name, UserAge ==. age] ||. filters

但结果查询要慢得多：

select user.name, user.age from user 
where (name = 'SPJ' and age = 40) or (name = 'John Doe' and age = 30);