haskell - Haskell 中的多态数据族

Question

我想定义一个支持显式未实例化情况多态性的数据系列:

data family Foo a

-- handles some specific case
data instance Foo Int = CreateInt Int Int String

-- handles all other cases
data instance Foo bar = CreateBar bar

这可能吗？

Answer 1

使用封闭类型族。 Unfortunately ，这需要一个额外的新类型包装器:

newtype Foo a = CreateFoo {getFoo :: Foo' a}

type family Foo' a where
  Foo' Int = IntFoo
  Foo' bar = Barbar bar

data IntFoo = CreateInt Int Int String
data Barbar bar = CreateBar bar