package bonsai

  1. Overview
  2. Docs
package bonsai
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Private.TransformSource

Sourcemodule Var_from_parent : sig ... end
Sourcemodule For_value : sig ... end

Both For_value.map and For_computation.map involve interacting universally quantified functions. Since OCaml does not support first-class universally quantified functions, so we have to wrap the function in a single-field record (we have done this twice in this module).

Sourcemodule For_computation : sig ... end
Sourceval map : computation_mapper:'from_parent For_computation.user_mapper -> value_mapper:'from_parent For_value.user_mapper -> init:'from_parent -> 'result Computation.t -> 'result Computation.t