記事情報企業

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

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

こんにちは、山崎です。 今回はrefinedというライブラリをご紹介します。 refinedとは refinedはRefinement Type(篩型)をScalaで実現するためのライブラリで、既存の型に対して型レベルで [...]...

更新日: 2017-12-01
記事の見出し
  • refinedで値が満たすべき条件を型で表現する
  • refinedとは
  • 依存ライブラリ
  • 簡単な例
  • コレクションや文字列の例
  • Circeと一緒に使う
  • まとめ
  • 今回使用したライブラリ
  • 今回の記事のコード
テックブログ情報
refinedで値が満たすべき条件を型で表現する
ブログAWS/iOS技術者の必読メディア:クラスメソッド株式会社ブログ
ブログ概要AWS/iOS技術者の必読メディア
会社名クラスメソッド株式会社
会社概要AWSプロフェッショナル集団として受託システム開発を行う企業です