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

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.)

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

(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

@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)