虽然这似乎很可能是您设计中的错误,但在当前版本的 Hasql (0.19.*) 中,至少可以在Params
. 但是我必须注意到,除非提供证明它有用的用例,否则为了类型级别的安全性,在下一个主要版本中将完全删除对此的支持。
无论哪种方式,您现在都可以这样做:
import qualified Hasql.Encoders as A
data SumValue
= SumBool !(Maybe Bool)
| SumChar !(Maybe Char)
| SumDate !(Maybe Day)
| SumUuid !(Maybe UUID)
deriving (Eq, Show)
sumValue :: A.Params SumValue
sumValue =
contramap match $
chosen (A.nullableValue A.bool) $
chosen (A.nullableValue A.char) $
chosen (A.nullableValue A.date) $
A.nullableValue A.uuid
where
match =
\case
SumBool x -> Left x
SumChar x -> Right (Left x)
SumDate x -> Right (Right (Left x))
SumUuid x -> Right (Right (Right x))