@spec brokers(t()) :: Croma.TypeGen.ListOf.Croma.Pid.t()

Type-aware getter for brokers.

@spec brokers(t(), Croma.TypeGen.ListOf.Croma.Pid.t()) :: t()

Type-aware setter for brokers.

@spec in_service?(t()) :: Croma.Boolean.t()

Type-aware getter for in_service?.

@spec in_service?(t(), Croma.Boolean.t()) :: t()

Type-aware setter for in_service?.

@spec log_flushed?(t()) :: Croma.Boolean.t()

Type-aware getter for log_flushed?.

@spec log_flushed?(t(), Croma.Boolean.t()) :: t()

Type-aware setter for log_flushed?.

@spec new(term()) :: Croma.Result.t(t())

Creates a new instance of AntikytheraCore.TerminationManager.State by using the given dict.

Returns {:ok, valid_struct} or {:error, reason}.

The values in the dict are validated by each field's valid?/1 function. If the value was invalid, it will be passed to new/1 of the field

For missing fields, followings will be tried:

• default/0 of each field type
• new/1 of each field type, with empty map as input

@spec new!(term()) :: t()

A variant of new/1 which returns t or raise if validation fails.

In other words, new/1 followed by Croma.Result.get!/1.

@spec not_in_service_count(t()) :: Croma.NonNegInteger.t()

Type-aware getter for not_in_service_count.

@spec not_in_service_count(t(), Croma.NonNegInteger.t()) :: t()

Type-aware setter for not_in_service_count.

@spec update(t(), Dict.t()) :: Croma.Result.t(t())

Updates an existing instance of AntikytheraCore.TerminationManager.State with the given dict. The values in the dict are validated by each field's valid?/1 function. Returns {:ok, valid_struct} or {:error, reason}.

@spec update!(t(), Dict.t()) :: t()

A variant of update/2 which returns t or raise if validation fails. In other words, update/2 followed by Croma.Result.get!/1.

@spec valid?(term()) :: boolean()

Checks if the given value belongs to t/0 or not.