package higher_kinded
A library with an encoding of higher kinded types in OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
higher_kinded-v0.14.0.tar.gz
sha256=867ec43d232f6dcc82403009d081cf63fa2fa7dd273a7d5fb7d2d5b598a1d8b6
md5=092fd34c2aba8fe5be548f7addc72309
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: 31 May 2020
On This Page