Header menu logo Nu

ScreenDescriptor Type

Describes a screen value independent of the engine. Used to directly serialize a screen.

Record fields

Record Field Description

GroupDescriptors

Full Usage: GroupDescriptors

Field type: GroupDescriptor list
Field type: GroupDescriptor list

ScreenDispatcherName

Full Usage: ScreenDispatcherName

Field type: string
Field type: string

ScreenProperties

Full Usage: ScreenProperties

Field type: Map<string, Symbol>
Field type: Map<string, Symbol>

Static members

Static member Description

ScreenDescriptor.empty

Full Usage: ScreenDescriptor.empty

Returns: ScreenDescriptor

The empty screen descriptor.

Returns: ScreenDescriptor

ScreenDescriptor.getNameOpt dispatcher

Full Usage: ScreenDescriptor.getNameOpt dispatcher

Parameters:
Returns: string option

Derive a name from the dispatcher.

dispatcher : ScreenDescriptor
Returns: string option

Type something to start searching.