├── .github ├── FUNDING.yml ├── dependabot.yml └── workflows │ ├── ci.yml │ └── release.yml ├── .gitignore ├── .scalafix.conf ├── LICENSE ├── README.md ├── benchmark └── src │ └── main │ └── scala │ └── nyaya │ └── benchmark │ ├── GenBM.scala │ └── ScalaBM.scala ├── bin └── gen-tuple_rnggen ├── doc ├── FEATURES.md └── changelog │ ├── 0.10.0.md │ ├── 0.11.0.md │ ├── 0.5.md │ ├── 0.6.0.md │ ├── 0.6.1.md │ ├── 0.7.0.md │ ├── 0.7.1.md │ ├── 0.7.2.md │ ├── 0.7.3.md │ ├── 0.8.0.md │ ├── 0.8.1.md │ ├── 0.9.0.md │ ├── 1.0.0.md │ └── 1.1.0.md ├── gen-circe └── shared │ └── src │ ├── main │ └── scala │ │ └── nyaya │ │ └── gen │ │ └── circe │ │ └── GenJson.scala │ └── test │ └── scala │ └── nyaya │ └── gen │ └── circe │ └── GenJsonTest.scala ├── gen ├── js │ └── src │ │ └── main │ │ └── scala │ │ └── nyaya │ │ └── gen │ │ └── DateTimeBuilderJava8.scala ├── jvm │ └── src │ │ └── main │ │ └── scala │ │ └── nyaya │ │ └── gen │ │ └── DateTimeBuilderJava8.scala └── shared │ └── src │ ├── main │ ├── scala-2.13 │ │ └── nyaya │ │ │ └── gen │ │ │ └── Scala213Specific.scala │ ├── scala-3 │ │ └── nyaya │ │ │ └── gen │ │ │ └── Scala3Specific.scala │ └── scala │ │ └── nyaya │ │ └── gen │ │ ├── DateTimeBuilder.scala │ │ ├── Distinct.scala │ │ ├── Gen.scala │ │ ├── GenAbstractJson.scala │ │ ├── GenCtx.scala │ │ ├── GenSize.scala │ │ ├── SetLike.scala │ │ ├── SizeSpec.scala │ │ ├── StateGen.scala │ │ └── package.scala │ └── test │ ├── scala-2.13 │ └── nyaya │ │ └── gen │ │ └── Gen213Test.scala │ ├── scala-3 │ └── nyaya │ │ └── gen │ │ └── Gen3Test.scala │ └── scala │ └── nyaya │ └── gen │ └── DistinctTest.scala ├── project ├── Build.scala ├── Dependencies.scala ├── Lib.scala ├── build.properties └── plugins.sbt ├── prop └── shared │ └── src │ ├── main │ └── scala │ │ └── nyaya │ │ └── prop │ │ ├── CycleDetector.scala │ │ ├── Eval.scala │ │ ├── EvalOver.scala │ │ ├── Logic.scala │ │ ├── Prop.scala │ │ └── package.scala │ └── test │ └── scala │ └── nyaya │ └── prop │ ├── CycleDetectorTest.scala │ └── PropTest.scala ├── scalafix.sbt ├── test ├── js │ └── src │ │ └── main │ │ └── scala │ │ └── nyaya │ │ └── test │ │ └── DefaultSettings.scala ├── jvm │ └── src │ │ ├── main │ │ └── scala │ │ │ └── nyaya │ │ │ └── test │ │ │ ├── DefaultSettings.scala │ │ │ └── ParallelExecutor.scala │ │ └── test │ │ └── scala │ │ └── nyaya │ │ └── gen │ │ └── GenTestJvm.scala └── shared │ └── src │ ├── main │ └── scala │ │ └── nyaya │ │ └── test │ │ ├── Domain.scala │ │ ├── Executor.scala │ │ ├── PTest.scala │ │ ├── PropTest.scala │ │ ├── Result.scala │ │ ├── Samples.scala │ │ └── Settings.scala │ └── test │ └── scala │ └── nyaya │ ├── gen │ ├── GenTest.scala │ └── StateGenTest.scala │ └── test │ ├── DomainTest.scala │ └── PropTestTest.scala └── util ├── js └── src │ └── main │ └── scala │ └── nyaya │ └── util │ └── Platform.scala ├── jvm └── src │ └── main │ └── scala │ └── nyaya │ └── util │ └── Platform.scala └── shared └── src └── main ├── scala-2.13 └── nyaya │ └── util │ └── ScalaVerSpecificUtil.scala ├── scala-3 └── nyaya │ └── util │ └── ScalaVerSpecificUtil.scala └── scala └── nyaya └── util ├── Util.scala └── package.scala /.github/FUNDING.yml: -------------------------------------------------------------------------------- 1 | patreon: japgolly 2 | -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/.gitignore -------------------------------------------------------------------------------- /.scalafix.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/.scalafix.conf -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/README.md -------------------------------------------------------------------------------- /benchmark/src/main/scala/nyaya/benchmark/GenBM.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/benchmark/src/main/scala/nyaya/benchmark/GenBM.scala -------------------------------------------------------------------------------- /benchmark/src/main/scala/nyaya/benchmark/ScalaBM.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/benchmark/src/main/scala/nyaya/benchmark/ScalaBM.scala -------------------------------------------------------------------------------- /bin/gen-tuple_rnggen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/bin/gen-tuple_rnggen -------------------------------------------------------------------------------- /doc/FEATURES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/FEATURES.md -------------------------------------------------------------------------------- /doc/changelog/0.10.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/0.10.0.md -------------------------------------------------------------------------------- /doc/changelog/0.11.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/0.11.0.md -------------------------------------------------------------------------------- /doc/changelog/0.5.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/0.5.md -------------------------------------------------------------------------------- /doc/changelog/0.6.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/0.6.0.md -------------------------------------------------------------------------------- /doc/changelog/0.6.1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/0.6.1.md -------------------------------------------------------------------------------- /doc/changelog/0.7.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/0.7.0.md -------------------------------------------------------------------------------- /doc/changelog/0.7.1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/0.7.1.md -------------------------------------------------------------------------------- /doc/changelog/0.7.2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/0.7.2.md -------------------------------------------------------------------------------- /doc/changelog/0.7.3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/0.7.3.md -------------------------------------------------------------------------------- /doc/changelog/0.8.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/0.8.0.md -------------------------------------------------------------------------------- /doc/changelog/0.8.1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/0.8.1.md -------------------------------------------------------------------------------- /doc/changelog/0.9.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/0.9.0.md -------------------------------------------------------------------------------- /doc/changelog/1.0.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/1.0.0.md -------------------------------------------------------------------------------- /doc/changelog/1.1.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/doc/changelog/1.1.0.md -------------------------------------------------------------------------------- /gen-circe/shared/src/main/scala/nyaya/gen/circe/GenJson.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen-circe/shared/src/main/scala/nyaya/gen/circe/GenJson.scala -------------------------------------------------------------------------------- /gen-circe/shared/src/test/scala/nyaya/gen/circe/GenJsonTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen-circe/shared/src/test/scala/nyaya/gen/circe/GenJsonTest.scala -------------------------------------------------------------------------------- /gen/js/src/main/scala/nyaya/gen/DateTimeBuilderJava8.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/js/src/main/scala/nyaya/gen/DateTimeBuilderJava8.scala -------------------------------------------------------------------------------- /gen/jvm/src/main/scala/nyaya/gen/DateTimeBuilderJava8.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/jvm/src/main/scala/nyaya/gen/DateTimeBuilderJava8.scala -------------------------------------------------------------------------------- /gen/shared/src/main/scala-2.13/nyaya/gen/Scala213Specific.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/main/scala-2.13/nyaya/gen/Scala213Specific.scala -------------------------------------------------------------------------------- /gen/shared/src/main/scala-3/nyaya/gen/Scala3Specific.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/main/scala-3/nyaya/gen/Scala3Specific.scala -------------------------------------------------------------------------------- /gen/shared/src/main/scala/nyaya/gen/DateTimeBuilder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/main/scala/nyaya/gen/DateTimeBuilder.scala -------------------------------------------------------------------------------- /gen/shared/src/main/scala/nyaya/gen/Distinct.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/main/scala/nyaya/gen/Distinct.scala -------------------------------------------------------------------------------- /gen/shared/src/main/scala/nyaya/gen/Gen.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/main/scala/nyaya/gen/Gen.scala -------------------------------------------------------------------------------- /gen/shared/src/main/scala/nyaya/gen/GenAbstractJson.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/main/scala/nyaya/gen/GenAbstractJson.scala -------------------------------------------------------------------------------- /gen/shared/src/main/scala/nyaya/gen/GenCtx.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/main/scala/nyaya/gen/GenCtx.scala -------------------------------------------------------------------------------- /gen/shared/src/main/scala/nyaya/gen/GenSize.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/main/scala/nyaya/gen/GenSize.scala -------------------------------------------------------------------------------- /gen/shared/src/main/scala/nyaya/gen/SetLike.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/main/scala/nyaya/gen/SetLike.scala -------------------------------------------------------------------------------- /gen/shared/src/main/scala/nyaya/gen/SizeSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/main/scala/nyaya/gen/SizeSpec.scala -------------------------------------------------------------------------------- /gen/shared/src/main/scala/nyaya/gen/StateGen.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/main/scala/nyaya/gen/StateGen.scala -------------------------------------------------------------------------------- /gen/shared/src/main/scala/nyaya/gen/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/main/scala/nyaya/gen/package.scala -------------------------------------------------------------------------------- /gen/shared/src/test/scala-2.13/nyaya/gen/Gen213Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/test/scala-2.13/nyaya/gen/Gen213Test.scala -------------------------------------------------------------------------------- /gen/shared/src/test/scala-3/nyaya/gen/Gen3Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/test/scala-3/nyaya/gen/Gen3Test.scala -------------------------------------------------------------------------------- /gen/shared/src/test/scala/nyaya/gen/DistinctTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/gen/shared/src/test/scala/nyaya/gen/DistinctTest.scala -------------------------------------------------------------------------------- /project/Build.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/project/Build.scala -------------------------------------------------------------------------------- /project/Dependencies.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/project/Dependencies.scala -------------------------------------------------------------------------------- /project/Lib.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/project/Lib.scala -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.7.1 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /prop/shared/src/main/scala/nyaya/prop/CycleDetector.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/prop/shared/src/main/scala/nyaya/prop/CycleDetector.scala -------------------------------------------------------------------------------- /prop/shared/src/main/scala/nyaya/prop/Eval.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/prop/shared/src/main/scala/nyaya/prop/Eval.scala -------------------------------------------------------------------------------- /prop/shared/src/main/scala/nyaya/prop/EvalOver.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/prop/shared/src/main/scala/nyaya/prop/EvalOver.scala -------------------------------------------------------------------------------- /prop/shared/src/main/scala/nyaya/prop/Logic.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/prop/shared/src/main/scala/nyaya/prop/Logic.scala -------------------------------------------------------------------------------- /prop/shared/src/main/scala/nyaya/prop/Prop.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/prop/shared/src/main/scala/nyaya/prop/Prop.scala -------------------------------------------------------------------------------- /prop/shared/src/main/scala/nyaya/prop/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/prop/shared/src/main/scala/nyaya/prop/package.scala -------------------------------------------------------------------------------- /prop/shared/src/test/scala/nyaya/prop/CycleDetectorTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/prop/shared/src/test/scala/nyaya/prop/CycleDetectorTest.scala -------------------------------------------------------------------------------- /prop/shared/src/test/scala/nyaya/prop/PropTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/prop/shared/src/test/scala/nyaya/prop/PropTest.scala -------------------------------------------------------------------------------- /scalafix.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/scalafix.sbt -------------------------------------------------------------------------------- /test/js/src/main/scala/nyaya/test/DefaultSettings.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/js/src/main/scala/nyaya/test/DefaultSettings.scala -------------------------------------------------------------------------------- /test/jvm/src/main/scala/nyaya/test/DefaultSettings.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/jvm/src/main/scala/nyaya/test/DefaultSettings.scala -------------------------------------------------------------------------------- /test/jvm/src/main/scala/nyaya/test/ParallelExecutor.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/jvm/src/main/scala/nyaya/test/ParallelExecutor.scala -------------------------------------------------------------------------------- /test/jvm/src/test/scala/nyaya/gen/GenTestJvm.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/jvm/src/test/scala/nyaya/gen/GenTestJvm.scala -------------------------------------------------------------------------------- /test/shared/src/main/scala/nyaya/test/Domain.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/shared/src/main/scala/nyaya/test/Domain.scala -------------------------------------------------------------------------------- /test/shared/src/main/scala/nyaya/test/Executor.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/shared/src/main/scala/nyaya/test/Executor.scala -------------------------------------------------------------------------------- /test/shared/src/main/scala/nyaya/test/PTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/shared/src/main/scala/nyaya/test/PTest.scala -------------------------------------------------------------------------------- /test/shared/src/main/scala/nyaya/test/PropTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/shared/src/main/scala/nyaya/test/PropTest.scala -------------------------------------------------------------------------------- /test/shared/src/main/scala/nyaya/test/Result.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/shared/src/main/scala/nyaya/test/Result.scala -------------------------------------------------------------------------------- /test/shared/src/main/scala/nyaya/test/Samples.scala: -------------------------------------------------------------------------------- 1 | package nyaya.test 2 | 3 | 4 | 5 | object Samples { 6 | } 7 | -------------------------------------------------------------------------------- /test/shared/src/main/scala/nyaya/test/Settings.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/shared/src/main/scala/nyaya/test/Settings.scala -------------------------------------------------------------------------------- /test/shared/src/test/scala/nyaya/gen/GenTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/shared/src/test/scala/nyaya/gen/GenTest.scala -------------------------------------------------------------------------------- /test/shared/src/test/scala/nyaya/gen/StateGenTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/shared/src/test/scala/nyaya/gen/StateGenTest.scala -------------------------------------------------------------------------------- /test/shared/src/test/scala/nyaya/test/DomainTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/shared/src/test/scala/nyaya/test/DomainTest.scala -------------------------------------------------------------------------------- /test/shared/src/test/scala/nyaya/test/PropTestTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/test/shared/src/test/scala/nyaya/test/PropTestTest.scala -------------------------------------------------------------------------------- /util/js/src/main/scala/nyaya/util/Platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/util/js/src/main/scala/nyaya/util/Platform.scala -------------------------------------------------------------------------------- /util/jvm/src/main/scala/nyaya/util/Platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/util/jvm/src/main/scala/nyaya/util/Platform.scala -------------------------------------------------------------------------------- /util/shared/src/main/scala-2.13/nyaya/util/ScalaVerSpecificUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/util/shared/src/main/scala-2.13/nyaya/util/ScalaVerSpecificUtil.scala -------------------------------------------------------------------------------- /util/shared/src/main/scala-3/nyaya/util/ScalaVerSpecificUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/util/shared/src/main/scala-3/nyaya/util/ScalaVerSpecificUtil.scala -------------------------------------------------------------------------------- /util/shared/src/main/scala/nyaya/util/Util.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/util/shared/src/main/scala/nyaya/util/Util.scala -------------------------------------------------------------------------------- /util/shared/src/main/scala/nyaya/util/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japgolly/nyaya/HEAD/util/shared/src/main/scala/nyaya/util/package.scala --------------------------------------------------------------------------------