higher_kindedversion

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.

AuthorJane Street Group, LLC
LicenseMIT
Published
Homepagehttps://github.com/janestreet/higher_kinded
Issue Trackerhttps://github.com/janestreet/higher_kinded/issues
MaintainerJane Street developers
Dependencies
Source [http] https://github.com/janestreet/higher_kinded/archive/v0.14.1.tar.gz
sha256=f8941d6bc844a33e6a0440f3e0549e6b53367a710ce5453629c1a52d05c8996e
md5=6e1b0d3e2cc59bdafa9a65bf8df93727
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/higher_kinded/higher_kinded.v0.14.1/opam
Required by