package higher_kinded

  1. Overview
  2. Docs
A library with an encoding of higher kinded types in OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

higher_kinded-v0.16.0.tar.gz
sha256=33c1e3c1272eae1201975d3281e8af2858045349d4a0b8e9573844760620f046

doc/higher_kinded/Higher_kinded/Make/index.html

Module Higher_kinded.MakeSource

Parameters

module X : sig ... end

Signature

Sourcetype higher_kinded
Sourceval inject : 'a X.t -> ('a -> higher_kinded) t
Sourceval project : ('a -> higher_kinded) t -> 'a X.t
OCaml

Innovation. Community. Security.