PropertyContent (Nu)

PropertyContent Type

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

Record Field	Description
`PropertyLens` Full Usage: `PropertyLens` Field type: `Lens`	Field type: `Lens`
`PropertyType` Full Usage: `PropertyType` Field type: `PropertyType`	Field type: `PropertyType`
`PropertyValue` Full Usage: `PropertyValue` Field type: `obj`	Field type: `obj`

Static member Description

Static member	Description
`PropertyContent.make ty lens value` Full Usage: `PropertyContent.make ty lens value` Parameters: ty : `PropertyType` lens : `Lens` value : `'a` Returns: `PropertyContent` Modifiers: inline Type parameters: 'a	ty : `PropertyType` lens : `Lens` value : `'a` Returns: `PropertyContent`


                
                  
                    
                      PropertyContent.make ty lens value

Full Usage: PropertyContent.make ty lens value

Parameters:

ty : PropertyType

lens : Lens

value : 'a

Returns: PropertyContent
Modifiers: inline
Type parameters: 'a