Question

我正在尝试基于HList的类型化异构列表。

我定义了以下内容：

import Data.HList

data ATag
data BTag

type TagList = ATag :*: BTag :*: HNil

bIndex :: Int
bIndex = hNat2Integral (hFind (undefined :: BTag) (undefined :: TagList))

我希望bIndex有值1.相反，我收到以下错误：

  No instances for (HEq BTag ATag b,
                    HFind' b BTag (HCons BTag HNil) n0)
  arising from a use of `hFind'

似乎GHC（7.4.1）无法自动推断实例

  HEq BTag ATag HFalse

有没有办法让这种情况发生？

Answer 1

有几种HList标签。您正在尝试使用自己的＆＃39; ATag＆＃39;和＆＃39; BTag＆＃39;幻影作为标签。你正在使用的HList风格需要它的＆＃39; HNat＆＃39;作为标签的类型：＆＃39; HZero＆＃39;和＆＃39; HSucc *＆＃39;。

您需要将Data.HList.Label1中的一个导入Label5模块。您需要选择TypeEq风格，并选择TypeCast风格以匹配TypeEq风格：

{-# LANGUAGE TypeOperators #-}

import Data.HList
import Data.HList.Label5
import Data.HList.TypeCastGeneric1
import Data.HList.TypeEqGeneric1

data ATag
data BTag

type TagList = ATag :*: BTag :*: HNil

bIndex :: Int
bIndex = hNat2Integral (hFind (undefined :: BTag) (undefined :: TagList))

以上作品并给出了指数＆＃39;值1。

HList成员的自动HEq实例

1 个答案: