program : Program<'Model, 'Msg>

Returns: MonoGameProgram<'Model, 'Msg>

Invoked in the MiboGame constructor, after the Core Program.withConfig callbacks and before Initialize / GraphicsDevice creation — so settings like GraphicsProfile and PreferredBackBufferWidth/Height take effect.

Use this for properties that require direct GraphicsDeviceManager/Game access: GraphicsProfile, SynchronizeWithVerticalRetrace (vsync), IsFullScreen, HardwareModeSwitch, Window.AllowUserResizing, Content.RootDirectory, etc.

configure : Game * GraphicsDeviceManager -> unit

program : MonoGameProgram<'Model, 'Msg>

Returns: MonoGameProgram<'Model, 'Msg>

Example

 program
 |> MonoGameProgram.ofProgram
 |> MonoGameProgram.withConfig(fun (game, graphics) ->
     graphics.GraphicsProfile <- GraphicsProfile.HiDef
     graphics.SynchronizeWithVerticalRetrace <- false
     game.IsMouseVisible <- true)

This registers IInput automatically (equivalent to Program.withInput).

The mapper is registered as a service via a Program.ServiceRegistrations callback that MiboGame runs before Init, so the Core Program type never references a backend factory.

The service is registered, not driven: nothing polls Update() automatically — call it yourself each frame if you read CurrentState, or prefer the subscription path below, which the input deltas drive on their own.

If you want to stay fully "Elmish" (no service access), consider using InputMapper.subscribe instead and handle a single message (adaptive programs: InputMapper.subscribeAdaptive).

initialMap : InputMap<'Action>

program : MonoGameProgram<'Model, 'Msg>

Returns: MonoGameProgram<'Model, 'Msg>

Example

 program
 |> MonoGameProgram.ofProgram
 |> MonoGameProgram.withInputMapper inputMap