oceanbox/Oceanbox.GeoJson
6
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 5 Wiki Activity

fix: bad parser for MultiPolygons

Browse Source
This commit is contained in:
Jonas Juselius
2022-04-12 21:03:39 +02:00
parent c03d8c3f59
commit 10e1f21a74
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/GeoJson.fs
View File

@@ -99,6 +99,7 @@ with
let decodeCoord = Decode.array Decode.float
let decodePoints = Decode.array decodeCoord
let decodeSegments = Decode.array decodePoints
let decodeMultiSegments = Decode.array decodeSegments
let rec decoder () =
Decode.object (fun get ->
let inline getCoords (f :
@@ -119,13 +120,16 @@ with
let segments () =
getCoords decodeSegments
|> Array.map (Array.map toCoord)
let multiSegments () =
getCoords decodeMultiSegments
|> Array.map (Array.map (Array.map toCoord))
match get.Required.Field "type" Decode.string with
| "Point" -> coord () |> Point
| "MultiPoint" -> points () |> MultiPoint
| "LineString" -> points () |> LineString
| "Polygon" -> segments () |> Polygon
| "MultiLineString" -> segments () |> MultiLineString
| "MultiPolygon" -> segments () |> MultiLineString
| "MultiPolygon" -> multiSegments () |> MultiPolygon
| "GeometryCollection" ->
get.Required.Field "geometries" (Decode.array (decoder ()))
|> GeometryCollection