bonsai

A library for building dynamic webapps, using Js_of_ocaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library bonsai.web_ui_form
type ('b, 'a) profunctor
val prj : ( 'a, 'a ) profunctor -> 'a t
val inj : 'a t -> ( 'a, 'a ) profunctor
module Bare : Record_builder.S2 with type ('b, 'a) applicative = ( 'b, 'a ) profunctor

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

val field : 'field t -> ( 'record, 'field ) Base.Field.t -> ( 'field, _, _, 'record ) Bare.Make_creator_types.handle_one_field

Supply the term for one field.

The type of this function is designed to match up with Fields.make_creator (see the example).

val build_for_record : ( 'record, _, 'record ) Bare.Make_creator_types.handle_all_fields -> 'record t

Build the overarching profunctor for the whole record.

This takes a partial application of Fields.make_creator as its argument, which should supply no initial value but use field to supply a term for every field of the record.

The type of this is designed to match up with Fields.make_creator (see the example).