package higher_kinded

You can search for identifiers within the package.

in-package search v0.2.0

A library with an encoding of higher kinded types in OCaml

Install

Dune Dependency

github.com MIT License Edit opam file Versions (5)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

higher_kinded-v0.16.0.tar.gz

sha256=33c1e3c1272eae1201975d3281e8af2858045349d4a0b8e9573844760620f046

doc/higher_kinded/Higher_kinded/Make_monad_using_witness3/argument-2-X/index.html

Parameter `Make_monad_using_witness3.X`

type higher_kinded

val inject : ('a, 'y, 'z) M.t -> ('a -> 'y -> 'z -> higher_kinded) t

val project : ('a -> 'y -> 'z -> higher_kinded) t -> ('a, 'y, 'z) M.t