OSM-0.6.4: Parse OpenStreetMap files

Data.Geo.OSM.Children

Description

The children elements of the osm element of a OSM file.

Synopsis

Documentation

data Children Source

The children elements of the osm element of a OSM file.

Instances

Eq Children
Show Children
XmlPickler Children

osmUser :: User -> Children Source

A user element.

osmGpxFile :: GpxFile -> Children Source

A gpx_file element.

osmApi :: Api -> Children Source

A api element.

osmChangeset :: Changeset -> Children Source

A changeset element.

osmNodeWayRelation :: [NodeWayRelation] -> Children Source

A list of node, way or relation elements.

foldChildren Source

Arguments

:: (User -> a)	If a `user` element.
-> (Preferences -> a)	If a `preferences` element.
-> (GpxFile -> a)	If a `gpx_file` element.
-> (Api -> a)	If a `api` element.
-> (Changeset -> a)	If a `changeset` element.
-> ([NodeWayRelation] -> a)	If a list of `node`, `way` or `relation` elements.
-> Children	The disjunctive type of child elements.
-> a

Folds OSM child elements (catamorphism).