Chinaunix

标题: "==>”是什么意思？ [打印本页]

作者: sw2wolf 时间: 2009-05-31 08:39
标题: "==>”是什么意思？
type T = StackSet (NonNegative Int) Int Char Int Int

prop_double_swap (ss :: T) (t1 :: NonNegative Int) (t2 :: NonNegative Int) =
  t1 `tagMember` ss && t2 `tagMember` ss ==>
  ss == swap (swap ss)
  where swap = swapWorkspaces t1 t2

请解释下这段代码，尤其是 “==>” !

我个人猜测：
代码意思是将ss中的t1与t2交换两次后， ss还是原来的ss。但“==>”以前没见过，不知道什么意思？

[ 本帖最后由 sw2wolf 于 2009-5-31 08:47 编辑 ]

作者: MMMIX 时间: 2009-05-31 09:22

原帖由 sw2wolf 于 2009-5-31 08:39 发表
type T = StackSet (NonNegative Int) Int Char Int Int

prop_double_swap (ss :: T) (t1 :: NonNegative Int) (t2 :: NonNegative Int) =
  t1 `tagMember` ss && t2 `tagMember` ss ==>
  ss == swap (swap ss)
  where swap = swapWorkspaces t1 t2

请解释下这段代码，尤其是 “==>” !

我个人猜测：
代码意思是将ss中的t1与t2交换两次后， ss还是原来的ss。

correct.

但“==>”以前没见过，不知道什么意思？

http://www.haskell.org/ghc/docs/ ... .html#v%3A%3D%3D%3E

BTW, the index of GHC libraries are pretty good, use it:
http://www.haskell.org/ghc/docs/ ... ries/doc-index.html

作者: sw2wolf 时间: 2009-05-31 12:45
thank you very much

作者: drunkedcat 时间: 2009-05-31 16:29
个人猜测是自定义的吧。 predule 里应该是没有的。

作者: MMMIX 时间: 2009-05-31 17:18

原帖由 drunkedcat 于 2009-5-31 16:29 发表
个人猜测是自定义的吧。 predule 里应该是没有的。

==> 是 QuickCheck 定义的 operator, 楼主的代码是从 XMonad 的 QuickCheck 测试部分摘出来的。

欢迎光临 Chinaunix (http://bbs.chinaunix.net/)