package ppx_typed_fields

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type S = sig ... end
type creator = {
  1. f : 'a. 'a Key.t -> 'a;
}
val transpose : (module S) -> t -> create:(creator -> 'a) -> 'a Data.t
module type S_for_other_map = sig ... end

This module is basically "Applicative", but with an additional type that can be used to translate to the applicative type.

module To_other_map (A : S_for_other_map) (M : sig ... end) : sig ... end