higher_kindedversion Documentation on ocaml.org
A library with an encoding of higher kinded types in OCaml
OCaml natively supports parameterized type constructors, such as =option=. The parameters of a type constructor may only be types, not arbitrary type constructors. This library makes it possible to parameterize a type with a witness that represents a type constructor.
| Author | Jane Street Group, LLC |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/janestreet/higher_kinded |
| Issue Tracker | https://github.com/janestreet/higher_kinded/issues |
| Maintainer | Jane Street developers |
| Available | arch != "arm32" & arch != "x86_32" |
| Dependencies | |
| Source [http] | https://github.com/janestreet/higher_kinded/archive/refs/tags/v0.17.0.tar.gz sha256=a9f046111d35745d60e13eaa212d621a8bdad315f350fe1b024d0854f99e0551 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/higher_kinded/higher_kinded.v0.17.0/opam |
Required by
- accessor>=v0.17.0
- accessor_base>=v0.17.0
- typed_list
