WorldGroupModule Module
Group functions for the world (2/2).
Type extensions
Type extension | Description |
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
|
|
Extended Type:
|
|
|
|
Extended Type:
|
Extended Type:
|
|
Extended Type:
|
|
|
Extended Type:
|
|
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
|
|
Extended Type:
|
|
|
|
Extended Type:
|
|
Extended Type:
|
|
|
|
|
Full Usage:
this.TrySet
Parameters:
string
value : 'a
world : World
Returns: bool * bool
|
|
|
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
Extended Type:
|
|
|
Full Usage:
World.createGroup3 descriptor screen world
Parameters:
SimulantDescriptor
screen : Screen
world : World
Returns: Group
|
|
|
|
|
|
|
|
|
|
Full Usage:
World.editGroup operation group world
Parameters:
EditOperation
group : Group
world : World
|
|
|
|
Full Usage:
World.readGroup groupDescriptor nameOpt screen world
Parameters:
GroupDescriptor
nameOpt : string option
screen : Screen
world : World
Returns: Group
|
Extended Type:
|
|
|
Full Usage:
World.readGroups groupDescriptors screen world
Parameters:
GroupDescriptor seq
screen : Screen
world : World
Returns: Group list
|
Extended Type:
|
|
|
|
|
|
|
|
|
Full Usage:
World.writeGroup groupDescriptor group world
Parameters:
GroupDescriptor
group : Group
world : World
Returns: GroupDescriptor
|
Extended Type:
|
|
|
|