- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
Data.Ord
包括这些方法:
compare :: a -> a -> Ordering
(<) :: a -> a -> Bool
(<=) :: a -> a -> Bool
(>) :: a -> a -> Bool
(>=) :: a -> a -> Bool
max :: a -> a -> a
min :: a -> a -> a
最小的完整定义是
compare | (<=)
.
(>)
(例如)也不能用作最小的完整定义。
not (a > b)
相当于
a <= b
.
(>)
的决定吗?作为一个最小的完整定义被排除在外,还是我遗漏了什么?
最佳答案
我认为 the source对此有一点启发:
class (Eq a) => Ord a where
compare :: a -> a -> Ordering
(<), (<=), (>), (>=) :: a -> a -> Bool
max, min :: a -> a -> a
compare x y = if x == y then EQ
else if x <= y then LT
else GT
x < y = case compare x y of { LT -> True; _ -> False }
x <= y = case compare x y of { GT -> False; _ -> True }
x > y = case compare x y of { GT -> True; _ -> False }
x >= y = case compare x y of { LT -> False; _ -> True }
如您所见,所有比较都是根据
compare
实现的。和 compare 本身是根据
<=
实现的.选择有点随意(尽管正如 Willem van Onsem 所写,它可能源于数学传统),但这确实排除了允许使用额外的运算符作为最小定义。
compare
只能有一个默认定义.
关于haskell - 最小完整定义 Ord 是如何选择的?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/71211495/
通过量化约束,我可以推导出 Eq (A f)正好?但是,当我尝试导出 Ord (A f) 时,它失败了。当约束类具有父类(super class)时,我不明白如何使用量化约束。我如何得出 Ord (A
我最近开始学习 Python。我正在阅读 Mark Lutz 第 4 版。在一本书中,我看到了该代码(如下)。这段代码中发生了什么?我不理解第 4 行。你能解释一下吗?抱歉我的英语不好。 B = '1
我正在遵循本指南:https://docs.oracle.com/cd/E56351_01/doc.30/e87809/getting-started-with-RESTful-services.ht
当我尝试从 tomcat 管理器启动 ORDS 时,它说:“上下文路径 [/ords] 上的应用程序无法启动” catalina.log 说: ... SEVERE [http-nio-8081-ex
我正在 Haskell 中创建一个递归的合并排序函数。我被告知作为评估的一部分,我必须将类型定义为: isort :: Ord a => [a] -> [a] 我假设该函数需要一个数组作为输入并输出一
假设您的评分是这样的 Rating = OneStar | TwoStars | ThreeStars | FourStars | FiveStars 在 Haskell 中实例化/实现此类代数数据类
我正在尝试创建一些数据结构来解决图形难题。我正在尝试定义边缘的比较标准,但我不确定如何定义。到目前为止: data Edge = Edge (Set String) Bool 如何“通知”编译器,如果
我见过一个与此类似的问题,但没有人确切地告诉我如何为结构实现 Ord。例如,以下内容: struct SomeNum { name: String, value: u32, } imp
我正在尝试配置 Oracle Apex 5 和 ORDS 以与 Tomcat 一起工作。我设法按照 Oracle 文档说明完成了所有步骤,但是当我尝试使用 http://localhost:8080/
Python官方文档解释了ord(c) ord(c): Given a string representing one Unicode character, return an integer rep
由于 Ord 是 Eq 的子类,我发现很难理解创建该类的新类型实例的样子。 我已经设法做到了: newtype NT1 = NT1 Integer instance Eq NT1 wh
根据ISO 8859-1 €符号的十进制值为128 我的默认PHP脚本编码是 echo mb_internal_encoding(); //ISO-8859-1 所以现在作为PHP echo chr(
Data.Ord 包括这些方法: compare :: a -> a -> Ordering ( a -> Bool ( a -> Bool (>) :: a -> a -> Bool (>=) ::
假设我有一个树的实现: data Tree a children = EmptyTree | Tree a (children (Tree a children)) 是否可以限制children返回
我正在尝试编程某种 Caesar Cipher在科博尔。但不知何故,我收到以下编译错误: Numeric function "INTEGER FUNCTION ORD" was not allowed
鉴于以下类型: import Data.Set as Set -- http://json.org/ type Key = String data Json = JObject Key (Set JV
我对 Haskell 比较陌生,所以希望这不是一个愚蠢的问题。我正在寻找一种常见/众所周知的类型,它本质上是一个元组,但定义了 Ord 以便它只比较第一个元素。 我自己可以这样定义: data Ran
我试图找到元素总和最小的列表。: shortest :: (Num a) => [[a]] -> [a] shortest [] = [] shortest (x:xs) = if sum x [[
我在 Haskell 中创建了一个数据类型: type Name = String data ModelNode = NodeAttribute Name | Nod
我是 Haskell 新手。谁能解释一下 Ord a 的区别和用法吗? 现在我熟悉了 [a] -> [a] -> [a] 的事情。但这, Ord a => [a] -> [a] -> [a] 请详细解
我是一名优秀的程序员,十分优秀!