例如,如果我想查看来自Test.QuickCheck的输出,是否有一个命令我可以向GHCI发出这样的命令?
Yes, there is. Typing :browse Test.QuickCheck
(or whatever module you want) will print all the exports:
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
For a complete list of GHCi commands, check the documentation .
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.