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