├── .gitignore ├── .ocamlformat ├── CONTRIBUTING.md ├── LICENSE.md ├── Makefile ├── README.mdx ├── dune ├── dune-project ├── higher_kinded.opam ├── src ├── cinaps │ ├── dune │ ├── higher_kinded_cinaps.ml │ └── higher_kinded_cinaps.mli ├── dune ├── higher_kinded.ml ├── higher_kinded.mli └── higher_kinded_intf.ml └── test ├── dune ├── higher_kinded_tests.ml ├── higher_kinded_tests.mli ├── test_monad.ml └── test_monad.mli /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | *.install 3 | *.merlin 4 | _opam 5 | 6 | -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- 1 | profile=janestreet 2 | -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/Makefile -------------------------------------------------------------------------------- /README.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/README.mdx -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 3.17) 2 | -------------------------------------------------------------------------------- /higher_kinded.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/higher_kinded.opam -------------------------------------------------------------------------------- /src/cinaps/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/src/cinaps/dune -------------------------------------------------------------------------------- /src/cinaps/higher_kinded_cinaps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/src/cinaps/higher_kinded_cinaps.ml -------------------------------------------------------------------------------- /src/cinaps/higher_kinded_cinaps.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/src/cinaps/higher_kinded_cinaps.mli -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/src/dune -------------------------------------------------------------------------------- /src/higher_kinded.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/src/higher_kinded.ml -------------------------------------------------------------------------------- /src/higher_kinded.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/src/higher_kinded.mli -------------------------------------------------------------------------------- /src/higher_kinded_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/src/higher_kinded_intf.ml -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/test/dune -------------------------------------------------------------------------------- /test/higher_kinded_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/test/higher_kinded_tests.ml -------------------------------------------------------------------------------- /test/higher_kinded_tests.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | -------------------------------------------------------------------------------- /test/test_monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/janestreet/higher_kinded/HEAD/test/test_monad.ml -------------------------------------------------------------------------------- /test/test_monad.mli: -------------------------------------------------------------------------------- 1 | (*_ This signature is deliberately empty. *) 2 | --------------------------------------------------------------------------------