├── .github └── workflows │ ├── release.yml │ └── site.yml ├── .gitignore ├── .scalafmt.conf ├── README.md ├── core └── shared │ └── src │ └── main │ └── scala │ └── zio │ └── constraintless │ ├── AreElementsOf.scala │ ├── Instances.scala │ ├── IsElementOf.scala │ └── TypeList.scala ├── docs ├── index.md ├── package.json ├── problem.scala └── sidebars.js ├── examples └── shared │ └── src │ └── main │ └── scala │ └── zio │ └── constraintless │ └── examples │ ├── Expr.scala │ ├── IntBool.scala │ └── Show.scala ├── project ├── build.properties └── plugins.sbt └── renovate.json /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/site.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/.github/workflows/site.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/.gitignore -------------------------------------------------------------------------------- /.scalafmt.conf: -------------------------------------------------------------------------------- 1 | version = "3.5.3" 2 | runner.dialect = scala213 -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/README.md -------------------------------------------------------------------------------- /core/shared/src/main/scala/zio/constraintless/AreElementsOf.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/core/shared/src/main/scala/zio/constraintless/AreElementsOf.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/zio/constraintless/Instances.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/core/shared/src/main/scala/zio/constraintless/Instances.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/zio/constraintless/IsElementOf.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/core/shared/src/main/scala/zio/constraintless/IsElementOf.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/zio/constraintless/TypeList.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/core/shared/src/main/scala/zio/constraintless/TypeList.scala -------------------------------------------------------------------------------- /docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/docs/index.md -------------------------------------------------------------------------------- /docs/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/docs/package.json -------------------------------------------------------------------------------- /docs/problem.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/docs/problem.scala -------------------------------------------------------------------------------- /docs/sidebars.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/docs/sidebars.js -------------------------------------------------------------------------------- /examples/shared/src/main/scala/zio/constraintless/examples/Expr.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/examples/shared/src/main/scala/zio/constraintless/examples/Expr.scala -------------------------------------------------------------------------------- /examples/shared/src/main/scala/zio/constraintless/examples/IntBool.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/examples/shared/src/main/scala/zio/constraintless/examples/IntBool.scala -------------------------------------------------------------------------------- /examples/shared/src/main/scala/zio/constraintless/examples/Show.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/examples/shared/src/main/scala/zio/constraintless/examples/Show.scala -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version = 1.10.1 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /renovate.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zio/zio-constraintless/HEAD/renovate.json --------------------------------------------------------------------------------