"==>”是什么意思？

Question

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 编辑 ]

Answer 1

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

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

Answer 2

个人猜测是自定义的吧。 predule 里应该是没有的。

Answer 3

thank you very much

Answer 4

原帖由 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