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 <opensource@janestreet.com>
LicenseMIT
Published
Homepagehttps://github.com/janestreet/higher_kinded
Issue Trackerhttps://github.com/janestreet/higher_kinded/issues
Maintaineropensource@janestreet.com
Dependencies
Source [http] https://ocaml.janestreet.com/ocaml-core/v0.14/files/higher_kinded-v0.14.0.tar.gz
md5=092fd34c2aba8fe5be548f7addc72309
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/higher_kinded/higher_kinded.v0.14.0/opam
No package is dependent