2010-07-14 6 views

Respuesta

12

Sí, la hay. Tecleando :browse Test.QuickCheck (o cualquier módulo que desea) imprimirá todas las exportaciones:

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 

Para obtener una lista completa de GHCi comandos, verifique the documentation.

Cuestiones relacionadas