haskell - 如何在 Haskell 中对类型类进行分组

Question

目的是让类型类约束代码更简洁。

type CanThrowDice = (Monad m, MonadIO m, Random a)

throwDice :: CanThrowDice m a => (a, a) -> m a
throwDice (r1, r2) = ...

而不是写:

throwDice ::  (Monad m, MonadIO m, Random a) => (a, a) -> m a
throwDice (r1, r2) = ...

我记得在某处看到过这种用法，但想不起来了。上面的代码警告我添加一些额外的编译指示，例如 ConstraintKinds，我无法让它工作。

Answer 1

唯一缺少的是类型参数 m 和 a 以及 ConstraintKinds language pragma [ghc-doc] :

{-# LANGUAGE <b>ConstraintKinds</b> #-}

--                ↓ ↓ type parameters
type CanThrowDice <b>m</b> <b>a</b> = (Monad m, MonadIO m, Random a)

throwDice :: CanThrowDice m a => (a, a) -> m a
throwDice (r1, r2) = …