├── .gitignore ├── COPYING ├── LICENSE ├── README.md ├── project ├── build.properties └── plugins.sbt └── src ├── main └── scala │ ├── codata │ ├── CoapplicativeK.scala │ ├── CoapplicativeKlass.scala │ ├── CoapplyK.scala │ ├── CoapplyKlass.scala │ ├── CobindK.scala │ ├── CobindKlass.scala │ ├── Cohierarchy.scala │ ├── ComonadK.scala │ ├── ComonadKlass.scala │ ├── CopK.scala │ ├── CopKBuild.scala │ ├── CopKNat.scala │ ├── CopointedK.scala │ ├── CopointedKlass.scala │ ├── CozipK.scala │ └── CozipKlass.scala │ ├── data │ ├── ApplicativeK.scala │ ├── ApplicativeKlass.scala │ ├── ApplyK.scala │ ├── ApplyKlass.scala │ ├── BindK.scala │ ├── BindKlass.scala │ ├── FunctorK.scala │ ├── FunctorKlass.scala │ ├── Hierarchy.scala │ ├── MonadK.scala │ ├── MonadKlass.scala │ ├── PointedK.scala │ ├── PointedKlass.scala │ ├── ZipK.scala │ └── ZipKlass.scala │ └── package.scala └── test └── scala └── KhatsSpec.scala /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/.gitignore -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/COPYING -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/README.md -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=0.13.8 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /src/main/scala/codata/CoapplicativeK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/CoapplicativeK.scala -------------------------------------------------------------------------------- /src/main/scala/codata/CoapplicativeKlass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/CoapplicativeKlass.scala -------------------------------------------------------------------------------- /src/main/scala/codata/CoapplyK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/CoapplyK.scala -------------------------------------------------------------------------------- /src/main/scala/codata/CoapplyKlass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/CoapplyKlass.scala -------------------------------------------------------------------------------- /src/main/scala/codata/CobindK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/CobindK.scala -------------------------------------------------------------------------------- /src/main/scala/codata/CobindKlass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/CobindKlass.scala -------------------------------------------------------------------------------- /src/main/scala/codata/Cohierarchy.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/Cohierarchy.scala -------------------------------------------------------------------------------- /src/main/scala/codata/ComonadK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/ComonadK.scala -------------------------------------------------------------------------------- /src/main/scala/codata/ComonadKlass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/ComonadKlass.scala -------------------------------------------------------------------------------- /src/main/scala/codata/CopK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/CopK.scala -------------------------------------------------------------------------------- /src/main/scala/codata/CopKBuild.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/CopKBuild.scala -------------------------------------------------------------------------------- /src/main/scala/codata/CopKNat.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/CopKNat.scala -------------------------------------------------------------------------------- /src/main/scala/codata/CopointedK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/CopointedK.scala -------------------------------------------------------------------------------- /src/main/scala/codata/CopointedKlass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/CopointedKlass.scala -------------------------------------------------------------------------------- /src/main/scala/codata/CozipK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/CozipK.scala -------------------------------------------------------------------------------- /src/main/scala/codata/CozipKlass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/codata/CozipKlass.scala -------------------------------------------------------------------------------- /src/main/scala/data/ApplicativeK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/ApplicativeK.scala -------------------------------------------------------------------------------- /src/main/scala/data/ApplicativeKlass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/ApplicativeKlass.scala -------------------------------------------------------------------------------- /src/main/scala/data/ApplyK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/ApplyK.scala -------------------------------------------------------------------------------- /src/main/scala/data/ApplyKlass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/ApplyKlass.scala -------------------------------------------------------------------------------- /src/main/scala/data/BindK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/BindK.scala -------------------------------------------------------------------------------- /src/main/scala/data/BindKlass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/BindKlass.scala -------------------------------------------------------------------------------- /src/main/scala/data/FunctorK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/FunctorK.scala -------------------------------------------------------------------------------- /src/main/scala/data/FunctorKlass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/FunctorKlass.scala -------------------------------------------------------------------------------- /src/main/scala/data/Hierarchy.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/Hierarchy.scala -------------------------------------------------------------------------------- /src/main/scala/data/MonadK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/MonadK.scala -------------------------------------------------------------------------------- /src/main/scala/data/MonadKlass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/MonadKlass.scala -------------------------------------------------------------------------------- /src/main/scala/data/PointedK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/PointedK.scala -------------------------------------------------------------------------------- /src/main/scala/data/PointedKlass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/PointedKlass.scala -------------------------------------------------------------------------------- /src/main/scala/data/ZipK.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/ZipK.scala -------------------------------------------------------------------------------- /src/main/scala/data/ZipKlass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/data/ZipKlass.scala -------------------------------------------------------------------------------- /src/main/scala/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/main/scala/package.scala -------------------------------------------------------------------------------- /src/test/scala/KhatsSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mandubian/khats/HEAD/src/test/scala/KhatsSpec.scala --------------------------------------------------------------------------------