哈斯克尔中类型的函数应用操作数($)？

Posted 2021-03-19

在Haskell中，有没有一个($)对应的类型？

如果我有一个带参数的类型

data myType a b c = ...

如果能像这样应用一个单体，那就更好了。

f :: input -> errorMonad $ myType a b c
{- throws error:
   Not in scope: type constructor or class ‘$’. -}

我可以用以下方法得到同样的效果

f :: input -> errorMonad (myType a b c)

但不是那么清晰的IMO。

答案

一个可能的解决方案是定义你自己的类型操作符。$:

{-# LANGUAGE TypeOperators, PolyKinds #-}

type ($) a = a