Header menu logo Fabulous.AST

RecordModifiers Type

Static members

Static member Description

RecordModifiers.attribute (this, attribute)

Full Usage: RecordModifiers.attribute (this, attribute)

Parameters:
Returns: WidgetBuilder<TypeDefnRecordNode>
Modifiers: inline

Sets the attributes for the current record definition.

this : WidgetBuilder<TypeDefnRecordNode>

Current widget.

attribute : WidgetBuilder<AttributeNode>

The attributes to set.

Returns: WidgetBuilder<TypeDefnRecordNode>

RecordModifiers.attributes (this, attributes)

Full Usage: RecordModifiers.attributes (this, attributes)

Parameters:
Returns: WidgetBuilder<TypeDefnRecordNode>
Modifiers: inline

Sets the attributes for the current record definition.

this : WidgetBuilder<TypeDefnRecordNode>

Current widget.

attributes : WidgetBuilder<AttributeNode> list

The attributes to set.

Returns: WidgetBuilder<TypeDefnRecordNode>

RecordModifiers.members this

Full Usage: RecordModifiers.members this

Parameters:
Returns: AttributeCollectionBuilder<TypeDefnRecordNode, MemberDefn>
Modifiers: inline

Sets the members for the current record definition.

this : WidgetBuilder<TypeDefnRecordNode>

Current widget.

Returns: AttributeCollectionBuilder<TypeDefnRecordNode, MemberDefn>

RecordModifiers.toInternal this

Full Usage: RecordModifiers.toInternal this

Parameters:
Returns: WidgetBuilder<TypeDefnRecordNode>
Modifiers: inline

Sets the Record to be internal.

this : WidgetBuilder<TypeDefnRecordNode>

Current widget.

Returns: WidgetBuilder<TypeDefnRecordNode>

RecordModifiers.toPrivate this

Full Usage: RecordModifiers.toPrivate this

Parameters:
Returns: WidgetBuilder<TypeDefnRecordNode>
Modifiers: inline

Sets the Record to be private.

this : WidgetBuilder<TypeDefnRecordNode>

Current widget.

Returns: WidgetBuilder<TypeDefnRecordNode>

RecordModifiers.toPublic this

Full Usage: RecordModifiers.toPublic this

Parameters:
Returns: WidgetBuilder<TypeDefnRecordNode>
Modifiers: inline

Sets the Record to be public.

this : WidgetBuilder<TypeDefnRecordNode>

Current widget.

Returns: WidgetBuilder<TypeDefnRecordNode>

RecordModifiers.typeParams (this, typeParams)

Full Usage: RecordModifiers.typeParams (this, typeParams)

Parameters:
Returns: WidgetBuilder<TypeDefnRecordNode>
Modifiers: inline

Sets the type parameters for the current record definition.

this : WidgetBuilder<TypeDefnRecordNode>

Current widget.

typeParams : WidgetBuilder<TyparDecls>

The type parameters to set.

Returns: WidgetBuilder<TypeDefnRecordNode>

RecordModifiers.xmlDocs (this, xmlDocs)

Full Usage: RecordModifiers.xmlDocs (this, xmlDocs)

Parameters:
Returns: WidgetBuilder<TypeDefnRecordNode>
Modifiers: inline

Sets the XmlDocs for the current record definition.

this : WidgetBuilder<TypeDefnRecordNode>

Current widget.

xmlDocs : string list

The XmlDocs to set.

Returns: WidgetBuilder<TypeDefnRecordNode>

RecordModifiers.xmlDocs (this, xmlDocs)

Full Usage: RecordModifiers.xmlDocs (this, xmlDocs)

Parameters:
Returns: WidgetBuilder<TypeDefnRecordNode>
Modifiers: inline

Sets the XmlDocs for the current record definition.

this : WidgetBuilder<TypeDefnRecordNode>

Current widget.

xmlDocs : WidgetBuilder<XmlDocNode>

The XmlDocs to set.

Returns: WidgetBuilder<TypeDefnRecordNode>

Type something to start searching.