[WIP] Expanded SF types to include MM types.

[evetion]

Resolves #2 and resolves #3.

[visr]

Nice! Would be nice to have focused PRs though, perhaps all those TODOs are a bit much for all in this PR?

[evetion]

Sure. I won't add more implementations/easy checks here. But the Types are there now, including a bounding box one. Let me know what you think. Only thing left is maybe add a method bounds that results in a BoundingBox with a fallback that computes it from all coordinates.

[visr]

I understand the need for a concrete BoundingBox type, and I think this is quite nicely done.

Normally I'd favor using the GeometryBasics HyperRectangle type for this, see this and that. But of course as an interface we cannot take on such a dependency (and we need the reverse dependency).

How do you see the extra complexity of the Line, LinearRing, Triangle, Box (and other) types? Just thinking aloud here. If I want to support Polygon but not the special versions Triangle and Box, I guess an implementation can just cover AbstractPolygon, and use it to create Polygon types?

[visr]

Could you also update the readme where needed?

[evetion]

After some thought I removed the bounding box type. It had some issues, such as the @generated and it doesn't fit in this package as a concrete implementation. I would like to go for an optional extent method that returns something that adheres to a Rectangle type. The Rect type from GeometryBasics would be a good fit.

I've added the CircularCurve and related types from SQL/MM. Also added a lot of defaults, where we can infer that ourselves. I'm ok with NotImplementedErrors on functions where we ourselves could eventually provide a fallback, things like area.

I've also started adding docstrings and did a split for types and interfaces, as requested by @rafaqz in #2.

Some points that still need to be addressed:

• Do we need to AbstractX everywhere? Is a Triangle <: Polygon or <:AbstractPolygon?
• I propose a minimal required interface, only geomtype, ncoords, ngeom, getgeom. We can make npoint = ngeom in the case of Points etc. Even Polygons, with exterior and interior(s) can be resolved to nrings (made an example) and thus ngeoms.
• getgeom can be an iterator.

Still some work to do, but let me know your thoughts on this direction.

[evetion]

• Updated the exports and the Project.toml
• Updated the README.md to work with ngeom and getgeom
• Removed the primitives.jl for now (not included it), as it needs rethinking
• Made a test implementation as test
• Made a testing tool to check your implementation

I'd say, barring obvious errors or typos, it's ready to merge. It isn't done yet, as the test suite needs expanding, especially for the default cases, but it's good enough for JuliaCon.