Header menu logo issie

Model Type

Record fields

Record Field Description

BuildVisible

Full Usage: BuildVisible

Field type: bool

if true the "build" tab appears on the RHS

Field type: bool

Clipboard

Full Usage: Clipboard

Field type: CanvasState

Components and connections that have been selected and copied.

Field type: CanvasState

CodeEditorState

Full Usage: CodeEditorState

Field type: CodeEditorModel option
Field type: CodeEditorModel option

ConnsOfSelectedWavesAreHighlighted

Full Usage: ConnsOfSelectedWavesAreHighlighted

Field type: bool

if true highlight connections from wavesim editor

Field type: bool

CurrentProj

Full Usage: CurrentProj

Field type: Project option

the project contains, as loadable components, the state of each of its sheets

Field type: Project option

CurrentSelected

Full Usage: CurrentSelected

Field type: Component list * Connection list

components and connections currently selected

Field type: Component list * Connection list

CurrentStepSimulationStep

Full Usage: CurrentStepSimulationStep

Field type: Result<SimulationData, SimulationError> option

used during step simulation: simgraph for current clock tick

Field type: Result<SimulationData, SimulationError> option

CurrentTruthTable

Full Usage: CurrentTruthTable

Field type: Result<TruthTable, SimulationError> option

stores the generated truth table

Field type: Result<TruthTable, SimulationError> option

DividerDragMode

Full Usage: DividerDragMode

Field type: DragMode

used to determine whether mouse is currently dragging the divider, or used normally

Field type: DragMode

Hilighted

Full Usage: Hilighted

Field type: (ComponentId list * ConnectionId list) * ConnectionId list

components and connections which are highlighted

Field type: (ComponentId list * ConnectionId list) * ConnectionId list

IsLoading

Full Usage: IsLoading

Field type: bool

true during period when a sheet or project is loading

Field type: bool

LastChangeCheckTime

Full Usage: LastChangeCheckTime

Field type: float

last time check for changes was made

Field type: float

LastCreatedComponent

Full Usage: LastCreatedComponent

Field type: Component option

Track the last added component

Field type: Component option

LastDetailedSavedState

Full Usage: LastDetailedSavedState

Field type: CanvasState

used to determine whether current canvas has been saved (includes any change)

Field type: CanvasState

LastSelectedIds

Full Usage: LastSelectedIds

Field type: string list * string list

component ids and connection ids previously selected (used to detect changes)

Field type: string list * string list

LastSimulatedCanvasState

Full Usage: LastSimulatedCanvasState

Field type: CanvasState option

top-level canvas used for current wave simulation

Field type: CanvasState option

LastUsedDialogWidth

Full Usage: LastUsedDialogWidth

Field type: int

last used bus width in bits - used as default in next component create dialog

Field type: int

MousePointerIsOnRightSection

Full Usage: MousePointerIsOnRightSection

Field type: bool

remember from last mouse movement which side of grey divider it is on.

Field type: bool

Notifications

Full Usage: Notifications

Field type: Notifications

record containing functions that create react elements of notifications

Field type: Notifications

Pending

Full Usage: Pending

Field type: Msg list

Contains a list of pending messages

Field type: Msg list

PopupDialogData

Full Usage: PopupDialogData

Field type: PopupDialogData

data to populate popup (may not all be used)

Field type: PopupDialogData

PopupViewFunc

Full Usage: PopupViewFunc

Field type: ((Msg -> Unit) -> Model -> ReactElement) option

function to create popup pane if present

Field type: ((Msg -> Unit) -> Model -> ReactElement) option

RightPaneTabVisible

Full Usage: RightPaneTabVisible

Field type: RightTab

which of the tabbed panes is currently visible

Field type: RightTab

RunAfterRenderWithSpinner

Full Usage: RunAfterRenderWithSpinner

Field type: RunData option

Function to be run after rendering to update the model

Field type: RunData option

SavedSheetIsOutOfDate

Full Usage: SavedSheetIsOutOfDate

Field type: bool

used to enable "SAVE" button

Field type: bool

SelectedComponent

Full Usage: SelectedComponent

Field type: Component option

component currently selected in properties dialog

Field type: Component option

Sheet

Full Usage: Sheet

Field type: Model

Draw Canvas

Field type: Model

SimSubTabVisible

Full Usage: SimSubTabVisible

Field type: SimSubTab

which of the subtabs for the right pane simulation is visible

Field type: SimSubTab

Spinner

Full Usage: Spinner

Field type: (Model -> Model) option

If the application has a modal spinner waiting for simulation

Field type: (Model -> Model) option

SpinnerPayload

Full Usage: SpinnerPayload

Field type: SpinPayload option

function to create spinner popup pane if present (overrides otehr popups)

Field type: SpinPayload option

TTConfig

Full Usage: TTConfig

Field type: TTType

style info for the truth table

Field type: TTType

TopMenuOpenState

Full Usage: TopMenuOpenState

Field type: TopMenu

State of menus for sheets, projects etc

Field type: TopMenu

UISheetTrail

Full Usage: UISheetTrail

Field type: string list

A breadcrumb-like trail of visited sheets used for UI back button

Field type: string list

UIState

Full Usage: UIState

Field type: Option<UICommandType>

Bad way to tidy up the messy UI commands - better - do them all in just one message!

Field type: Option<UICommandType>

UserData

Full Usage: UserData

Field type: UserData

User data for the application

Field type: UserData

WaveSim

Full Usage: WaveSim

Field type: Map<string, WaveSimModel>

Map of sheet name to WaveSimModel

Field type: Map<string, WaveSimModel>

WaveSimSheet

Full Usage: WaveSimSheet

Field type: string option

which top-level sheet is used by wavesim

Field type: string option

WaveSimViewerWidth

Full Usage: WaveSimViewerWidth

Field type: int

viewer width in pixels altered by dragging the divider

Field type: int

Instance members

Instance member Description

this.WaveSimOrCurrentSheet

Full Usage: this.WaveSimOrCurrentSheet

Returns: string
Returns: string

Type something to start searching.