やったこと

可算

Universe に imap メソッドを追加した。
変換系のメソッドはあった方が良さげ。

そして cats のデータ構造に対する実装を追加した uchu-cats モジュールを作った。
今のところは Ior とか Chain に対応してる感じ。
あと Universe が Invariant の law を満たしてるか、とかのチェックもした。

さらに shapeless にも対応させて、 Universe とか Finite の自動導出ができるようになった。
これは便利なはず。

2月も終わり

2月が終わってしまう‥‥。
何かやれてるだろうか？