Say I have a function that iterates over some values (e.g., vector, range, iterator): function f(xs) for x in xs println(x) end end Can I give it a type signature that indicates the function requires xs to be iterable? It should work for f(rand(3)) or f(1:3) or f(Iterators.product(1:2, 1:…

The most idiomatic way is to not annotate and just let it fail when they are not iterable. But if you want the same function to work for scalars, you have two options: Annotate the scalar, and use the iterator one as fallback. This works well if you know what type of scalar you expect Annotate the…

Iterable type signature?

General Usage

robsmith11 July 13, 2021, 6:52am 5

Thanks. I’m not interested in handling scalar types. I just like to document the types of my functions. Perhaps I’ve used Haskell and Rust too much.

Topic		Replies	Views
How do I define a function whose argument is iterable? New to Julia question	5	949	July 3, 2020
Super type for all things iterable? General Usage	5	724	November 20, 2018
Iterable signature, revisited General Usage iterators	14	320	June 10, 2025
What's the best way to dispatch on an _iterable_ trait? New to Julia traits	15	1388	July 4, 2020
Structural subtyping New to Julia question	36	2997	July 14, 2021

Iterable type signature?

Related topics