program : Program<'Model, 'Msg>

Returns: MonoGameProgram<'Model, 'Msg>

Each entry names its own Source — Pipeline for MGCB assets, File for loose files (WAV sound effects; music goes through the platform decoders). The bank is an ordinary F# value: a list literal for small games, or a generated value for large ones (a naming convention, a manifest, a directory scan). List order is load order. One call configures the whole bank.

Keys are game vocabulary ("jump", "overworld"); a key registered twice keeps the first entry. A missing pipeline asset throws at startup, where a configuration mistake belongs.

bank : BankEntry list

program : MonoGameProgram<'Model, 'Msg>

Returns: MonoGameProgram<'Model, 'Msg>

Example

 let mgProgram =
   Program.mkProgram init update
   |> MonoGameProgram.ofProgram
   |> MonoGameProgram.withBank
     [ Sound("jump", Pipeline "audio/jump")
       Music("overworld", File "music/overworld.ogg") ]

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