Запрос Esqueleto, возвращающий постоянное значение

Question

Можно ли использовать esqueleto для создания запроса, который возвращает постоянное значение? Например, SELECT 1.

Answer 1

Попробуйте это:

import Database.Esqueleto 

-- | We have to specialize `val` or else the type inferencer 
-- will complain about the `Esqueleto` instance. 
val_ :: Int -> SqlExpr (Value Int) 
val_ = val 

query :: SqlPersistT IO [Value Int] 
query = select $ return (val_ 1) 

@ комментарий ци был близок, но 1 нужно поднимать в SqlExpr. val записывается в общем виде и зависит от экземпляра класса Esqueleto. Обычно тип inferencer захватывал бы это, как только вы использовали from и вытащили бы в SQL-таблицу, но поскольку ни один из них не доступен здесь, мы должны специализироваться вручную.

В целом хороший пример того, как typeclasses могут запутать смысл и заставить людей обращаться к документации или форумам.