gpt4 book ai didi

haskell - GHC.Generics 示例不起作用

转载 作者:行者123 更新时间:2023-12-02 21:02:29 25 4
gpt4 key购买 nike

我正在尝试获取GHC.Generics中描述的通用二进制编码类的示例实现。工作,但是当我尝试编译以下代码时出现错误。

import GHC.Generics

class Encode' f where
encode' :: f p -> [Bool]

instance Encode' V1 where
encode' x = undefined

instance Encode' U1 where
encode' U1 = []

instance (Encode' f, Encode' g) => Encode' (f :+: g) where
encode' (L1 x) = False : encode' x
encode' (R1 x) = True : encode' x

instance (Encode' f, Encode' g) => Encode' (f :*: g) where
encode' (x :*: y) = encode' x ++ encode' y

instance (Encode c) => Encode' (K1 i c) where
encode' (K1 x) = encode x

instance (Encode' f) => Encode' (M1 i t f) where
encode' (M1 x) = encode' x

class Encode a where
encode :: a -> [Bool]
default encode :: (Generic a) => a -> [Bool]
encode x = encode' (from x)

GHC 提示:

Could not deduce (Encode' (Rep a)) arising from a use of ‘encode'’
from the context (Encode a)
bound by the class declaration for ‘Encode’
...
or from (Generic a)
bound by the type signature for encode :: Generic a => a -> [Bool]
...
In the expression: encode' (from x)
In an equation for ‘encode’: encode x = encode' (from x)

我错过了什么?

最佳答案

并非所有通用都可以通过encode'进行编码。只有那些既是 Generic 又具有表示形式的事物,即具有 Encode' 实例的 Rep a 才能通过通用 进行编码编码'。编译器不知道(也不可能知道)没有 GenericRep 未被 Encode' 覆盖> 实例。 Generic 实例的作者可以使用尚不存在的 Rep 类型。

您需要将请求的Encode' (Rep a)约束添加到默认编码的上下文中。

default encode :: (Generic a, Encode' (Rep a)) => a -> [Bool]

关于haskell - GHC.Generics 示例不起作用,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28802666/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com