package higher_kinded

  1. Overview
  2. Docs
package higher_kinded
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ('a, 'v, 'w, 'x, 'y, 'z) t
type higher_kinded
val inject : ('a, 'v, 'w, 'x, 'y, 'z) t -> ('a -> 'v -> 'w -> 'x -> 'y -> 'z -> higher_kinded) t
val project : ('a -> 'v -> 'w -> 'x -> 'y -> 'z -> higher_kinded) t -> ('a, 'v, 'w, 'x, 'y, 'z) t