package profunctor

You can search for identifiers within the package.

in-package search v0.2.0

package profunctor

profunctor
- LICENSE
- Library profunctor
  - Profunctor
    
    S
    
    Record_builder
    
    Bare
    
    Make_creator_types
    
    Of_applicative
    
    Of_record
    
    Bare
    
    Make_creator_types
    
    Conv_based
    
    Of_conv_based
    
    Of_record
    
    Bare
    
    Make_creator_types
    
    Record_builder
    
    Bare
    
    Make_creator_types
    
    Of_applicative
    
    Of_record
    
    Bare
    
    Make_creator_types
    
    Of_conv_based
    
    Of_record
    
    Bare
    
    Make_creator_types
    
    Fn_with_id
    
    Of_record
    
    Bare
    
    Make_creator_types
- Sources
  - profunctor
    
    profunctor.ml
    
    profunctor__.ml
    
    profunctor_intf.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Record_builder.Bare`Source

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

Sourcetype ('b, 'a) applicative = ('b, 'a) profunctor

Sourcemodule 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