├── .github └── workflows │ ├── ci.yml │ └── release.yml ├── .gitignore ├── .scalafmt.conf ├── LICENSE ├── README.md ├── circe-integration └── src │ ├── main │ └── scala │ │ └── pl │ │ └── msitko │ │ └── refined │ │ └── circe │ │ └── Codecs.scala │ └── test │ └── scala │ └── pl │ └── msitko │ └── refined │ └── circe │ └── CodecsSpec.scala ├── core └── src │ ├── main │ └── scala │ │ └── pl │ │ └── msitko │ │ └── refined │ │ ├── Refined.scala │ │ ├── compiletime │ │ ├── ValidateExprInt.scala │ │ ├── ValidateExprList.scala │ │ ├── ValidateExprString.scala │ │ ├── ValidateInt.scala │ │ ├── ValidateList.scala │ │ └── ValidateString.scala │ │ ├── macros │ │ └── ListMacros.scala │ │ └── runtime │ │ ├── ValidateExprInt.scala │ │ ├── ValidateExprList.scala │ │ └── ValidateExprString.scala │ └── test │ └── scala │ ├── example │ └── RefinedAccessSpec.scala │ └── pl │ └── msitko │ └── refined │ ├── IntSpec.scala │ ├── ListSpec.scala │ ├── RuntimeIntSpec.scala │ ├── StringSpec.scala │ ├── macros │ └── ListMacrosSpec.scala │ └── testUtils │ └── CompileTimeSuite.scala └── project ├── Common.scala ├── Dependencies.scala ├── build.properties └── plugins.sbt /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | .idea 3 | .DS_Store 4 | *.bloop 5 | *.metals 6 | .bsp 7 | .vscode 8 | -------------------------------------------------------------------------------- /.scalafmt.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/.scalafmt.conf -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/README.md -------------------------------------------------------------------------------- /circe-integration/src/main/scala/pl/msitko/refined/circe/Codecs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/circe-integration/src/main/scala/pl/msitko/refined/circe/Codecs.scala -------------------------------------------------------------------------------- /circe-integration/src/test/scala/pl/msitko/refined/circe/CodecsSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/circe-integration/src/test/scala/pl/msitko/refined/circe/CodecsSpec.scala -------------------------------------------------------------------------------- /core/src/main/scala/pl/msitko/refined/Refined.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/main/scala/pl/msitko/refined/Refined.scala -------------------------------------------------------------------------------- /core/src/main/scala/pl/msitko/refined/compiletime/ValidateExprInt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/main/scala/pl/msitko/refined/compiletime/ValidateExprInt.scala -------------------------------------------------------------------------------- /core/src/main/scala/pl/msitko/refined/compiletime/ValidateExprList.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/main/scala/pl/msitko/refined/compiletime/ValidateExprList.scala -------------------------------------------------------------------------------- /core/src/main/scala/pl/msitko/refined/compiletime/ValidateExprString.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/main/scala/pl/msitko/refined/compiletime/ValidateExprString.scala -------------------------------------------------------------------------------- /core/src/main/scala/pl/msitko/refined/compiletime/ValidateInt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/main/scala/pl/msitko/refined/compiletime/ValidateInt.scala -------------------------------------------------------------------------------- /core/src/main/scala/pl/msitko/refined/compiletime/ValidateList.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/main/scala/pl/msitko/refined/compiletime/ValidateList.scala -------------------------------------------------------------------------------- /core/src/main/scala/pl/msitko/refined/compiletime/ValidateString.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/main/scala/pl/msitko/refined/compiletime/ValidateString.scala -------------------------------------------------------------------------------- /core/src/main/scala/pl/msitko/refined/macros/ListMacros.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/main/scala/pl/msitko/refined/macros/ListMacros.scala -------------------------------------------------------------------------------- /core/src/main/scala/pl/msitko/refined/runtime/ValidateExprInt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/main/scala/pl/msitko/refined/runtime/ValidateExprInt.scala -------------------------------------------------------------------------------- /core/src/main/scala/pl/msitko/refined/runtime/ValidateExprList.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/main/scala/pl/msitko/refined/runtime/ValidateExprList.scala -------------------------------------------------------------------------------- /core/src/main/scala/pl/msitko/refined/runtime/ValidateExprString.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/main/scala/pl/msitko/refined/runtime/ValidateExprString.scala -------------------------------------------------------------------------------- /core/src/test/scala/example/RefinedAccessSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/test/scala/example/RefinedAccessSpec.scala -------------------------------------------------------------------------------- /core/src/test/scala/pl/msitko/refined/IntSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/test/scala/pl/msitko/refined/IntSpec.scala -------------------------------------------------------------------------------- /core/src/test/scala/pl/msitko/refined/ListSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/test/scala/pl/msitko/refined/ListSpec.scala -------------------------------------------------------------------------------- /core/src/test/scala/pl/msitko/refined/RuntimeIntSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/test/scala/pl/msitko/refined/RuntimeIntSpec.scala -------------------------------------------------------------------------------- /core/src/test/scala/pl/msitko/refined/StringSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/test/scala/pl/msitko/refined/StringSpec.scala -------------------------------------------------------------------------------- /core/src/test/scala/pl/msitko/refined/macros/ListMacrosSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/test/scala/pl/msitko/refined/macros/ListMacrosSpec.scala -------------------------------------------------------------------------------- /core/src/test/scala/pl/msitko/refined/testUtils/CompileTimeSuite.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/core/src/test/scala/pl/msitko/refined/testUtils/CompileTimeSuite.scala -------------------------------------------------------------------------------- /project/Common.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/project/Common.scala -------------------------------------------------------------------------------- /project/Dependencies.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/project/Dependencies.scala -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.9.6 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/note/mini-refined/HEAD/project/plugins.sbt --------------------------------------------------------------------------------