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 descriptor

Full Usage: ScreenDescriptor.getNameOpt descriptor

Parameters:
Returns: string option

Get the name from the descriptor when present.

descriptor : ScreenDescriptor
Returns: string option

Type something to start searching.