refinedで値が満たすべき条件を型で表現する | DevelopersIO

こんにちは、山崎です。 今回はrefinedというライブラリをご紹介します。 refinedとは refinedはRefinement Type(篩型)をScalaで実現するためのライブラリで、既存の型に対して型レベルで満たすべき条件を指定することで、取りうる値を制限することができます。もともとはHaskellの同名のライブラリを移植したもののようです 依存ライブラリ まずRefinedを依存ライブラリに追加します。