package ppx_typed_fields

  1. Overview
  2. Docs
package ppx_typed_fields
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Make.As_applicativeSource

Sourcemodule type S = sig ... end
Sourcetype creator = {
  1. f : 'a. 'a Key.t -> 'a;
}
Sourceval transpose : (module S) -> t -> create:(creator -> 'a) -> 'a Data.t
Sourcemodule 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.

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