Data.Geo.OSM.OSMChildren
Description
The children elements of the osm element of a OSM file.
- data OSMChildren
- osmUser :: UserE -> OSMChildren
- osmGpxFile :: GpxFile -> OSMChildren
- osmApi :: Api -> OSMChildren
- osmChangeset :: ChangesetE -> OSMChildren
- osmNodeWayRelation :: [NodeWayRelation] -> OSMChildren
- foldOSMChildren :: (UserE -> a) -> (Preferences -> a) -> (GpxFile -> a) -> (Api -> a) -> (ChangesetE -> a) -> ([NodeWayRelation] -> a) -> OSMChildren -> a
Documentation
osmUser :: UserE -> OSMChildrenSource
A user element.
osmGpxFile :: GpxFile -> OSMChildrenSource
A gpx_file element.
osmApi :: Api -> OSMChildrenSource
A api element.
osmChangeset :: ChangesetE -> OSMChildrenSource
A changeset element.
osmNodeWayRelation :: [NodeWayRelation] -> OSMChildrenSource
A list of node, way or relation elements.
Arguments
| :: (UserE -> a) | If a |
| -> (Preferences -> a) | If a |
| -> (GpxFile -> a) | If a |
| -> (Api -> a) | If a |
| -> (ChangesetE -> a) | If a |
| -> ([NodeWayRelation] -> a) | If a list of |
| -> OSMChildren | The disjunctive type of child elements. |
| -> a |
Folds OSM child elements (catamorphism).