[英]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.