7
例如,如果我想查看Test.QuickCheck有哪些輸出,是否可以向GHCI發出命令來執行此操作?在GHC中,有沒有辦法打印模塊的輸出?
例如,如果我想查看Test.QuickCheck有哪些輸出,是否可以向GHCI發出命令來執行此操作?在GHC中,有沒有辦法打印模塊的輸出?
是的,有。鍵入: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。