Header menu logo Nu

PropertyContent Type

Describes property content to the model-message-command-content (MMCC) content system.

Record fields

Record Field Description

PropertyLens

Full Usage: PropertyLens

Field type: Lens
Field type: Lens

PropertyStatic

Full Usage: PropertyStatic

Field type: bool
Field type: bool

PropertyValue

Full Usage: PropertyValue

Field type: obj
Field type: obj

Static members

Static member Description

PropertyContent.make static_ lens value

Full Usage: PropertyContent.make static_ lens value

Parameters:
    static_ : bool
    lens : Lens
    value : 'a

Returns: PropertyContent
Modifiers: inline
Type parameters: 'a
static_ : bool
lens : Lens
value : 'a
Returns: PropertyContent

Type something to start searching.