HeadlessProgram Module
Extension functions for projecting a HeadlessProgram onto a LoopCore.
Functions and values
| Function or value |
Description
|
||
Full Usage:
mkHeadless init update
Parameters:
GameContext -> 'Model * Cmd<'Msg>
update : 'Msg -> 'Model -> 'Model * Cmd<'Msg>
Returns: HeadlessProgram<'Model, 'Msg>
|
Creates a new headless program with the given init and update functions.
|
||
Full Usage:
observe onNext
Parameters:
'T -> unit
Returns: IObserver<'T>
Modifiers: inline Type parameters: 'T |
Creates a
|
||
Full Usage:
toLoopCore program
Parameters:
HeadlessProgram<'Model, 'Msg>
Returns: LoopCore<'Model, 'Msg>
|
Projects a HeadlessProgram to a LoopCore.
|
||
Full Usage:
withDispatchMode mode program
Parameters:
DispatchMode
-
Immediate processes in-frame; FrameBounded defers to the next step.
program : HeadlessProgram<'Model, 'Msg>
Returns: HeadlessProgram<'Model, 'Msg>
|
Sets the dispatch mode controlling when messages become eligible for processing.
|
||
Full Usage:
withFixedStep cfg program
Parameters:
FixedStepConfig<'Msg>
-
Fixed step configuration (step size, max steps per frame, max frame budget, message mapper).
program : HeadlessProgram<'Model, 'Msg>
Returns: HeadlessProgram<'Model, 'Msg>
|
Enables a framework-managed fixed timestep that dispatches a message at a constant rate, independent of variable frame timing.
|
||
Full Usage:
withObserver factory program
Parameters:
unit -> IObserver<GameContext * 'Model * GameTime>
program : HeadlessProgram<'Model, 'Msg>
Returns: HeadlessProgram<'Model, 'Msg>
|
|
||
Full Usage:
withSubscribe subscribe program
Parameters:
GameContext -> 'Model -> Sub<'Msg>
program : HeadlessProgram<'Model, 'Msg>
Returns: HeadlessProgram<'Model, 'Msg>
|
Adds a subscription function to the program.
|
||
Full Usage:
withTick map program
Parameters:
GameTime -> 'Msg
-
Function that converts the current game time into a message dispatched each frame.
program : HeadlessProgram<'Model, 'Msg>
Returns: HeadlessProgram<'Model, 'Msg>
|
Adds a per-frame tick message generated from the current GameTime.
|
Mibo