代码之家 › 专栏 › 技术社区 › bbarker

一个人如何从一个“有界之地a”派生出一个“有界之地(可能是a)”?

purescript

0

bbarker · 技术社区 · 7 年前

Data.Enum.BoundedEnum (Maybe InstitutionContactType) instance enumMaybe :: BoundedEnum a => Enum (Maybe a) , instance boundedMaybe :: Bounded a => Bounded (Maybe a) 和 instance boundedEnumInstitutionContactType :: BoundedEnum InstitutionContactType enumMaybe ?

boundedMaybe Bounded (Maybe a) , 也许 Enum (Maybe a) 和 class (Bounded a, Enum a) <= BoundedEnum a 应该和 ,也给我们 BoundedEnum (Maybe a) ,我认为我的方向性是正确的,如果我理解正确的话,实例和类的方向性是相反的。

0 回复 | 直到 7 年前

1

0

bbarker 7 年前

当然,我现在终于意识到这是行不通的,因为 BoundedEnum Bounded Enum .

推荐文章

kaqqao · 理解读者单子

8 年前

wizzup · 如何在浏览器中从“pulp init”运行代码?

8 年前

Rouan van Dalen · 如何在PureScript FFI中映射0参数JavaScript函数

9 年前

George V.M. · PureScript函数在运行时给出错误的类型

9 年前

crazhyouse · Purescript卤素,副作用(随机数)

9 年前

Chris Martin · 是否有一个Purescript类型类泛化整数?

10 年前

0dB · 如何在“数据”中正确展开“数据”?

10 年前