2
A
回答
7
Eq a是一個所謂的類約束。這意味着代替a的類型需要實現Eq類型類型。
在像Java這樣的編程語言中，這就像實現接口一樣。
您可能已經猜到Eq提供了功能==和/=。 如果你有一個以上的約束類型簽名看起來像
fun :: (Ord a, Bounded a) => ...
看什麼類型類提供了你可以看看上hackage文件或運行:info Ord內GHCI
相關問題
- 1. a >> = b是什麼意思？
- 2. <a href="#">Click here</a>是什麼意思？
- 3. 數據（ - >）a b是什麼意思？
- 4. `a> b`是什麼意思？
- 5. 什麼是ocaml類型'a。 'a - >'是什麼意思？
- 6. memset（foo-> a + foo-> b，0，10）是什麼意思？
- 7. 爲什麼fold會預期（a - > b - > a）而不是（b - > a - > a）？
- 8. Haskell類型系統中的`Num a => a`是什麼意思？
- 9. 這是什麼意思？ >> ActionController :: InvalidAuthenticityToken
- 10. >> =是什麼意思？
- 11. b = a-> b是什麼意思在一類列表中？
- 12. >> = purescript中的意思是什麼？
- 13. 「a = a || []」是什麼意思？
- 14. 標準哈斯克爾功能::（一 - >也許） - > A - > [A]
- 15. {< >}是什麼意思？
- 16. 「ptr = ptr - > next」這是什麼「 - >」是什麼意思？ （C++）
- 17. <a>標籤裏面的span屬性是什麼意思？</p> <pre><code><div id="div-1"> <a href="next" span id="next">hidfoli</a> </div> </code></pre> <p>我想知道什麼呢<code>span</code>內<code>a</code>標籤的意思是：
- 18. 「outer =>」是什麼意思？
- 19. Haskell sequencelistIO [a - > IO a] - > a - > IO
- 20. 這個JavaScript運算符是什麼意思？ >>>
- 21. 這是什麼意思（計算中的<< and > >>）？
- 22. `^^^`和`〜>`是什麼意思？
- 23. 什麼是Haskell`（ - >）a` monad？
- 24. 「 - >」是什麼意思？
- 25. <a></a><a></a>標籤
- 26. Monad m => a - > [a - > m a] - > m a
- 27. 什麼是（int - > int） - >（int - > int）是什麼意思？
- 28. <a class="none">究竟是什麼意思？
- 29. struct decay <T，R（A ...，...）>是什麼意思
- 30. //在<a>標記中的意思是什麼
大廈直覺：如果是一個東西可以進行比較，然後給出一個與之相比較的列表，並且函數名稱是elem（element），通常可以猜測fn從類型簽名和名稱中做了什麼。 – Carbon