Provide a type-agnostic API and document it about contour.jl

[darwindarak]

👍 Sounds like a good idea.

Maybe we can minimize the disruption of renaming the package by using two repositories for a release cycle. We can go ahead and create the Contours.jl package now, and make the current module throw out warnings when it is loaded.

[SimonDanisch]

In GeometryTypes we started using the decompose function for these kind of tasks.
Maybe we should rename it to collect at some point, but it works in the following way:

points = decompose(Point, contour) # returns point coordinates of the line
lines = decompose(LineSegment, contour) # returns line segments
line = decompose(Line, contour) # returns a contigeous line
points = decompose(Point{3, Float32}, contour) # since we use types, we can also query types explicitely
points = decompose(Point{2, Float64}, contour) # return 2D points with Float64.
# this works for arbitrary geometry types as well:
points = decompose(Point, Pyramid(...))

This interface allows much flexibility while keeping the implementation very terse.
It helps in plotting environments, were you already know what kind of data you need, independant of the kind of data you actually have (e.g. you have Contour{Float64}, but for plotting you know that you always need Point{3, Float32}).
If you want to, you can use this as a low-level interface, and define higher level functions like lines on top of it.

[tomasaschan]

Hm. We currently depend on FixedSizeArrays, but I think it would be more appropriate to depend on GeometryTypes directly, and re-use as many as possible of the types there. I'll re-work #30 to this end.

[tomasaschan]

After looking at it again, it turns out that the relevant types from GeometryTypes are basically just re-exported from FixedSizeArrays. I won't go through the hassle, then :)

[SimonDanisch]

Haha yeah that's right. It would be rather about the LineSegment types and decompose ;)
If you have a nice and simple line type lying around, you could also add it to GeometryTypes if you want.

[tomasaschan]

Hm. The LineSegment type could definitely provide a better abstraction over curves than our Curve2; is there a type (or typealias) in GeometryTypes representing a curve? Or is that just a Vector{LineSegment}?

[SimonDanisch]

Currently it is. But I think a curve should be another type, since linesegments are not joined... Or so I would think ;)

[tomasaschan]

Yeah, true. Then for the moment we should probably stick with our Curve2{T} (which is just a wrapper around a Vector{Point2{T}}) 😄

[SimonDanisch]

Hehe, yeah I don't see why not!

[tomasaschan]

Now that #32 is merged, we can re-work the internal representation of everything without breaking the publicly documented API. Closing this.