QuickCheck is a library for random testing of program properties. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators provided by QuickCheck. QuickCheck provides combinators to defi
Synopsisdata List a(++) :: [a] -> [a] -> [a]head :: HasCallStack => [a] -> alast :: HasCallStack => [a] -> atail :: HasCallStack => [a] -> [a]init :: HasCallStack => [a] -> [a]uncons :: [a] -> Maybe (a, [a])unsnoc :: [a] -> Maybe ([a], a)singleton :: a -> [a]null :: Foldable t => t a -> Boollength :: Foldable t => t a -> Intmap :: (a -> b) -> [a] -> [b]reverse :: [a] -> [a]intersperse :: a -> [a]
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く