├── .github ├── FUNDING.yml ├── dependabot.yml └── workflows │ └── ci.yml ├── .gitignore ├── .scalafix.conf ├── CHANGELOG.md ├── LICENCE ├── README.md ├── project ├── Build.scala ├── Dependencies.scala ├── Lib.scala ├── build.properties └── plugins.sbt ├── release.sbt ├── scalafix.sbt ├── univeq-cats └── shared │ └── src │ └── main │ ├── scala-2 │ └── japgolly │ │ └── univeq │ │ └── UnivEqCats.scala │ └── scala-3 │ └── japgolly │ └── univeq │ └── UnivEqCats.scala ├── univeq ├── js │ └── src │ │ └── main │ │ ├── scala-2 │ │ └── japgolly │ │ │ └── univeq │ │ │ └── PlatformUnivEq.scala │ │ └── scala-3 │ │ └── japgolly │ │ └── univeq │ │ └── PlatformUnivEq.scala ├── jvm │ └── src │ │ ├── main │ │ └── scala │ │ │ └── japgolly │ │ │ └── univeq │ │ │ └── PlatformUnivEq.scala │ │ └── test │ │ ├── java │ │ └── japgolly │ │ │ └── univeq │ │ │ └── JavaEnum.java │ │ ├── resources-2.13 │ │ └── BytecodeTest$TestSubject.txt │ │ ├── resources-3 │ │ └── BytecodeTest$TestSubject.txt │ │ └── scala │ │ └── japgolly │ │ └── univeq │ │ ├── BytecodeTest.scala │ │ └── JvmRuntimeTest.scala └── shared │ └── src │ ├── main │ ├── scala-2.13 │ │ └── japgolly │ │ │ └── univeq │ │ │ └── ScalaUnivEq.scala │ ├── scala-2 │ │ └── japgolly │ │ │ └── univeq │ │ │ ├── UnivEq.scala │ │ │ ├── UnivEqExports.scala │ │ │ ├── macros │ │ │ ├── MacroUtils.scala │ │ │ └── UnivEqMacros.scala │ │ │ └── package.scala │ └── scala-3 │ │ └── japgolly │ │ └── univeq │ │ ├── ScalaUnivEq.scala │ │ ├── UnivEq.scala │ │ ├── UnivEqExports.scala │ │ ├── internal │ │ └── Derivation.scala │ │ └── ops.scala │ └── test │ ├── scala-2 │ └── japgolly │ │ └── univeq │ │ └── external │ │ └── EmptyDerivationTest.scala │ └── scala │ └── japgolly │ ├── microlibs │ └── recursion │ │ ├── Fix.scala │ │ └── package.scala │ └── univeq │ ├── RuntimeTest.scala │ └── external │ ├── AvailableTraitsTest.scala │ ├── DerivationTest.scala │ ├── FixpointDerivationTest.scala │ └── StdlibTest.scala └── version.sbt /.github/FUNDING.yml: -------------------------------------------------------------------------------- 1 | patreon: japgolly 2 | -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/.gitignore -------------------------------------------------------------------------------- /.scalafix.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/.scalafix.conf -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/LICENCE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/README.md -------------------------------------------------------------------------------- /project/Build.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/project/Build.scala -------------------------------------------------------------------------------- /project/Dependencies.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/project/Dependencies.scala -------------------------------------------------------------------------------- /project/Lib.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/project/Lib.scala -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.5.5 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /release.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/release.sbt -------------------------------------------------------------------------------- /scalafix.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/scalafix.sbt -------------------------------------------------------------------------------- /univeq-cats/shared/src/main/scala-2/japgolly/univeq/UnivEqCats.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq-cats/shared/src/main/scala-2/japgolly/univeq/UnivEqCats.scala -------------------------------------------------------------------------------- /univeq-cats/shared/src/main/scala-3/japgolly/univeq/UnivEqCats.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq-cats/shared/src/main/scala-3/japgolly/univeq/UnivEqCats.scala -------------------------------------------------------------------------------- /univeq/js/src/main/scala-2/japgolly/univeq/PlatformUnivEq.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/js/src/main/scala-2/japgolly/univeq/PlatformUnivEq.scala -------------------------------------------------------------------------------- /univeq/js/src/main/scala-3/japgolly/univeq/PlatformUnivEq.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/js/src/main/scala-3/japgolly/univeq/PlatformUnivEq.scala -------------------------------------------------------------------------------- /univeq/jvm/src/main/scala/japgolly/univeq/PlatformUnivEq.scala: -------------------------------------------------------------------------------- 1 | package japgolly.univeq 2 | 3 | trait PlatformUnivEq { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /univeq/jvm/src/test/java/japgolly/univeq/JavaEnum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/jvm/src/test/java/japgolly/univeq/JavaEnum.java -------------------------------------------------------------------------------- /univeq/jvm/src/test/resources-2.13/BytecodeTest$TestSubject.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/jvm/src/test/resources-2.13/BytecodeTest$TestSubject.txt -------------------------------------------------------------------------------- /univeq/jvm/src/test/resources-3/BytecodeTest$TestSubject.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/jvm/src/test/resources-3/BytecodeTest$TestSubject.txt -------------------------------------------------------------------------------- /univeq/jvm/src/test/scala/japgolly/univeq/BytecodeTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/jvm/src/test/scala/japgolly/univeq/BytecodeTest.scala -------------------------------------------------------------------------------- /univeq/jvm/src/test/scala/japgolly/univeq/JvmRuntimeTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/jvm/src/test/scala/japgolly/univeq/JvmRuntimeTest.scala -------------------------------------------------------------------------------- /univeq/shared/src/main/scala-2.13/japgolly/univeq/ScalaUnivEq.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/main/scala-2.13/japgolly/univeq/ScalaUnivEq.scala -------------------------------------------------------------------------------- /univeq/shared/src/main/scala-2/japgolly/univeq/UnivEq.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/main/scala-2/japgolly/univeq/UnivEq.scala -------------------------------------------------------------------------------- /univeq/shared/src/main/scala-2/japgolly/univeq/UnivEqExports.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/main/scala-2/japgolly/univeq/UnivEqExports.scala -------------------------------------------------------------------------------- /univeq/shared/src/main/scala-2/japgolly/univeq/macros/MacroUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/main/scala-2/japgolly/univeq/macros/MacroUtils.scala -------------------------------------------------------------------------------- /univeq/shared/src/main/scala-2/japgolly/univeq/macros/UnivEqMacros.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/main/scala-2/japgolly/univeq/macros/UnivEqMacros.scala -------------------------------------------------------------------------------- /univeq/shared/src/main/scala-2/japgolly/univeq/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/main/scala-2/japgolly/univeq/package.scala -------------------------------------------------------------------------------- /univeq/shared/src/main/scala-3/japgolly/univeq/ScalaUnivEq.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/main/scala-3/japgolly/univeq/ScalaUnivEq.scala -------------------------------------------------------------------------------- /univeq/shared/src/main/scala-3/japgolly/univeq/UnivEq.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/main/scala-3/japgolly/univeq/UnivEq.scala -------------------------------------------------------------------------------- /univeq/shared/src/main/scala-3/japgolly/univeq/UnivEqExports.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/main/scala-3/japgolly/univeq/UnivEqExports.scala -------------------------------------------------------------------------------- /univeq/shared/src/main/scala-3/japgolly/univeq/internal/Derivation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/main/scala-3/japgolly/univeq/internal/Derivation.scala -------------------------------------------------------------------------------- /univeq/shared/src/main/scala-3/japgolly/univeq/ops.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/main/scala-3/japgolly/univeq/ops.scala -------------------------------------------------------------------------------- /univeq/shared/src/test/scala-2/japgolly/univeq/external/EmptyDerivationTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/test/scala-2/japgolly/univeq/external/EmptyDerivationTest.scala -------------------------------------------------------------------------------- /univeq/shared/src/test/scala/japgolly/microlibs/recursion/Fix.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/test/scala/japgolly/microlibs/recursion/Fix.scala -------------------------------------------------------------------------------- /univeq/shared/src/test/scala/japgolly/microlibs/recursion/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/test/scala/japgolly/microlibs/recursion/package.scala -------------------------------------------------------------------------------- /univeq/shared/src/test/scala/japgolly/univeq/RuntimeTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/test/scala/japgolly/univeq/RuntimeTest.scala -------------------------------------------------------------------------------- /univeq/shared/src/test/scala/japgolly/univeq/external/AvailableTraitsTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/test/scala/japgolly/univeq/external/AvailableTraitsTest.scala -------------------------------------------------------------------------------- /univeq/shared/src/test/scala/japgolly/univeq/external/DerivationTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/test/scala/japgolly/univeq/external/DerivationTest.scala -------------------------------------------------------------------------------- /univeq/shared/src/test/scala/japgolly/univeq/external/FixpointDerivationTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/test/scala/japgolly/univeq/external/FixpointDerivationTest.scala -------------------------------------------------------------------------------- /univeq/shared/src/test/scala/japgolly/univeq/external/StdlibTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/univeq/HEAD/univeq/shared/src/test/scala/japgolly/univeq/external/StdlibTest.scala -------------------------------------------------------------------------------- /version.sbt: -------------------------------------------------------------------------------- 1 | ThisBuild / version := "2.0.2-SNAPSHOT" 2 | --------------------------------------------------------------------------------