2010-07-14 16 views

cevap

12

Evet, var. :browse Test.QuickCheck Yazma (ya da her türlü modülü istiyorum) tüm ihracatını yazdırır:

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 

, the documentation kontrol komutları GHCi tam listesi için.

İlgili konular