higher_kinded
A 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.
Install
- Published
-
21 Mar 2022
- Authors
-
- Maintainers
-
Sources
higher_kinded-v0.15.0.tar.gz
sha256=24ec1a183fe13b44f13de5853692529ad318a2b9339e1fe7ddb9d788c54ace81
Dependencies
Reverse Dependencies
accessor
>= "v0.15.0"
accessor_base
>= "v0.15.0"