@type init_option() ::
  {:strategy, strategy()}
  | {:max_restarts, non_neg_integer()}
  | {:max_seconds, pos_integer()}
  | {:max_children, non_neg_integer() | :infinity}
  | {:extra_arguments, [term()]}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

init_option() :: {:strategy, strategy()}
| {:max_restarts, non_neg_integer()}
| {:max_seconds, pos_integer()}
| {:max_children, non_neg_integer() | :infinity}
| {:extra_arguments, [term()]}

@type on_start_child() ::
  {:ok, pid()}
  | {:ok, pid(), info :: term()}
  | :ignore
  | {:error, {:already_started, pid()} | :max_children | term()}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

on_start_child() :: {:ok, pid()}
| {:ok, pid(), info :: term()}
| :ignore
| {:error, {:already_started, pid()} | :max_children | term()}

@type option() :: TypeCheck.DefaultOverrides.GenServer.option()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

option() :: TypeCheck.DefaultOverrides.GenServer.option()

@type strategy() :: :one_for_one

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

strategy() :: :one_for_one

@type sup_flags() :: %{
  strategy: strategy(),
  intensity: non_neg_integer(),
  period: pos_integer(),
  max_children: non_neg_integer() | :infinity,
  extra_arguments: [term()]
}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

sup_flags() :: %{
  strategy: strategy(),
  intensity: non_neg_integer(),
  period: pos_integer(),
  max_children: non_neg_integer() | :infinity,
  extra_arguments: [term()]
}