@type acc() :: {:cont, term()} | {:halt, term()} | {:suspend, term()}

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

Full definition:

acc() :: {:cont, term()} | {:halt, term()} | {:suspend, term()}

@type continuation() :: (acc() -> result())

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

Full definition:

continuation() :: (acc() -> result())

@type reducer() :: (element :: term(), current_acc :: acc() -> updated_acc :: acc())

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

Full definition:

reducer() :: (element :: term(), current_acc :: acc() -> updated_acc :: acc())

@type result() ::
  {:done, term()} | {:halted, term()} | {:suspended, term(), continuation()}

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

Full definition:

result() :: {:done, term()} | {:halted, term()} | {:suspended, term(), continuation()}

@type slicing_fun() ::
  (start :: non_neg_integer(), length :: pos_integer() -> [term()])

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

Full definition:

slicing_fun() :: (start :: non_neg_integer(), length :: pos_integer() -> [term()])

@type t() :: Enumerable.t()

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

Full definition:

t() :: impl(Enumerable)