├── .gitignore ├── LICENSE ├── README.md ├── core └── src │ └── main │ └── scala │ └── bound │ ├── Bound.scala │ ├── Equal1.scala │ ├── Name.scala │ ├── Scope.scala │ ├── Var.scala │ └── package.scala ├── examples └── src │ └── main │ └── scala │ └── exp │ └── Exp.scala ├── f0-binding └── src │ └── main │ └── scala │ └── bound │ └── BoundSerialization.scala ├── project ├── build.properties ├── build.scala └── plugins.sbt ├── sbt ├── scalacheck-binding └── src │ └── main │ └── scala │ └── bound │ └── scalacheck │ └── BoundArbitraryInstances.scala └── tests └── src └── test └── scala └── bound ├── BoundProperties.scala ├── ScopeTests.scala └── SerializationTests.scala /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/README.md -------------------------------------------------------------------------------- /core/src/main/scala/bound/Bound.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/core/src/main/scala/bound/Bound.scala -------------------------------------------------------------------------------- /core/src/main/scala/bound/Equal1.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/core/src/main/scala/bound/Equal1.scala -------------------------------------------------------------------------------- /core/src/main/scala/bound/Name.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/core/src/main/scala/bound/Name.scala -------------------------------------------------------------------------------- /core/src/main/scala/bound/Scope.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/core/src/main/scala/bound/Scope.scala -------------------------------------------------------------------------------- /core/src/main/scala/bound/Var.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/core/src/main/scala/bound/Var.scala -------------------------------------------------------------------------------- /core/src/main/scala/bound/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/core/src/main/scala/bound/package.scala -------------------------------------------------------------------------------- /examples/src/main/scala/exp/Exp.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/examples/src/main/scala/exp/Exp.scala -------------------------------------------------------------------------------- /f0-binding/src/main/scala/bound/BoundSerialization.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/f0-binding/src/main/scala/bound/BoundSerialization.scala -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=0.13.8 2 | -------------------------------------------------------------------------------- /project/build.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/project/build.scala -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/sbt -------------------------------------------------------------------------------- /scalacheck-binding/src/main/scala/bound/scalacheck/BoundArbitraryInstances.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/scalacheck-binding/src/main/scala/bound/scalacheck/BoundArbitraryInstances.scala -------------------------------------------------------------------------------- /tests/src/test/scala/bound/BoundProperties.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/tests/src/test/scala/bound/BoundProperties.scala -------------------------------------------------------------------------------- /tests/src/test/scala/bound/ScopeTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/tests/src/test/scala/bound/ScopeTests.scala -------------------------------------------------------------------------------- /tests/src/test/scala/bound/SerializationTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runarorama/scala-bound/HEAD/tests/src/test/scala/bound/SerializationTests.scala --------------------------------------------------------------------------------