package profunctor

  1. Overview
  2. Docs

The underlying applicative record builder, which does not perform the contravariant mapping.

type ('b, 'a) applicative = ('b, 'a) profunctor
module Make_creator_types : sig ... end
val field : ('field, 'e) applicative -> ('record, 'field) Base.Field.t -> ('field, _, _, 'e) Make_creator_types.handle_one_field
val build_for_record : ('record, _, 'e) Make_creator_types.handle_all_fields -> ('record, 'e) applicative
OCaml

Innovation. Community. Security.