├── .gitignore ├── .travis.yml ├── AUTHORS.md ├── CHANGELOG.md ├── CODEOWNERS ├── CONTRIBUTING.md ├── LICENSE ├── NOTICE ├── README.md ├── codecov.yml ├── docs ├── cats.md └── scalaz.md ├── misc ├── benchmark100.json ├── benchmark25.json ├── plot.html ├── plot.json └── process_data.js ├── modules ├── bench │ └── src │ │ └── codegen │ │ └── scala │ │ └── codegen.scala ├── core │ └── src │ │ └── main │ │ └── scala │ │ └── iota │ │ ├── Cop.scala │ │ ├── CopH.scala │ │ ├── CopK.scala │ │ ├── CopKFunctionK.scala │ │ ├── Prod.scala │ │ ├── TList.scala │ │ ├── TListH.scala │ │ ├── TListK.scala │ │ ├── debug │ │ └── package.scala │ │ ├── evidence │ │ └── evidence.scala │ │ ├── internal │ │ ├── CopKFunctionKMacros.scala │ │ ├── CopMacros.scala │ │ ├── EvidenceMacros.scala │ │ ├── FastFunctionK.scala │ │ ├── ProductMacros.scala │ │ ├── TypeListMacros.scala │ │ ├── catryoshka.scala │ │ ├── package.scala │ │ └── toolbelts.scala │ │ ├── package.scala │ │ └── syntax │ │ ├── helpers.scala │ │ └── package.scala ├── docs │ └── src │ │ └── main │ │ └── tut │ │ ├── cats.md │ │ └── scalaz.md ├── examples-cats │ └── src │ │ └── main │ │ └── scala │ │ └── example │ │ ├── Evidence.scala │ │ ├── FreeErrorAlgebra.scala │ │ ├── InjectSyntax.scala │ │ └── NestedCoproducts.scala ├── examples-scalaz │ └── src │ │ └── main │ │ └── scala │ │ └── example │ │ └── FreeExample.scala ├── readme │ └── src │ │ └── main │ │ └── tut │ │ └── README.md ├── scalacheck │ └── src │ │ └── main │ │ └── scala │ │ └── iota │ │ └── scalacheck │ │ └── package.scala └── tests │ └── src │ ├── main │ └── scala │ │ └── iota │ │ └── test │ │ └── singletons.scala │ └── test │ └── scala │ ├── iota │ └── internal │ │ ├── TestTreeHelper.scala │ │ ├── TypeListEvaluationChecks.scala │ │ └── TypeListParserChecks.scala │ └── iotatests │ ├── CopKFunctionKGeneric.scala │ ├── CopKFunctionKTests.scala │ ├── CopKTests.scala │ ├── CopTests.scala │ ├── Evidence.scala │ ├── FooAndFriends.scala │ ├── FreeCopKTests.scala │ ├── GenTests.scala │ ├── HashcodeTests │ ├── IotaReflectiveToolbeltTests.scala │ ├── ProdTests.scala │ ├── ScalacheckEvidence.scala │ ├── TListChecks.scala │ ├── TListHChecks.scala │ ├── TListKChecks.scala │ ├── TestSingletonLiterals.scala │ ├── TypeEqv.scala │ └── package.scala ├── project ├── ProjectPlugin.scala ├── ScalacOptionsPlugin.scala ├── build.properties ├── plugins.sbt ├── project │ └── plugins.sbt └── yax.scala ├── pubring.asc ├── secring.asc.enc └── version.sbt /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/.travis.yml -------------------------------------------------------------------------------- /AUTHORS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/AUTHORS.md -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CODEOWNERS: -------------------------------------------------------------------------------- 1 | * @andyscott 2 | -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/LICENSE -------------------------------------------------------------------------------- /NOTICE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/NOTICE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/README.md -------------------------------------------------------------------------------- /codecov.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/codecov.yml -------------------------------------------------------------------------------- /docs/cats.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/docs/cats.md -------------------------------------------------------------------------------- /docs/scalaz.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/docs/scalaz.md -------------------------------------------------------------------------------- /misc/benchmark100.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/misc/benchmark100.json -------------------------------------------------------------------------------- /misc/benchmark25.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/misc/benchmark25.json -------------------------------------------------------------------------------- /misc/plot.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/misc/plot.html -------------------------------------------------------------------------------- /misc/plot.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/misc/plot.json -------------------------------------------------------------------------------- /misc/process_data.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/misc/process_data.js -------------------------------------------------------------------------------- /modules/bench/src/codegen/scala/codegen.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/bench/src/codegen/scala/codegen.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/Cop.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/Cop.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/CopH.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/CopH.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/CopK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/CopK.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/CopKFunctionK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/CopKFunctionK.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/Prod.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/Prod.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/TList.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/TList.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/TListH.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/TListH.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/TListK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/TListK.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/debug/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/debug/package.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/evidence/evidence.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/evidence/evidence.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/internal/CopKFunctionKMacros.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/internal/CopKFunctionKMacros.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/internal/CopMacros.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/internal/CopMacros.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/internal/EvidenceMacros.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/internal/EvidenceMacros.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/internal/FastFunctionK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/internal/FastFunctionK.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/internal/ProductMacros.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/internal/ProductMacros.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/internal/TypeListMacros.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/internal/TypeListMacros.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/internal/catryoshka.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/internal/catryoshka.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/internal/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/internal/package.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/internal/toolbelts.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/internal/toolbelts.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/package.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/syntax/helpers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/syntax/helpers.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/iota/syntax/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/core/src/main/scala/iota/syntax/package.scala -------------------------------------------------------------------------------- /modules/docs/src/main/tut/cats.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/docs/src/main/tut/cats.md -------------------------------------------------------------------------------- /modules/docs/src/main/tut/scalaz.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/docs/src/main/tut/scalaz.md -------------------------------------------------------------------------------- /modules/examples-cats/src/main/scala/example/Evidence.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/examples-cats/src/main/scala/example/Evidence.scala -------------------------------------------------------------------------------- /modules/examples-cats/src/main/scala/example/FreeErrorAlgebra.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/examples-cats/src/main/scala/example/FreeErrorAlgebra.scala -------------------------------------------------------------------------------- /modules/examples-cats/src/main/scala/example/InjectSyntax.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/examples-cats/src/main/scala/example/InjectSyntax.scala -------------------------------------------------------------------------------- /modules/examples-cats/src/main/scala/example/NestedCoproducts.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/examples-cats/src/main/scala/example/NestedCoproducts.scala -------------------------------------------------------------------------------- /modules/examples-scalaz/src/main/scala/example/FreeExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/examples-scalaz/src/main/scala/example/FreeExample.scala -------------------------------------------------------------------------------- /modules/readme/src/main/tut/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/readme/src/main/tut/README.md -------------------------------------------------------------------------------- /modules/scalacheck/src/main/scala/iota/scalacheck/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/scalacheck/src/main/scala/iota/scalacheck/package.scala -------------------------------------------------------------------------------- /modules/tests/src/main/scala/iota/test/singletons.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/main/scala/iota/test/singletons.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iota/internal/TestTreeHelper.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iota/internal/TestTreeHelper.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iota/internal/TypeListEvaluationChecks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iota/internal/TypeListEvaluationChecks.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iota/internal/TypeListParserChecks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iota/internal/TypeListParserChecks.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/CopKFunctionKGeneric.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/CopKFunctionKGeneric.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/CopKFunctionKTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/CopKFunctionKTests.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/CopKTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/CopKTests.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/CopTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/CopTests.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/Evidence.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/Evidence.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/FooAndFriends.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/FooAndFriends.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/FreeCopKTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/FreeCopKTests.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/GenTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/GenTests.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/HashcodeTests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/HashcodeTests -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/IotaReflectiveToolbeltTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/IotaReflectiveToolbeltTests.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/ProdTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/ProdTests.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/ScalacheckEvidence.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/ScalacheckEvidence.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/TListChecks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/TListChecks.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/TListHChecks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/TListHChecks.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/TListKChecks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/TListKChecks.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/TestSingletonLiterals.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/TestSingletonLiterals.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/TypeEqv.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/TypeEqv.scala -------------------------------------------------------------------------------- /modules/tests/src/test/scala/iotatests/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/modules/tests/src/test/scala/iotatests/package.scala -------------------------------------------------------------------------------- /project/ProjectPlugin.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/project/ProjectPlugin.scala -------------------------------------------------------------------------------- /project/ScalacOptionsPlugin.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/project/ScalacOptionsPlugin.scala -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.2.8 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /project/project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/project/project/plugins.sbt -------------------------------------------------------------------------------- /project/yax.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/project/yax.scala -------------------------------------------------------------------------------- /pubring.asc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/pubring.asc -------------------------------------------------------------------------------- /secring.asc.enc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frees-io/iota/HEAD/secring.asc.enc -------------------------------------------------------------------------------- /version.sbt: -------------------------------------------------------------------------------- 1 | version in ThisBuild := "0.3.11-SNAPSHOT" --------------------------------------------------------------------------------