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
Sources
higher_kinded-v0.15.0.tar.gz
sha256=24ec1a183fe13b44f13de5853692529ad318a2b9339e1fe7ddb9d788c54ace81
Dependencies
dune
>= "2.0.0"
ppx_jane
>= "v0.15" & < "v0.16"
base
>= "v0.15" & < "v0.16"
ocaml
>= "4.09.0"
Reverse Dependencies
accessor
>= "v0.15.0"
accessor_base
>= "v0.15.0"