package profunctor

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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