package bonsai

  1. Overview
  2. Docs
package bonsai
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Profunctor.Record_builder with type 'a profunctor_term := 'a Bonsai_web_ui_form__.Form.t Bonsai_web.Value.t
type ('b, 'a) profunctor
val prj : ('a, 'a) profunctor -> 'a Bonsai_web_ui_form__.Form.t Bonsai_web.Value.t
val inj : 'a Bonsai_web_ui_form__.Form.t Bonsai_web.Value.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 build_for_record : ('a, (_, _) Record_builder.Hlist.cons, 'a) Bare.Make_creator_types.handle_all_fields -> 'a Bonsai_web_ui_form__.Form.t Bonsai_web.Computation.t
val field : ?group_lists:bool -> 'a Bonsai_web_ui_form__.Form.t Bonsai_web.Value.t -> ([ `Read | `Set_and_create ], 'b, 'a) Base.Field.t_with_perm -> ('a * 'c, 'd * 'e, 'b) Bare.Make_creator_types.accum -> (('d * 'e) -> 'a) * ('c, 'd * 'e, 'b) Bare.Make_creator_types.accum