Class EffectReceipt

Namespace
Cratis.Chronicle.Occurrences
Assembly
Cratis.Chronicle.dll

The first durable outcome of an effect. Response is plaintext and must not contain personal data.

public record EffectReceipt : IEquatable<EffectReceipt>
Inheritance
EffectReceipt
Implements
Inherited Members
Extension Methods

Constructors

EffectReceipt(EffectKey, EffectOutcome, JsonNode?, LeaseToken, DateTimeOffset)

The first durable outcome of an effect. Response is plaintext and must not contain personal data.

public EffectReceipt(EffectKey Key, EffectOutcome Outcome, JsonNode? Response, LeaseToken WrittenBy, DateTimeOffset RecordedAt)

Parameters

Key EffectKey

The effect identity.

Outcome EffectOutcome

The recorded outcome.

Response JsonNode

The optional opaque JSON response, at most 64 KiB.

WrittenBy LeaseToken

The lease that won the write.

RecordedAt DateTimeOffset

The kernel recording instant.

EffectReceipt(EffectReceipt)

protected EffectReceipt(EffectReceipt original)

Parameters

original EffectReceipt

Properties

EqualityContract

protected virtual Type EqualityContract { get; }

Property Value

Type

Key

The effect identity.

public EffectKey Key { get; init; }

Property Value

EffectKey

Outcome

The recorded outcome.

public EffectOutcome Outcome { get; init; }

Property Value

EffectOutcome

RecordedAt

The kernel recording instant.

public DateTimeOffset RecordedAt { get; init; }

Property Value

DateTimeOffset

Response

The optional opaque JSON response, at most 64 KiB.

public JsonNode? Response { get; init; }

Property Value

JsonNode

WrittenBy

The lease that won the write.

public LeaseToken WrittenBy { get; init; }

Property Value

LeaseToken

Methods

Deconstruct(out EffectKey, out EffectOutcome, out JsonNode?, out LeaseToken, out DateTimeOffset)

public void Deconstruct(out EffectKey Key, out EffectOutcome Outcome, out JsonNode? Response, out LeaseToken WrittenBy, out DateTimeOffset RecordedAt)

Parameters

Key EffectKey
Outcome EffectOutcome
Response JsonNode
WrittenBy LeaseToken
RecordedAt DateTimeOffset

Equals(EffectReceipt?)

public virtual bool Equals(EffectReceipt? other)

Parameters

other EffectReceipt

Returns

bool

Equals(object?)

public override bool Equals(object? obj)

Parameters

obj object

Returns

bool

GetHashCode()

public override int GetHashCode()

Returns

int

PrintMembers(StringBuilder)

protected virtual bool PrintMembers(StringBuilder builder)

Parameters

builder StringBuilder

Returns

bool

ToString()

public override string ToString()

Returns

string

Operators

operator ==(EffectReceipt?, EffectReceipt?)

public static bool operator ==(EffectReceipt? left, EffectReceipt? right)

Parameters

left EffectReceipt
right EffectReceipt

Returns

bool

operator !=(EffectReceipt?, EffectReceipt?)

public static bool operator !=(EffectReceipt? left, EffectReceipt? right)

Parameters

left EffectReceipt
right EffectReceipt

Returns

bool