仿制药的约束类型

Question

我正在尝试将转换为通用类型的YAML。

我实施的简单转换效果很好，但是我想使用他们的show实例，例如data foo = bar | BIZ。

我当时想到了像波纹管这样的事情。它正确地捕获了上述类型，但在调用show时失败，因为我无法正确限制它。

instance {-# OVERLAPPING #-} (GToYaml x, GToYaml y) => GToYaml (D1 d (x :+: y)) where
  gToYaml x = string $ pack $ show $ to x

有可能以某种方式限制原始类型具有通用性并显示实例？，还是应该以某种方式处理它？

Answer 1

据推测，原始类型类似于

class ToYaml x where
  toYaml :: x -> Yaml

假设我们定义此辅助数据类型和Typeclass：

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ScopedTypeVariables #-}
import Data.Proxy
import GHC.Generics

data HowToConvertToYaml = NormalCase | SpecialCase

class ToYaml' (how :: HowToConvertToYaml) x where
  toYaml' :: Proxy how -> x -> Yaml

HowtoconvertToyAml被用作 datakind ，向toyml'：是否提供一条额外信息我们是否在特殊情况下。这使我们能够为每种情况定义不同的实例：

instance Show x => ToYaml' SpecialCase x where
   toYaml' _ = undefined

instance (Generic x, GToYaml (Rep x)) => ToYaml' NormalCase x where
   toYaml' _ = undefined

问题是我们要使用fotaml，而不是toyaml'。我们需要一种方法来自动计算每种类型的howtoconvertToyAml，然后在toyaml'上进行toyaml实例委托。

我们可以使用一个类型的家庭：

type family FindHowToConvertToYaml rep :: HowToConvertToYaml where
  FindHowToConvertToYaml (D1 _ (_ :+: _)) = SpecialCase
  FindHowToConvertToYaml _ = NormalCase

和toyaml根据toyaml'是：

instance (Generic x, ToYaml' (FindHowToConvertToYaml (Rep x)) x) => ToYaml x where
  toYaml = toYaml' (Proxy @(FindHowToConvertToYaml (Rep x)))