SpaEnvelopeDto Pennington.Islands
DTO for JSON serialization (SpaEnvelope uses ImmutableDictionary which needs a simpler shape).
Properties
Descriptionstring?- Default:
nullShort page description, when available. DiagnosticsSystem.Collections.Generic.IReadOnlyList<Pennington.Diagnostics.Diagnostic>?- Default:
nullPer-request diagnostics emitted during rendering. IslandsSystem.Collections.Generic.Dictionary<string, string>- Island id to rendered HTML payload.
Reloadbool?- Default:
nullWhen set, directs the SPA shell to perform a full reload instead of a client-side swap. Titlestring- Page title, surfaced in the browser tab and hero.
Constructors
.ctor
#public record SpaEnvelopeDto(
string Title,
string? Description,
Dictionary<string, string> Islands,
IReadOnlyList<Diagnostic>? Diagnostics = null,
bool? Reload = null
);DTO for JSON serialization (SpaEnvelope uses ImmutableDictionary which needs a simpler shape).
Parameters
Titlestring- Page title, surfaced in the browser tab and hero.
Descriptionstring?- Short page description, when available.
IslandsDictionary<string, string>- Island id to rendered HTML payload.
DiagnosticsIReadOnlyList<Diagnostic>? (optional)- Per-request diagnostics emitted during rendering.
Reloadbool? (optional)- When set, directs the SPA shell to perform a full reload instead of a client-side swap.
Pennington.Islands.SpaEnvelopeDto
namespace Pennington.Islands;
/// DTO for JSON serialization (SpaEnvelope uses ImmutableDictionary which needs a simpler shape).
public record SpaEnvelopeDto
{
/// DTO for JSON serialization (SpaEnvelope uses ImmutableDictionary which needs a simpler shape).
public record SpaEnvelopeDto(
string Title,
string? Description,
Dictionary<string, string> Islands,
IReadOnlyList<Diagnostic>? Diagnostics = null,
bool? Reload = null
);
/// Short page description, when available.
string? Description
;
/// Per-request diagnostics emitted during rendering.
IReadOnlyList<Diagnostic>? Diagnostics = null
;
/// Island id to rendered HTML payload.
Dictionary<string, string> Islands
;
/// When set, directs the SPA shell to perform a full reload instead of a client-side swap.
bool? Reload = null
;
/// Page title, surfaced in the browser tab and hero.
string Title
;
}