Ant*_*sky 12
就在这里.键入: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
Run Code Online (Sandbox Code Playgroud)
有关GHCi命令的完整列表,请查看文档.
| 归档时间: |
|
| 查看次数: |
124 次 |
| 最近记录: |