在 newtype 中包装一个类型

Question

在下面的代码中我收到警告Orphan instance: instance (MonadIO m, Monad m) => GenerateUUID m

instance (MonadIO m, Monad m) => GenerateUUID m where
  generateUUID = liftIO nextRandom

根据它的解决方案是

        move the instance declaration to the module of the class or of the type, or
        wrap the type with a newtype and declare the instance on the new type.

（或禁用警告帽子互联网也建议）

我的问题是我找不到如何用新类型包装类型？

Answer 1

你可以像这样定义一个新类型的包装器：

newtype Foo m a = Foo { unFoo :: m a }

如果我们还想说“我希望 Foo 拥有与 m 相同的 Functor、Monad、Applicative... 实例，唯一的区别是方法使用 @ 987654329@ 代替 m a" 我们可以使用 -XDerivingVia 扩展：

{-# LANGUAGE DerivingVia #-}

newtype Foo m a = Foo { unFoo :: m a } 
                deriving (Functor,Applicative,Monad,MonadIO,GenerateUUID) via m

只要编译器抱怨缺少Foo 的实例，请将其添加到deriving 子句中。

---

略有改进。假设我们还想“继承”Semigroup 和 Monoid 实例。例如：IO () 是 Monoid，所以我们可能希望 Foo IO () 也是 Monoid。我们需要一个单独的deriving 子句：

newtype Foo m a = Foo { unFoo :: m a } 
                deriving (Functor,Applicative,Monad,MonadIO) via m
                deriving (Semigroup,Monoid) via (m a)

为什么是单独的子句？因为类型类有不同的种类。 Functor 有一种(Type -> Type) -> Constraint，我们正在声明Foo m 的实例，它有一种Type -> Type。

同时，Semigroup 具有种类 Type -> Constraint，我们正在声明 Foo m a 的实例，即具有种类 Type 的“完全应用”类型构造函数。