Data.Geo.OSM.User

The user element of a OSM file.

Documentation

data User

The user element of a OSM file.

Instances

Eq User

Show User

XmlPickler User

DisplayNameL User

AccountCreatedL User

HomeL User

user

Arguments

:: Maybe Home

The home element.

-> String

The display_name attribute.

-> String

The account_created attribute.

-> User

Constructs a user with an optional home, display_name and account_created.