Module Problems_web.Controller_intf

The controller interface manages the specific logig for each problem type. Implementing a new problem type will require creating a new module that satisfies the S signature

type ('v, 'e, 'a) setting = {
  1. name : string;
  2. enabled : bool option;
    (*

    Whether the radio box should be selected. If this is None, no radio box will be rendered.

    *)
  3. value : 'v;
  4. update : 'v -> 'a;
    (*

    Function that returns the action that should be taken when a user selects this option.

    *)
  5. extra : 'e;
    (*

    Extra data associated with this option. For Int options, this is the min and max values.

    *)
}

This represents a single option in the settings for this problem type.

  • 'v is the type of the value of this option
  • 'e is the type of the extra values associated with the option
  • 'a is the type of the action to update this option
type 'a radio_settings =
  1. | Bool of (unit, unit, 'a) setting
  2. | With_int of (int, int * int, 'a) setting

A setting in a radio group

type 'a settings_group = {
  1. name : string;
  2. settings : 'a radio_settings list;
}

A group of radio options

type 'a settings =
  1. | Group of 'a settings_group
  2. | Int of (int, int * int, 'a) setting

Settings can either be a group of radio options or a single int option.

module type S = sig ... end

The interface that must be implemented to create a problem type.