[WIP] universe-reverse-instances

• Finite という要素が有限という型クラスを定義し、そのインスタンスであれば列挙可能なので、関数のインスタンスを表示できるという仕組み

• ただ、単純に全部を列挙するのではなく、実際に取りうる入出力の範囲に限定されてるっぽい

• あんまり面白くは無い

使い方

ghci

λ stack repl --package universe-reverse-instances

参考リソース

• universe-reverse-instances on Hackage

• dmwit/universe