Opam Package higher_kinded.v0.14.1

Package info

opam-namehigher_kinded
opam-versionv0.14.1
synopsisA library with an encoding of higher kinded types in OCaml
description 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.
authors
  • Jane Street Group, LLC <opensource@janestreet.com>
homepagehttps://github.com/janestreet/higher_kinded
licenseMIT
license-fileLICENSE.md
deps (4)
revdeps (2)
metas (1)
libraries (1)

Package modules

Package sources

higher_kinded

Package files

lib/higher_kinded/opam
lib/higher_kinded/higher_kinded_intf.ml
lib/higher_kinded/higher_kinded__Higher_kinded_intf.cmx
lib/higher_kinded/higher_kinded__Higher_kinded_intf.cmt
lib/higher_kinded/higher_kinded__Higher_kinded_intf.cmi
lib/higher_kinded/higher_kinded__.ml
lib/higher_kinded/higher_kinded__.cmx
lib/higher_kinded/higher_kinded__.cmt
lib/higher_kinded/higher_kinded__.cmi
lib/higher_kinded/higher_kinded.mli
lib/higher_kinded/higher_kinded.ml
lib/higher_kinded/higher_kinded.cmxs
lib/higher_kinded/higher_kinded.cmxa
lib/higher_kinded/higher_kinded.cmx
lib/higher_kinded/higher_kinded.cmti
lib/higher_kinded/higher_kinded.cmt
lib/higher_kinded/higher_kinded.cmi
lib/higher_kinded/higher_kinded.cma
lib/higher_kinded/higher_kinded.a
lib/higher_kinded/dune-package
lib/higher_kinded/META
lib/higher_kinded
doc/higher_kinded/README.mlt
doc/higher_kinded/LICENSE.md
doc/higher_kinded