yunomuのブログ

趣味のこと

2013-11-11から1日間の記事一覧

UTCTimeをEqで検査する

UTCTimeが関わるテストをQuickCheckで書こうとしてハマった。まずUTCTimeをランダム生成するために、UTCTimeをArbitraryのインスタンスにしようとした。 UTCTimeはDayとDiffTimeの組になっていて、DayとDiffTimeはIntegerから作れるし、IntegerはArbitraryの…