2010-07-14 103 views

回答

12

是的,有。鍵入:browse Test.QuickCheck(或任何模塊想要)將打印所有出口:

Prelude> :browse Test.QuickCheck 
(.&.) :: 
    (Testable prop1, Testable prop2) => prop1 -> prop2 -> Property 
(==>) :: (Testable prop) => Bool -> prop -> Property 
(><) :: (Gen a -> Gen a) -> (Gen a -> Gen a) -> Gen a -> Gen a 
class Arbitrary a where 
    arbitrary :: Gen a 
    shrink :: a -> [a] 

... <snip> ... 

vectorOf :: Int -> Gen a -> Gen [a] 
whenFail :: (Testable prop) => IO() -> prop -> Property 
whenFail' :: (Testable prop) => IO() -> prop -> Property 
within :: (Testable prop) => Int -> prop -> Property 

對於GHCI的命令的完整列表,請the documentation

相關問題