-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Parse OpenStreetMap files
--   
--   Parse OpenStreetMap http://osm.org/ files using HXT into data
--   structures. The Data.Geo.OSM module is the core module that exports
--   all others.
@package OSM
@version 0.4.0

module Data.Geo.OSM.Accessor.Accessor
using :: (a -> d) -> (c -> a -> b) -> a -> (d -> c) -> b

module Data.Geo.OSM.Accessor.Public
class Public a
public :: (Public a) => a -> Bool
setPublic :: (Public a) => Bool -> a -> a
usingPublic :: (Public a) => a -> (Bool -> Bool) -> a


-- | Values with a <tt>zoom</tt> string accessor.
module Data.Geo.OSM.Accessor.Zoom
class Zoom a
zoom :: (Zoom a) => a -> String
setZoom :: (Zoom a) => String -> a -> a
usingZoom :: (Zoom a) => a -> (String -> String) -> a


-- | Values with a <tt>visible</tt> boolean accessor.
module Data.Geo.OSM.Accessor.Visible
class Visible a
visible :: (Visible a) => a -> Bool
setVisible :: (Visible a) => Bool -> a -> a
makeVisible :: (Visible a) => a -> a
makeInvisible :: (Visible a) => a -> a
usingVisible :: (Visible a) => a -> (Bool -> Bool) -> a


-- | Values with a <tt>v</tt> string accessor.
module Data.Geo.OSM.Accessor.V
class V a
v :: (V a) => a -> String
setV :: (V a) => String -> a -> a
usingV :: (V a) => a -> (String -> String) -> a


-- | Values with a <tt>version</tt> string accessor.
module Data.Geo.OSM.Accessor.Version
class Version a b | a -> b
version :: (Version a b) => a -> b
setVersion :: (Version a b) => b -> a -> a
usingVersion :: (Version a b) => a -> (b -> b) -> a


-- | Values with a <tt>user</tt> optional string accessor.
module Data.Geo.OSM.Accessor.User
class User a b | a -> b
user :: (User a b) => a -> b
setUser :: (User a b) => b -> a -> a
usingUser :: (User a b) => a -> (b -> b) -> a


-- | Values with a <tt>uid</tt> optional string accessor.
module Data.Geo.OSM.Accessor.Uid
class Uid a
uid :: (Uid a) => a -> Maybe String
setUid :: (Uid a) => Maybe String -> a -> a
setUid' :: (Uid a) => String -> a -> a
usingUid :: (Uid a) => a -> (Maybe String -> Maybe String) -> a
usingUid' :: (Uid a) => a -> (String -> String) -> a


-- | Values with a <tt>timestamp</tt> optional string accessor.
module Data.Geo.OSM.Accessor.Timestamp
class Timestamp a b | a -> b
timestamp :: (Timestamp a b) => a -> b
setTimestamp :: (Timestamp a b) => b -> a -> a
usingTimestamp :: (Timestamp a b) => a -> (b -> b) -> a


-- | Values with a <tt>role</tt> string accessor.
module Data.Geo.OSM.Accessor.Role
class Role a
role :: (Role a) => a -> String
setRole :: (Role a) => String -> a -> a
usingRole :: (Role a) => a -> (String -> String) -> a


-- | Values with a <tt>ref</tt> string accessor.
module Data.Geo.OSM.Accessor.Ref
class Ref a
ref :: (Ref a) => a -> String
setRef :: (Ref a) => String -> a -> a
usingRef :: (Ref a) => a -> (String -> String) -> a


-- | Values with a <tt>per_page</tt> string accessor.
module Data.Geo.OSM.Accessor.PerPage
class PerPage a
perPage :: (PerPage a) => a -> String
setPerPage :: (PerPage a) => String -> a -> a
usingPerPage :: (PerPage a) => a -> (String -> String) -> a

module Data.Geo.OSM.Accessor.Pending
class Pending a
pending :: (Pending a) => a -> Bool
setPending :: (Pending a) => Bool -> a -> a
usingPending :: (Pending a) => a -> (Bool -> Bool) -> a


-- | Values with a <tt>origin</tt> optional string accessor.
module Data.Geo.OSM.Accessor.Origin
class Origin a
origin :: (Origin a) => a -> Maybe String
setOrigin :: (Origin a) => Maybe String -> a -> a
setOrigin' :: (Origin a) => String -> a -> a
usingOrigin :: (Origin a) => a -> (Maybe String -> Maybe String) -> a
usingOrigin' :: (Origin a) => a -> (String -> String) -> a

module Data.Geo.OSM.Accessor.Name
class Name a
name :: (Name a) => a -> String
setName :: (Name a) => String -> a -> a
usingName :: (Name a) => a -> (String -> String) -> a


-- | Values with a <tt>minlon</tt> string accessor.
module Data.Geo.OSM.Accessor.Minlon
class Minlon a
minlon :: (Minlon a) => a -> String
setMinlon :: (Minlon a) => String -> a -> a
usingMinlon :: (Minlon a) => a -> (String -> String) -> a


-- | Values with a <tt>minlat</tt> string accessor.
module Data.Geo.OSM.Accessor.Minlat
class Minlat a
minlat :: (Minlat a) => a -> String
setMinlat :: (Minlat a) => String -> a -> a
usingMinlat :: (Minlat a) => a -> (String -> String) -> a


-- | Values with a <tt>minimum</tt> string accessor.
module Data.Geo.OSM.Accessor.Minimum
class Minimum a
minimum :: (Minimum a) => a -> String
setMinimum :: (Minimum a) => String -> a -> a
usingMinimum :: (Minimum a) => a -> (String -> String) -> a

module Data.Geo.OSM.Accessor.Maxlon
class Maxlon a
maxlon :: (Maxlon a) => a -> String
setMaxlon :: (Maxlon a) => String -> a -> a
usingMaxlon :: (Maxlon a) => a -> (String -> String) -> a


-- | Values with a <tt>maxlat</tt> string accessor.
module Data.Geo.OSM.Accessor.Maxlat
class Maxlat a
maxlat :: (Maxlat a) => a -> String
setMaxlat :: (Maxlat a) => String -> a -> a
usingMaxlat :: (Maxlat a) => a -> (String -> String) -> a


-- | Values with a <tt>maximum</tt> string accessor.
module Data.Geo.OSM.Accessor.Maximum
class Maximum a
maximum :: (Maximum a) => a -> String
setMaximum :: (Maximum a) => String -> a -> a
usingMaximum :: (Maximum a) => a -> (String -> String) -> a


-- | Values with a <tt>lon</tt> string accessor.
module Data.Geo.OSM.Accessor.Lon
class Lon a
lon :: (Lon a) => a -> String
setLon :: (Lon a) => String -> a -> a
usingLon :: (Lon a) => a -> (String -> String) -> a


-- | Values with a <tt>lat</tt> string accessor.
module Data.Geo.OSM.Accessor.Lat
class Lat a
lat :: (Lat a) => a -> String
setLat :: (Lat a) => String -> a -> a
usingLat :: (Lat a) => a -> (String -> String) -> a


-- | Values with a <tt>k</tt> string accessor.
module Data.Geo.OSM.Accessor.K
class K a
k :: (K a) => a -> String
setK :: (K a) => String -> a -> a
usingK :: (K a) => a -> (String -> String) -> a


-- | Values with a <tt>id</tt> string accessor.
module Data.Geo.OSM.Accessor.Id
class Id a
id :: (Id a) => a -> String
setId :: (Id a) => String -> a -> a
updateId :: (Id a) => a -> (String -> String) -> a


-- | Values with a <tt>generator</tt> optional string accessor.
module Data.Geo.OSM.Accessor.Generator
class Generator a
generator :: (Generator a) => a -> Maybe String
setGenerator :: (Generator a) => Maybe String -> a -> a
setGenerator' :: (Generator a) => String -> a -> a
usingGenerator :: (Generator a) => a -> (Maybe String -> Maybe String) -> a
usingGenerator' :: (Generator a) => a -> (String -> String) -> a


-- | Values with a <tt>display_name</tt> string accessor.
module Data.Geo.OSM.Accessor.DisplayName
class DisplayName a
displayName :: (DisplayName a) => a -> String
setDisplayName :: (DisplayName a) => String -> a -> a
usingDisplayName :: (DisplayName a) => a -> (String -> String) -> a


-- | Values with a <tt>changeset</tt> optional string accessor.
module Data.Geo.OSM.Accessor.Changeset
class Changeset a
changeset :: (Changeset a) => a -> Maybe String
setChangeset :: (Changeset a) => Maybe String -> a -> a
setChangeset' :: (Changeset a) => String -> a -> a
usingChangeset :: (Changeset a) => a -> (Maybe String -> Maybe String) -> a
usingChangeset' :: (Changeset a) => a -> (String -> String) -> a


-- | Values with a <tt>box</tt> string accessor.
module Data.Geo.OSM.Accessor.Box
class Box a
box :: (Box a) => a -> String
setBox :: (Box a) => String -> a -> a
usingBox :: (Box a) => a -> (String -> String) -> a


-- | Values with a <tt>account_created</tt> string accessor.
module Data.Geo.OSM.Accessor.AccountCreated
class AccountCreated a
accountCreated :: (AccountCreated a) => a -> String
setAccountCreated :: (AccountCreated a) => String -> a -> a
usingAccountCreated :: (AccountCreated a) => a -> (String -> String) -> a


-- | The <tt>waynodes</tt> element of a OSM file.
module Data.Geo.OSM.Waynodes

-- | The <tt>waynodes</tt> element of a OSM file.
data Waynodes

-- | Constructs a <tt>waynodes</tt> with maximum.
waynodes :: String -> Waynodes
instance Eq Waynodes
instance Maximum Waynodes
instance Show Waynodes
instance XmlPickler Waynodes


-- | Values with a <tt>waynodes</tt> string accessor.
module Data.Geo.OSM.Accessor.Wnodes
class Wnodes a
wnodes :: (Wnodes a) => a -> Waynodes
setWnodes :: (Wnodes a) => Waynodes -> a -> a
usingWnodes :: (Wnodes a) => a -> (Waynodes -> Waynodes) -> a


-- | The <tt>version</tt> element of a OSM file.
module Data.Geo.OSM.VersionE

-- | The <tt>version</tt> element of a OSM file.
data VersionE

-- | Constructs a <tt>version</tt> with minimum and maximum.
versionE :: String -> String -> VersionE
instance Eq VersionE
instance Maximum VersionE
instance Minimum VersionE
instance Show VersionE
instance XmlPickler VersionE


-- | The <tt>tracepoints</tt> element of a OSM file.
module Data.Geo.OSM.Tracepoints

-- | The <tt>tracepoints</tt> element of a OSM file.
data Tracepoints

-- | Constructs a <tt>tracepoints</tt> with per_page.
tracepoints :: String -> Tracepoints
instance Eq Tracepoints
instance PerPage Tracepoints
instance Show Tracepoints
instance XmlPickler Tracepoints


-- | Values with a <tt>tracepoints</tt> string accessor.
module Data.Geo.OSM.Accessor.Tpoints
class Tpoints a
tpoints :: (Tpoints a) => a -> Tracepoints
setTpoints :: (Tpoints a) => Tracepoints -> a -> a
usingTpoints :: (Tpoints a) => a -> (Tracepoints -> Tracepoints) -> a


-- | The <tt>tag</tt> element of a OSM file.
module Data.Geo.OSM.Tag

-- | The <tt>tag</tt> element of a OSM file.
data Tag

-- | Constructs a tag with a key and value.
tag :: String -> String -> Tag
instance Eq Tag
instance V Tag
instance K Tag
instance Show Tag
instance XmlPickler Tag


-- | Values with a <tt>tags</tt> accessor that is a list of tags.
module Data.Geo.OSM.Accessor.Tags
class Tags a
tags :: (Tags a) => a -> [Tag]
setTags :: (Tags a) => [Tag] -> a -> a
setTag :: (Tags a) => Tag -> a -> a
usingTags :: (Tags a) => a -> ([Tag] -> [Tag]) -> a
usingTag :: (Tags a) => a -> (Tag -> Tag) -> a
usingTag' :: (Tags a) => a -> ((String, String) -> (String, String)) -> a
tagMap :: (Tags a) => a -> Map String String
tagValue :: (Tags a) => a -> String -> Maybe String
hasTagValue :: (Tags a) => String -> String -> a -> Bool


-- | The common attributes between the <tt>node</tt>, <tt>way</tt> and
--   <tt>relation</tt> elements.
module Data.Geo.OSM.NWRCommon

-- | The common attributes between the <tt>node</tt>, <tt>way</tt> and
--   <tt>relation</tt> elements.
data NWRCommon

-- | Constructs with id, list of tags, changeset, visible, user&amp;uid and
--   timestamp.
nwrCommon :: String -> [Tag] -> Maybe String -> Bool -> (Maybe String, Maybe String) -> Maybe String -> NWRCommon
instance Eq NWRCommon
instance Timestamp NWRCommon (Maybe String)
instance Uid NWRCommon
instance User NWRCommon (Maybe String)
instance Visible NWRCommon
instance Changeset NWRCommon
instance Tags NWRCommon
instance Id NWRCommon
instance Show NWRCommon
instance XmlPickler NWRCommon


-- | The <tt>preferences</tt> element of a OSM file.
module Data.Geo.OSM.Preferences

-- | The <tt>preferences</tt> element of a OSM file.
data Preferences

-- | Constructs a <tt>preferences</tt> with tags.
preferences :: [Tag] -> Preferences
instance Eq Preferences
instance Tags Preferences
instance Show Preferences
instance XmlPickler Preferences


-- | The <tt>node</tt> element of a OSM file.
module Data.Geo.OSM.Node

-- | The <tt>node</tt> element of a OSM file.
data Node

-- | Constructs a node with a lat, lon, id, list of tags, changeset,
--   visible, user&amp;uid and timestamp.
node :: String -> String -> String -> [Tag] -> Maybe String -> Bool -> (Maybe String, Maybe String) -> Maybe String -> Node
instance Eq Node
instance Timestamp Node (Maybe String)
instance Uid Node
instance User Node (Maybe String)
instance Visible Node
instance Changeset Node
instance Tags Node
instance Id Node
instance Lon Node
instance Lat Node
instance Show Node
instance XmlPickler Node


-- | The <tt>nd</tt> element of a OSM file.
module Data.Geo.OSM.Nd

-- | The <tt>nd</tt> element of a OSM file.
data Nd

-- | Constructs a nd with a ref.
nd :: String -> Nd
instance Eq Nd
instance Ref Nd
instance Show Nd
instance XmlPickler Nd


-- | Values with a <tt>nd</tt> accessor that is a list of <tt>Nd</tt>.
module Data.Geo.OSM.Accessor.Nds
class Nds a
nds :: (Nds a) => a -> [Nd]
setNds :: (Nds a) => [Nd] -> a -> a
setNd :: (Nds a) => Nd -> a -> a
usingNds :: (Nds a) => a -> ([Nd] -> [Nd]) -> a
usingNd :: (Nds a) => a -> (Nd -> Nd) -> a


-- | The <tt>way</tt> element of a OSM file.
module Data.Geo.OSM.Way

-- | The <tt>way</tt> element of a OSM file.
data Way

-- | Constructs a way with a list of nds, id, list of tags, changeset,
--   visible, user&amp;uid and timestamp.
way :: [Nd] -> String -> [Tag] -> Maybe String -> Bool -> (Maybe String, Maybe String) -> Maybe String -> Way
instance Eq Way
instance Timestamp Way (Maybe String)
instance Uid Way
instance User Way (Maybe String)
instance Visible Way
instance Changeset Way
instance Tags Way
instance Id Way
instance Nds Way
instance Show Way
instance XmlPickler Way


-- | The <tt>type</tt> attribute of a <tt>member</tt> element of a OSM
--   file.
module Data.Geo.OSM.MemberType

-- | The <tt>type</tt> attribute of a <tt>member</tt> element of a OSM
--   file.
data MemberType

-- | Folds a member-type (catamorphism).
foldMemberType :: MemberType -> x -> x -> x -> x

-- | Constructs a member-type that is a way.
wayType :: MemberType

-- | Constructs a member-type that is a node.
nodeType :: MemberType

-- | Constructs a member-type that is a relation.
relationType :: MemberType
instance Eq MemberType
instance Show MemberType
instance XmlPickler MemberType


-- | Values with a <tt>type</tt> accessor.
module Data.Geo.OSM.Accessor.Mtype
class Mtype a
mtype :: (Mtype a) => a -> MemberType
setMtype :: (Mtype a) => MemberType -> a -> a
usingMtype :: (Mtype a) => a -> (MemberType -> MemberType) -> a


-- | The <tt>member</tt> element of a OSM file.
module Data.Geo.OSM.Member

-- | The <tt>member</tt> element of a OSM file.
data Member

-- | Constructs a member with a type, ref and role.
member :: MemberType -> String -> String -> Member
instance Eq Member
instance Role Member
instance Ref Member
instance Mtype Member
instance Show Member
instance XmlPickler Member


-- | Values with a <tt>member</tt> accessor that is a list of
--   <tt>Member</tt>.
module Data.Geo.OSM.Accessor.Members
class Members a
members :: (Members a) => a -> [Member]
setMembers :: (Members a) => [Member] -> a -> a
setMember :: (Members a) => Member -> a -> a
usingMembers :: (Members a) => a -> ([Member] -> [Member]) -> a
usingMember :: (Members a) => a -> (Member -> Member) -> a


-- | The <tt>relation</tt> element of a OSM file.
module Data.Geo.OSM.Relation

-- | The <tt>relation</tt> element of a OSM file.
data Relation

-- | Constructs a relation with a list of members, id, list of tags,
--   changeset, visible, user&amp;uid and timestamp.
relation :: [Member] -> String -> [Tag] -> Maybe String -> Bool -> (Maybe String, Maybe String) -> Maybe String -> Relation
instance Eq Relation
instance Timestamp Relation (Maybe String)
instance Uid Relation
instance User Relation (Maybe String)
instance Visible Relation
instance Changeset Relation
instance Tags Relation
instance Id Relation
instance Members Relation
instance Show Relation
instance XmlPickler Relation


-- | The <tt>node</tt>, <tt>way</tt>, or <tt>relation</tt> element of a OSM
--   file.
module Data.Geo.OSM.NodeWayRelation

-- | The <tt>node</tt>, <tt>way</tt>, or <tt>relation</tt> element of a OSM
--   file.
data NodeWayRelation

-- | Folds a node-way-relation (catamorphism).
foldNodeWayRelation :: NodeWayRelation -> (Node -> x) -> (Way -> x) -> (Relation -> x) -> x

-- | Construct a <tt>way</tt> element value.
way' :: Way -> NodeWayRelation

-- | Construct a <tt>relation</tt> element value.
relation' :: Relation -> NodeWayRelation

-- | Construct a <tt>node</tt> element value.
node' :: Node -> NodeWayRelation

-- | Returns whether the <tt>node</tt>, <tt>way</tt> or <tt>relation</tt>
--   element is a node.
isNode :: NodeWayRelation -> Bool

-- | Returns whether the <tt>node</tt>, <tt>way</tt> or <tt>relation</tt>
--   element is a way.
isWay :: NodeWayRelation -> Bool

-- | Returns whether the <tt>node</tt>, <tt>way</tt> or <tt>relation</tt>
--   element is a relation.
isRelation :: NodeWayRelation -> Bool
instance Eq NodeWayRelation
instance Show NodeWayRelation
instance XmlPickler NodeWayRelation


-- | Values with a <tt>nwrs</tt> accessor that is a list of
--   <tt>NodeWayRelation</tt>.
module Data.Geo.OSM.Accessor.NodeWayRelations
class NodeWayRelations a
nwrs :: (NodeWayRelations a) => a -> [NodeWayRelation]
setNwrs :: (NodeWayRelations a) => [NodeWayRelation] -> a -> a
setNwr :: (NodeWayRelations a) => NodeWayRelation -> a -> a
usingNwrs :: (NodeWayRelations a) => a -> ([NodeWayRelation] -> [NodeWayRelation]) -> a
usingNwr :: (NodeWayRelations a) => a -> (NodeWayRelation -> NodeWayRelation) -> a
usingNode :: (NodeWayRelations a) => a -> (Node -> Node) -> a
usingWay :: (NodeWayRelations a) => a -> (Way -> Way) -> a
usingRelation :: (NodeWayRelations a) => a -> (Relation -> Relation) -> a
nodes :: (NodeWayRelations a) => a -> [Node]
ways :: (NodeWayRelations a) => a -> [Way]
relations :: (NodeWayRelations a) => a -> [Relation]


-- | The <tt>home</tt> element of a OSM file.
module Data.Geo.OSM.Home

-- | The <tt>home</tt> element of a OSM file.
data Home

-- | Constructs a <tt>home</tt> with lat, lon and zoom.
home :: String -> String -> String -> Home
instance Eq Home
instance Zoom Home
instance Lon Home
instance Lat Home
instance Show Home
instance XmlPickler Home


-- | Values with a <tt>home</tt> optional string accessor.
module Data.Geo.OSM.Accessor.Hm
class Hm a
hm :: (Hm a) => a -> Maybe Home
setHm :: (Hm a) => Maybe Home -> a -> a
setHm' :: (Hm a) => Home -> a -> a
usingHm :: (Hm a) => a -> (Maybe Home -> Maybe Home) -> a
usingHm' :: (Hm a) => a -> (Home -> Home) -> a


-- | The <tt>user</tt> element of a OSM file.
module Data.Geo.OSM.UserE

-- | The <tt>user</tt> element of a OSM file.
data UserE

-- | Constructs a <tt>user</tt> with an optional home, display_name and
--   account_created.
userE :: Maybe Home -> String -> String -> UserE
instance Eq UserE
instance AccountCreated UserE
instance DisplayName UserE
instance Hm UserE
instance Show UserE
instance XmlPickler UserE


-- | The <tt>gpx_file</tt> element of a OSM file.
module Data.Geo.OSM.GpxFile

-- | The <tt>gpx_file</tt> element of a OSM file.
data GpxFile

-- | Constructs a <tt>gpx_file</tt> with an id, name, lat, lon, user,
--   public, pending and timestamp.
gpxFile :: String -> String -> String -> String -> String -> Bool -> Bool -> String -> GpxFile
instance Eq GpxFile
instance Timestamp GpxFile String
instance Pending GpxFile
instance Public GpxFile
instance User GpxFile String
instance Lon GpxFile
instance Lat GpxFile
instance Name GpxFile
instance Id GpxFile
instance Show GpxFile
instance XmlPickler GpxFile


-- | The <tt>changeset</tt> element of a OSM file.
module Data.Geo.OSM.ChangesetE

-- | The <tt>changeset</tt> element of a OSM file.
data ChangesetE

-- | Constructs a <tt>changeset</tt> with tags.
changesetE :: [Tag] -> ChangesetE
instance Eq ChangesetE
instance Tags ChangesetE
instance Show ChangesetE
instance XmlPickler ChangesetE


-- | The <tt>bounds</tt> element of a OSM file.
module Data.Geo.OSM.Bounds

-- | The <tt>bounds</tt> element of a OSM file.
data Bounds

-- | Constructs a bounds with a minlat, minlon, maxlat, maxlon and origin
--   attributes.
bounds :: String -> String -> String -> String -> Maybe String -> Bounds
instance Eq Bounds
instance Origin Bounds
instance Maxlon Bounds
instance Maxlat Bounds
instance Minlon Bounds
instance Minlat Bounds
instance Show Bounds
instance XmlPickler Bounds


-- | The <tt>bound</tt> element of a OSM file.
module Data.Geo.OSM.Bound

-- | The <tt>bound</tt> element of a OSM file.
data Bound

-- | Constructs a bound with a box and origin attributes.
bound :: String -> Maybe String -> Bound
instance Eq Bound
instance Origin Bound
instance Box Bound
instance Show Bound
instance XmlPickler Bound


-- | Values with a <tt>bounds</tt> accessor which is either empty, a
--   <tt>Bound</tt> or a <tt>Bounds</tt>.
module Data.Geo.OSM.Accessor.BoundOrs
class BoundOrs a
boundOrs :: (BoundOrs a) => a -> x -> (Bound -> x) -> (Bounds -> x) -> x
setBoundOrs :: (BoundOrs a) => Maybe (Either Bound Bounds) -> a -> a
setBound :: (BoundOrs a) => Bound -> a -> a
setBounds :: (BoundOrs a) => Bounds -> a -> a
usingBoundOrs :: (BoundOrs a) => a -> (Maybe (Either Bound Bounds) -> Maybe (Either Bound Bounds)) -> a


-- | The <tt>area</tt> element of a OSM file.
module Data.Geo.OSM.Area

-- | The <tt>area</tt> element of a OSM file.
data Area

-- | Constructs a <tt>area</tt> with maximum.
area :: String -> Area
instance Eq Area
instance Maximum Area
instance Show Area
instance XmlPickler Area


-- | Values with a <tt>area</tt> string accessor.
module Data.Geo.OSM.Accessor.Ar
class Ar a
ar :: (Ar a) => a -> Area
setAr :: (Ar a) => Area -> a -> a
usingArea :: (Ar a) => a -> (Area -> Area) -> a


-- | The <tt>api</tt> element of a OSM file.
module Data.Geo.OSM.Api

-- | The <tt>api</tt> element of a OSM file.
data Api

-- | Constructs a <tt>api</tt> with version, area, tracepoints and
--   waynodes.
api :: VersionE -> Area -> Tracepoints -> Waynodes -> Api
instance Eq Api
instance Wnodes Api
instance Tpoints Api
instance Ar Api
instance Version Api VersionE
instance Show Api
instance XmlPickler Api


-- | The children elements of the <tt>osm</tt> element of a OSM file.
module Data.Geo.OSM.OSMChildren

-- | The children elements of the <tt>osm</tt> element of a OSM file.
data OSMChildren

-- | A <tt>user</tt> element.
osmUser :: UserE -> OSMChildren

-- | A <tt>gpx_file</tt> element.
osmGpxFile :: GpxFile -> OSMChildren

-- | A <tt>api</tt> element.
osmApi :: Api -> OSMChildren

-- | A <tt>changeset</tt> element.
osmChangeset :: ChangesetE -> OSMChildren

-- | A list of <tt>node</tt>, <tt>way</tt> or <tt>relation</tt> elements.
osmNodeWayRelation :: [NodeWayRelation] -> OSMChildren

-- | Folds OSM child elements (catamorphism).
foldOSMChildren :: (UserE -> a) -> (Preferences -> a) -> (GpxFile -> a) -> (Api -> a) -> (ChangesetE -> a) -> ([NodeWayRelation] -> a) -> OSMChildren -> a
instance Eq OSMChildren
instance Show OSMChildren
instance XmlPickler OSMChildren


-- | The <tt>osm</tt> element of a OSM file, which is the root element.
--   <a>http://wiki.openstreetmap.org/wiki/API_v0.6/DTD</a>
module Data.Geo.OSM.OSM

-- | The <tt>osm</tt> element of a OSM file, which is the root element.
data OSM

-- | Constructs a osm with a version, bound or bounds, and node attributes
--   and way or relation elements.
osm :: String -> Maybe String -> Maybe (Either Bound Bounds) -> OSMChildren -> OSM

-- | Reads an OSM file into a list of <tt>OSM</tt> values removing
--   whitespace.
readOsmFile :: FilePath -> IO [OSM]

-- | Reads 0 or more OSM files into a list of <tt>OSM</tt> values removing
--   whitespace.
readOsmFiles :: [FilePath] -> IO [OSM]

-- | Reads a OSM file removing whitespace, executes the given function on
--   the XML, then writes the given file with indentation.
interactOSMIO :: FilePath -> (OSM -> IO OSM) -> FilePath -> IO ()

-- | Reads a OSM file removing whitespace, executes the given functions on
--   the XML, then writes the given file with indentation.
interactsOSMIO :: FilePath -> [OSM -> IO OSM] -> FilePath -> IO ()

-- | Reads a OSM file, executes the given function on the XML, then writes
--   the given file.
interactOSMIO' :: Attributes -> FilePath -> (OSM -> IO OSM) -> Attributes -> FilePath -> IO ()

-- | Reads a OSM file, executes the given functions on the XML, then writes
--   the given file.
interactsOSMIO' :: Attributes -> FilePath -> [OSM -> IO OSM] -> Attributes -> FilePath -> IO ()

-- | Reads a OSM file removing whitespace, executes the given function on
--   the XML, then writes the given file with indentation.
interactOSM :: FilePath -> (OSM -> OSM) -> FilePath -> IO ()

-- | Reads a OSM file removing whitespace, executes the given functions on
--   the XML, then writes the given file with indentation.
interactsOSM :: FilePath -> [OSM -> OSM] -> FilePath -> IO ()

-- | Reads a OSM file, executes the given function on the XML, then writes
--   the given file.
interactOSM' :: Attributes -> FilePath -> (OSM -> OSM) -> Attributes -> FilePath -> IO ()

-- | Reads a OSM file, executes the given functions on the XML, then writes
--   the given file.
interactsOSM' :: Attributes -> FilePath -> [OSM -> OSM] -> Attributes -> FilePath -> IO ()
instance Eq OSM
instance NodeWayRelations OSM
instance BoundOrs OSM
instance Generator OSM
instance Version OSM String
instance Show OSM
instance XmlPickler OSM


-- | OpenStreetMap API v0.6 DTD
--   <a>http://wiki.openstreetmap.org/wiki/API_v0.6/DTD</a>
module Data.Geo.OSM