├── .gitignore ├── .travis.yml ├── CHANGELOG ├── 0.10.0.md ├── 0.10.1.md ├── 0.10.2.md ├── 0.10.3.md ├── 0.11.0.md ├── 0.11.1.md ├── 0.11.2.md ├── 0.11.3.md ├── 0.12.0.md ├── 0.12.1.md ├── 0.12.2.md ├── 0.12.3.md ├── 0.13.0.md ├── 0.14.0.md ├── 0.15.0.md ├── 0.15.1.md ├── 0.15.2.md ├── 0.16.0.md ├── 0.16.1.md ├── 0.16.2.md ├── 0.3.0.md ├── 0.3.1.md ├── 0.4.0.md ├── 0.5.0.md ├── 0.5.1.md ├── 0.6.0.md ├── 0.7.0.md ├── 0.8.0.md └── 0.9.0.md ├── CLA.md ├── CODE_OF_CONDUCT.md ├── LICENSE ├── README.md ├── core ├── build.sbt └── shared │ └── src │ └── main │ └── scala │ └── turtles │ ├── Based.scala │ ├── Birecursive.scala │ ├── BirecursiveT.scala │ ├── Corecursive.scala │ ├── CorecursiveT.scala │ ├── Delay.scala │ ├── Embed.scala │ ├── EqT.scala │ ├── Hole.scala │ ├── Merge.scala │ ├── Nested.scala │ ├── OrderT.scala │ ├── Recursive.scala │ ├── RecursiveT.scala │ ├── ShowT.scala │ ├── data │ ├── Fix.scala │ ├── Mu.scala │ ├── Nu.scala │ ├── cofree.scala │ ├── either.scala │ ├── free.scala │ ├── id.scala │ ├── list.scala │ ├── nel.scala │ ├── option.scala │ └── package.scala │ ├── derived │ └── package.scala │ ├── implicits │ ├── AlgebraOps.scala │ ├── CoalgebraOps.scala │ ├── IdOps.scala │ └── package.scala │ ├── instances │ └── fixedpoint │ │ └── package.scala │ ├── package.scala │ └── patterns │ ├── AndMaybe.scala │ ├── CoEnv.scala │ ├── Diff.scala │ ├── Diffable.scala │ ├── EnvT.scala │ ├── ListF.scala │ ├── PotentialFailure.scala │ └── package.scala ├── docs └── src │ └── main │ └── tut │ ├── docs │ ├── 01-Getting-Started.md │ ├── 02-A-First-Example.md │ ├── 03-Algebras.md │ └── 04-Recursion-Schemes.md │ └── index.md ├── project ├── build.properties └── plugins.sbt ├── resources ├── algebras.png ├── recursion-schemes.pdf ├── recursion-schemes.png ├── turtles.png └── turtles.svg ├── scalacheck └── shared │ └── src │ └── main │ └── scala │ └── turtles │ └── scalacheck │ ├── arbitrary.scala │ ├── cogen.scala │ └── shrink.scala ├── shell.nix ├── tests └── shared │ └── src │ └── test │ └── scala │ ├── matryoshka │ └── example │ │ ├── btree.scala │ │ ├── expr.scala │ │ ├── intList.scala │ │ ├── mathExpr.scala │ │ └── nat.scala │ └── turtles │ ├── RecursiveSpec.scala │ ├── data │ ├── fix.scala │ ├── mu.scala │ └── nu.scala │ ├── example │ └── Example.scala │ ├── exp │ ├── Exp.scala │ └── package.scala │ ├── exp2 │ ├── Exp2.scala │ └── package.scala │ ├── helpers │ ├── CatsMatchers.scala │ ├── TurtlesSuite.scala │ └── package.scala │ ├── instances │ └── fixedpoint │ │ ├── list.scala │ │ ├── nat.scala │ │ ├── partial.scala │ │ └── stream.scala │ ├── patterns │ ├── andMaybe.scala │ ├── coenv.scala │ ├── diff.scala │ ├── envt.scala │ ├── listF.scala │ └── potentialFailure.scala │ ├── runners │ ├── BirecRunner.scala │ ├── CorecRunner.scala │ ├── RecRunner.scala │ └── package.scala │ ├── spec.scala │ └── zygoSpec.scala └── version.sbt /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/.travis.yml -------------------------------------------------------------------------------- /CHANGELOG/0.10.0.md: -------------------------------------------------------------------------------- 1 | Upgrade to `scalaz` `7.2.1` -------------------------------------------------------------------------------- /CHANGELOG/0.10.1.md: -------------------------------------------------------------------------------- 1 | - added Cobind[EnvT] with reduced constraint on the F type parameter 2 | -------------------------------------------------------------------------------- /CHANGELOG/0.10.2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.10.2.md -------------------------------------------------------------------------------- /CHANGELOG/0.10.3.md: -------------------------------------------------------------------------------- 1 | - added support for Scala.js 2 | -------------------------------------------------------------------------------- /CHANGELOG/0.11.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.11.0.md -------------------------------------------------------------------------------- /CHANGELOG/0.11.1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.11.1.md -------------------------------------------------------------------------------- /CHANGELOG/0.11.2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.11.2.md -------------------------------------------------------------------------------- /CHANGELOG/0.11.3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.11.3.md -------------------------------------------------------------------------------- /CHANGELOG/0.12.0.md: -------------------------------------------------------------------------------- 1 | - Move fixed-point datatypes to their own package. 2 | -------------------------------------------------------------------------------- /CHANGELOG/0.12.1.md: -------------------------------------------------------------------------------- 1 | - fix typo 2 | -------------------------------------------------------------------------------- /CHANGELOG/0.12.2.md: -------------------------------------------------------------------------------- 1 | - Build updates: kind-projector, simulacrum. 2 | -------------------------------------------------------------------------------- /CHANGELOG/0.12.3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.12.3.md -------------------------------------------------------------------------------- /CHANGELOG/0.13.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.13.0.md -------------------------------------------------------------------------------- /CHANGELOG/0.14.0.md: -------------------------------------------------------------------------------- 1 | - move all implicit conversions to their own package. 2 | -------------------------------------------------------------------------------- /CHANGELOG/0.15.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.15.0.md -------------------------------------------------------------------------------- /CHANGELOG/0.15.1.md: -------------------------------------------------------------------------------- 1 | - add logo/sticker designed @tscholak 2 | -------------------------------------------------------------------------------- /CHANGELOG/0.15.2.md: -------------------------------------------------------------------------------- 1 | - fixed example in README.md 2 | -------------------------------------------------------------------------------- /CHANGELOG/0.16.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.16.0.md -------------------------------------------------------------------------------- /CHANGELOG/0.16.1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.16.1.md -------------------------------------------------------------------------------- /CHANGELOG/0.16.2.md: -------------------------------------------------------------------------------- 1 | - added skeleton for tut-based docs 2 | -------------------------------------------------------------------------------- /CHANGELOG/0.3.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.3.0.md -------------------------------------------------------------------------------- /CHANGELOG/0.3.1.md: -------------------------------------------------------------------------------- 1 | - add some documentation 2 | -------------------------------------------------------------------------------- /CHANGELOG/0.4.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.4.0.md -------------------------------------------------------------------------------- /CHANGELOG/0.5.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.5.0.md -------------------------------------------------------------------------------- /CHANGELOG/0.5.1.md: -------------------------------------------------------------------------------- 1 | - eliminate CustomKeys.scala 2 | - update the copyright 3 | -------------------------------------------------------------------------------- /CHANGELOG/0.6.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.6.0.md -------------------------------------------------------------------------------- /CHANGELOG/0.7.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.7.0.md -------------------------------------------------------------------------------- /CHANGELOG/0.8.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CHANGELOG/0.8.0.md -------------------------------------------------------------------------------- /CHANGELOG/0.9.0.md: -------------------------------------------------------------------------------- 1 | - fix `Nu` 2 | -------------------------------------------------------------------------------- /CLA.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CLA.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/README.md -------------------------------------------------------------------------------- /core/build.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/build.sbt -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/Based.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/Based.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/Birecursive.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/Birecursive.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/BirecursiveT.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/BirecursiveT.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/Corecursive.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/Corecursive.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/CorecursiveT.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/CorecursiveT.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/Delay.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/Delay.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/Embed.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/Embed.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/EqT.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/EqT.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/Hole.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/Hole.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/Merge.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/Merge.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/Nested.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/Nested.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/OrderT.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/OrderT.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/Recursive.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/Recursive.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/RecursiveT.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/RecursiveT.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/ShowT.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/ShowT.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/data/Fix.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/data/Fix.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/data/Mu.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/data/Mu.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/data/Nu.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/data/Nu.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/data/cofree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/data/cofree.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/data/either.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/data/either.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/data/free.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/data/free.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/data/id.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/data/id.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/data/list.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/data/list.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/data/nel.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/data/nel.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/data/option.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/data/option.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/data/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/data/package.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/derived/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/derived/package.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/implicits/AlgebraOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/implicits/AlgebraOps.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/implicits/CoalgebraOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/implicits/CoalgebraOps.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/implicits/IdOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/implicits/IdOps.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/implicits/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/implicits/package.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/instances/fixedpoint/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/instances/fixedpoint/package.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/package.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/patterns/AndMaybe.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/patterns/AndMaybe.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/patterns/CoEnv.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/patterns/CoEnv.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/patterns/Diff.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/patterns/Diff.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/patterns/Diffable.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/patterns/Diffable.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/patterns/EnvT.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/patterns/EnvT.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/patterns/ListF.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/patterns/ListF.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/patterns/PotentialFailure.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/patterns/PotentialFailure.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/turtles/patterns/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/core/shared/src/main/scala/turtles/patterns/package.scala -------------------------------------------------------------------------------- /docs/src/main/tut/docs/01-Getting-Started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/docs/src/main/tut/docs/01-Getting-Started.md -------------------------------------------------------------------------------- /docs/src/main/tut/docs/02-A-First-Example.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/docs/src/main/tut/docs/02-A-First-Example.md -------------------------------------------------------------------------------- /docs/src/main/tut/docs/03-Algebras.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/docs/src/main/tut/docs/03-Algebras.md -------------------------------------------------------------------------------- /docs/src/main/tut/docs/04-Recursion-Schemes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/docs/src/main/tut/docs/04-Recursion-Schemes.md -------------------------------------------------------------------------------- /docs/src/main/tut/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/docs/src/main/tut/index.md -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.1.1 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /resources/algebras.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/resources/algebras.png -------------------------------------------------------------------------------- /resources/recursion-schemes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/resources/recursion-schemes.pdf -------------------------------------------------------------------------------- /resources/recursion-schemes.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/resources/recursion-schemes.png -------------------------------------------------------------------------------- /resources/turtles.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/resources/turtles.png -------------------------------------------------------------------------------- /resources/turtles.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/resources/turtles.svg -------------------------------------------------------------------------------- /scalacheck/shared/src/main/scala/turtles/scalacheck/arbitrary.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/scalacheck/shared/src/main/scala/turtles/scalacheck/arbitrary.scala -------------------------------------------------------------------------------- /scalacheck/shared/src/main/scala/turtles/scalacheck/cogen.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/scalacheck/shared/src/main/scala/turtles/scalacheck/cogen.scala -------------------------------------------------------------------------------- /scalacheck/shared/src/main/scala/turtles/scalacheck/shrink.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/scalacheck/shared/src/main/scala/turtles/scalacheck/shrink.scala -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/shell.nix -------------------------------------------------------------------------------- /tests/shared/src/test/scala/matryoshka/example/btree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/matryoshka/example/btree.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/matryoshka/example/expr.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/matryoshka/example/expr.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/matryoshka/example/intList.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/matryoshka/example/intList.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/matryoshka/example/mathExpr.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/matryoshka/example/mathExpr.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/matryoshka/example/nat.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/matryoshka/example/nat.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/RecursiveSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/RecursiveSpec.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/data/fix.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/data/fix.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/data/mu.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/data/mu.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/data/nu.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/data/nu.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/example/Example.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/example/Example.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/exp/Exp.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/exp/Exp.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/exp/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/exp/package.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/exp2/Exp2.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/exp2/Exp2.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/exp2/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/exp2/package.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/helpers/CatsMatchers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/helpers/CatsMatchers.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/helpers/TurtlesSuite.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/helpers/TurtlesSuite.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/helpers/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/helpers/package.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/instances/fixedpoint/list.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/instances/fixedpoint/list.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/instances/fixedpoint/nat.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/instances/fixedpoint/nat.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/instances/fixedpoint/partial.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/instances/fixedpoint/partial.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/instances/fixedpoint/stream.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/instances/fixedpoint/stream.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/patterns/andMaybe.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/patterns/andMaybe.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/patterns/coenv.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/patterns/coenv.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/patterns/diff.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/patterns/diff.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/patterns/envt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/patterns/envt.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/patterns/listF.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/patterns/listF.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/patterns/potentialFailure.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/patterns/potentialFailure.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/runners/BirecRunner.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/runners/BirecRunner.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/runners/CorecRunner.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/runners/CorecRunner.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/runners/RecRunner.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/runners/RecRunner.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/runners/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/runners/package.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/spec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/spec.scala -------------------------------------------------------------------------------- /tests/shared/src/test/scala/turtles/zygoSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sellout/turtles/HEAD/tests/shared/src/test/scala/turtles/zygoSpec.scala -------------------------------------------------------------------------------- /version.sbt: -------------------------------------------------------------------------------- 1 | version in ThisBuild := "0.1.0" 2 | --------------------------------------------------------------------------------