TypeCheck.DefaultOverrides.Enumerable (TypeCheck v0.10.4) View Source

Link to this section Summary

Types

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

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

t()

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

Link to this section Types

Specs

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

Specs

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

Specs

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

Specs

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

Specs

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

Specs

t() :: Enumerable.t()

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

Full definition:

t() :: impl(Enumerable)