簡體   English   中英

如何使用QuickCheck編寫測試來定義($)

[英]How to write tests using QuickCheck for the definition of ($)

還有作曲功能。

f $ a = f a
f . g = \x -> f (g x)

QuickCheck僅適用於具體類型,因此您首先需要實例化類型:

($) :: (Int -> String) -> Int -> String

暫無
暫無

聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.

 
粵ICP備18138465號  © 2020-2024 STACKOOM.COM