package higher_kinded
A library with an encoding of higher kinded types in OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=a9f046111d35745d60e13eaa212d621a8bdad315f350fe1b024d0854f99e0551
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.
Published: 26 May 2024
Dependencies (4)
Dev Dependencies
None
Used by (3)
-
accessor
>= "v0.17.0" -
accessor_base
>= "v0.17.0" - typed_list
Conflicts
None
On This Page