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
data OSMChildren Source
The children elements of the osm
element of a OSM file.
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.
:: (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).