-- 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 Geo.OSM module is the core module that exports all
--   others.
@package OSM
@version 0.3


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


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


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


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


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


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


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


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


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


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


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

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


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


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


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


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


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


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


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


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


-- | 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]
tagMap :: (Tags a) => a -> Map String 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
instance Uid NWRCommon
instance User NWRCommon
instance Visible NWRCommon
instance Changeset NWRCommon
instance Tags NWRCommon
instance Id NWRCommon
instance Show NWRCommon
instance XmlPickler NWRCommon


-- | 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
instance Uid Node
instance User Node
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]


-- | 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
instance Uid Way
instance User Way
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


-- | 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]


-- | 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
instance Uid Relation
instance User Relation
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]
nodes :: (NodeWayRelations a) => a -> [Node]
ways :: (NodeWayRelations a) => a -> [Way]
relations :: (NodeWayRelations a) => a -> [Relation]


-- | 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


-- | The <tt>osm</tt> element of a OSM file, which is the root element.
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) -> [NodeWayRelation] -> OSM
instance Eq OSM
instance NodeWayRelations OSM
instance BoundOrs OSM
instance Generator OSM
instance Version OSM
instance Show OSM
instance XmlPickler OSM

module Data.Geo.OSM