purescript - 如何定义一个空查询类型的 eval 函数？

Question

我有一个查询类型data Query a

鉴于Query没有构造函数，我如何定义eval类型的函数：

eval :: Query ~> H.ComponentDSL State Query Void m

我必须添加一个构造函数Query吗？

Answer 1

使用type Query = Const Void和eval = absurd << un Const

type Query= Const Void = data Query a，它们都有 type Kind -> Kind，并且没有构造函数。

对于eval = absurd <<< un Const匹配类型Query ~> H.ComponentDSL State Query Void m。absurd :: forall a. Void -> a确保返回类型匹配。un Const :: forall a b -> Const a b -> a确保输入类型匹配 ( forall a. Query a -> Void)