Why does indexing a `DispatchedTuple` always return a tuple? about dispatchedtuples.jl HOT 4 CLOSED

Is it always returning a tuple because you want the type of the output to always be <:Tuple?

I think so, yes. DispatchedSets return the value:

using DispatchedTuples
struct Foo end;
struct Bar end;
struct Baz end;

tup = (
   Pair(Foo(), 1),
   Pair(Bar(), 3),
)

dtup = DispatchedSet(tup);

dispatch(dtup, Foo()) # returns 1
dispatch(dtup, Bar()) # returns 3
dispatch(dtup, Baz()) # error

dtup = DispatchedSet(tup, 0);

dispatch(dtup, Foo()) # returns 1
dispatch(dtup, Bar()) # returns 3
dispatch(dtup, Baz()) # returns 0

from dispatchedtuples.jl.

Ah thanks for the clarification. Indeed DispatchedSet is probably what I want in this case.

I guess this suggests that you want to be iterating over the result of indexing a DispatchedTuple, e.g.

for v in dt[Face()]
    # do something with v...
end

which will always do the right thing.

from dispatchedtuples.jl.

I guess returning [1] in the case of a 1-tuple might introduce type instability?

Yeah, probably

from dispatchedtuples.jl.

I guess this suggests that you want to be iterating over the result of indexing a DispatchedTuple,

Yes, exactly

from dispatchedtuples.jl.