# How to make your data type reducible

Let's see how to make a vector-of-vector a reducible collection; i.e., a type that can be fed to foldl.

struct VecOfVec{T}
vectors::Vector{Vector{T}}
end

We need @next and complete to invoke the reducing function rf.

using Transducers
using Transducers: @next, complete

Supporting foldl and similar only requires Transducers.__foldl__:

function Transducers.__foldl__(rf, val, vov::VecOfVec)
for vector in vov.vectors
for x in vector
val = @next(rf, val, x)
end
end
return complete(rf, val)
end

Note that it's often a good idea to implement Base.eltype:

Base.eltype(::VecOfVec{T}) where {T} = T

It can be then used as the input to the transducers:

vov = VecOfVec(collect.([1:n for n in 1:3]))
collect(Map(identity), vov)
6-element Vector{Int64}:
1
1
2
1
2
3

Macro @next is used instead of function next to avoid the boilerplate for supporting early termination (see the details in in @next documentation). In practice, using @next means that your __foldl__ supports early termination:

vov |> Take(3) |> collect
3-element Vector{Int64}:
1
1
2

More complex example:

vov |> PartitionBy(isequal(1)) |> Zip(Map(copy), Map(sum)) |> collect
4-element Vector{Tuple{Vector{Int64}, Int64}}:
([1, 1], 2)
([2], 2)
([1], 1)
([2, 3], 5)

Notice that writing Transducers.__foldl__ is very straightforward comparing to how to define an iterator:

function Base.iterate(vov::VecOfVec, state=(1, 1))

Iterator state is a tuple of an index i to vov.vectors and an index j to vov.vectors[i]:

    i, j = state

If i is larger than the number of items, we are done:

    i > length(vov.vectors) && return nothing

If j is in bound, we are iterating the same sub-vector:

    vi = vov.vectors[i]
if j <= length(vi)
return vi[j], (i, j + 1)
end

Otherwise, find the next non-empty sub-vector and start iterating it:

    for k in i + 1:length(vov.vectors)
vk = vov.vectors[k]
if !isempty(vk)
return vk[1], (k, 2)  # i=k, j=2
end
end
return nothing
end

Base.length(vov::VecOfVec) = sum(length, vov.vectors)

collect(vov)
6-element Vector{Int64}:
1
1
2
1
2
3