haskell - データコンストラクターのポリモーフィックコールバック

Question

Haskellを学び始めたばかりです。カスタムクラスがあります

class MyClass a where
  doSomething :: a -> ()

コンストラクターでポリモーフィックコールバックを使用してデータを書き込むことはできますか？

data MyData = MyConstructor {
  callback :: (MyClass m) => m -> () -- error
}

関数の引数に制約を付けたい。

score 3 · Accepted Answer

要するに、はい、Rank2TypesまたはRankNTypesプラグマを使用することで可能です。

データ型は存在記号であるため。実は

data MyData = MyConstructor (forall m. MyClass m => m -> ())

より高いランクの拡張が必要な場合。

1 に答える 1