https://b.hatena.ne.jp/entry/s/github.com/fthomas/refined refined is a Scala library for refining types with type-level predicates which constrain the set of values described by the refined type. It started as a port of the refined Haskell library by Niki... https://b.hatena.ne.jp/yukiyan_w/20200429#bookmark-320371779 2020-04-29T02:23:50Z scala https://b.hatena.ne.jp/Hiro_Matsuno/20170211#bookmark-320371779 2017-02-11T06:52:37Z https://b.hatena.ne.jp/Nagise/20170210#bookmark-320371779 2017-02-10T01:14:26Z Scala