7
Si quiero ver qué exportaciones hay de Test.QuickCheck, por ejemplo, ¿hay algún comando que pueda emitir a GHCI para hacer esto?En GHC, ¿hay alguna forma de imprimir las exportaciones del módulo?
Si quiero ver qué exportaciones hay de Test.QuickCheck, por ejemplo, ¿hay algún comando que pueda emitir a GHCI para hacer esto?En GHC, ¿hay alguna forma de imprimir las exportaciones del módulo?
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.