在进行一些类型级计算时，我想要更改 -> 的固定性，因为它不能与固定性为 0 的左关联类型运算符混合。知道它不能直接与 TypeOperators 扩展和 infixr 1 -> 一起使用，因为它只返回错误 parse error on input '->'.
是否有任何扩展或其他方式来修改函数类型运算符的固定性？
最佳答案
您可以创建同义词:
{-# LANGUAGE TypeOperators #-}
infixr 1 ~>
type (~>) = (->)
关于haskell - 改变函数类型的固定性(->)？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/29158273/