Data.Geo.OSM.UserE

The user element of a OSM file.

Documentation

data UserE

The user element of a OSM file.

Instances

Eq UserE

Show UserE

XmlPickler UserE

DisplayName UserE

AccountCreated UserE

Hm UserE

userE

Arguments

:: Maybe Home

The home element.

-> String

The display_name attribute.

-> String

The account_created attribute.

-> UserE

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