web-dev-qa-db-ja.com

quickcheck

クイックチェックのために単純なタイプの任意のインスタンスを生成する方法

QuickCheckで単射関数を生成しますか?