@type child() :: pid() | :undefined

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

Full definition:

child() :: pid() | :undefined

@type child_spec() :: %{
  :id => atom() | term(),
  :start => {module(), atom(), [term()]},
  optional(:restart) => :permanent | :transient | :temporary,
  optional(:shutdown) => timeout() | :brutal_kill,
  optional(:type) => :worker | :supervisor,
  optional(:modules) => [module()] | :dynamic
}

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

Full definition:

child_spec() :: %{
  :id => atom() | term(),
  :start => {module(), atom(), [term()]},
  optional(:restart) => :permanent | :transient | :temporary,
  optional(:shutdown) => timeout() | :brutal_kill,
  optional(:type) => :worker | :supervisor,
  optional(:modules) => [module()] | :dynamic
}

@type init_option() ::
  {:strategy, strategy()}
  | {:max_restarts, non_neg_integer()}
  | {:max_seconds, pos_integer()}

(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()}

@type name() :: atom() | {:global, term()} | {:via, module(), term()}

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

Full definition:

name() :: atom() | {:global, term()} | {:via, module(), term()}

@type on_start() ::
  {:ok, pid()}
  | :ignore
  | {:error, {:already_started, pid()} | {:shutdown, term()} | term()}

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

Full definition:

on_start() :: {:ok, pid()} | :ignore | {:error, {:already_started, pid()} | {:shutdown, term()} | term()}

@type on_start_child() ::
  {:ok, child()}
  | {:ok, child(), info :: term()}
  | {:error, {:already_started, child()} | :already_present | term()}

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

Full definition:

on_start_child() :: {:ok, child()}
| {:ok, child(), info :: term()}
| {:error, {:already_started, child()} | :already_present | term()}

@type option() :: {:name, name()}

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

Full definition:

option() :: {:name, name()}

@type strategy() :: :one_for_one | :one_for_all | :rest_for_one

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

Full definition:

strategy() :: :one_for_one | :one_for_all | :rest_for_one

@type supervisor() :: pid() | name() | {atom(), node()}

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

Full definition:

supervisor() :: pid() | name() | {atom(), node()}