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

在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

给TA打赏
共{{data.count}}人
人已打赏
解决方案

如何借用一个结构的库函数字段?

2022-4-22 1:00:14

解决方案

"导出'MatTableModule'在'@angularcdktable'中找不到[关闭]。

2022-4-22 1:00:16

0 条回复 A文章作者 M管理员
    暂无讨论,说说你的看法吧
个人中心
购物车
优惠劵
今日签到
有新私信 私信列表
搜索