SubscriptionFilter constructor
SubscriptionFilter({})
Implementation
SubscriptionFilter({
bool? promptsListChanged,
List<String>? resourceSubscriptions,
bool? resourcesListChanged,
bool? toolsListChanged,
Map<String, Object?>? extra,
}) : super.build({
...?extra,
if (promptsListChanged != null) 'promptsListChanged': $encode(promptsListChanged),
if (resourceSubscriptions != null) 'resourceSubscriptions': $encode(resourceSubscriptions),
if (resourcesListChanged != null) 'resourcesListChanged': $encode(resourcesListChanged),
if (toolsListChanged != null) 'toolsListChanged': $encode(toolsListChanged),
});