pocketberserkerさんが、CoArbitrary実装してた
scalacheckの内部構造をいじって遊んでみた
↓
いくつかCoArbitraryを追加しつつ、それをつかってScalazのテスト書いてみる
- https://github.com/xuwei-k/scalacheck/commit/46596824aad37f11f97cf2d046b7161e5bf41a8a
- https://github.com/xuwei-k/scalaz/commit/b66e4a3140de4fe2a3ae3e8dc05b9374f6fb8a5a
↓
全然うまくいかない(´・ω・`)
↓
Arbitraryから生成したFunctionが、同じ入力に対して同じ結果返さないようだ(なので、失敗するのは当然) *1
↓
自分のFunctionのCoArbitraryが間違ってるのか、scalacheckのGen.promote、variantあたりの実装が、そもそも完全に駄目なのか?まで追ってない(イマココ
先は長い・・・
*1:他にもダメなところはありそうだけれど、詳細は未検証