命名类实例

Question

是否有简化包含类的函数类型标题的方法？

现在我写

myfce :: Graph gr => Sometype -> gr Int String

我希望

myfce :: Sometype -> MyGraph

Answer 1

如果MyGraph是x Int String的类型同义词，其中x是Graph的实例，那么您可以这样做：

data GraphType a b = ...

instance Graph GraphType where ...

type MyGraph = GraphType Int String

然后，您可以将myfce专门化为您想要的类型

myfce :: Sometype -> MyGraph