Re-exports from Leaflet.Evented

#Evented Source

class Evented t e h a | t -> e, t -> h where


Re-exports from Leaflet.LatLng

#Longitude Source

type Longitude = Number

Geographic longitude

#Latitude Source

type Latitude = Number

Geographic latitude

#LatLngBounds Source

data LatLngBounds :: Type

Bounding rectangle in geo coordinate space.

#LatLng Source

data LatLng :: Type

Latitude / longitude pair. Leaflet.js accepts these in various flavors, but we only expose this one type.


#lng Source

lng :: LatLng -> Longitude

Extract the longitude from a LatLng

#latlng Source

latlng :: Latitude -> Longitude -> LatLng

Construct a LatLng record from separate components

#latLngBounds Source

latLngBounds :: LatLng -> LatLng -> LatLngBounds

Construct a LatLngBounds from two corners

#lat Source

lat :: LatLng -> Latitude

Extract the latitude from a LatLng

Re-exports from Leaflet.Layer

#Layer Source

data Layer :: Type

A map layer


#IsLayer Source

class IsLayer a  where



Re-exports from Leaflet.Map

#setView Source

setView :: forall e. Map -> LatLng -> Zoom -> Eff (leaflet :: LEAFLET | e) Unit

Set the current view for a map.

#removeLayer Source

removeLayer :: forall e. Layer -> Map -> Eff (leaflet :: LEAFLET | e) Unit

Remove a layer from a map

#onZoom Source

onZoom :: forall e. Map -> e Unit -> e Unit

Subscribe to the zoom event, which fires when the map's zoom level changes.

#onMove Source

onMove :: forall e. Map -> (LatLng -> e Unit) -> e Unit

Subscribe to the move event.

#map Source

map :: forall e. String -> LatLng -> Zoom -> Eff (leaflet :: LEAFLET | e) Map

map domID latLng zoom creates a new map object centered at latLng, at zoom level zoom, and attaches it to the DOM element with ID domID.

#invalidateSize Source

invalidateSize :: forall e. Map -> Eff (leaflet :: LEAFLET | e) Unit

Tell a map that the size of its container may have changed, causing it to

#getZoom Source

getZoom :: forall e. Map -> Eff (leaflet :: LEAFLET | e) Zoom

Get the current zoom level.

#getCenter Source

getCenter :: forall e. Map -> Eff (leaflet :: LEAFLET | e) LatLng

Get the geographic position at which the map is currently centered.

#addLayer Source

addLayer :: forall e. Layer -> Map -> Eff (leaflet :: LEAFLET | e) Unit

Add a layer to a map

Re-exports from Leaflet.Marker

#marker Source

marker :: forall e. LatLng -> Array Option -> Eff (leaflet :: LEAFLET | e) Marker

marker position options creates a new marker at the specified geographic coordinates.

Re-exports from Leaflet.MouseInteraction

#MouseEventHandle Source

#MouseEvent Source

newtype MouseEvent

Metadata for a mouse event.



Re-exports from Leaflet.TileLayer

#UrlTemplate Source

type UrlTemplate = String

A URL template for tile layers.

#tileLayer Source

tileLayer :: forall e. UrlTemplate -> Array Option -> Eff (leaflet :: LEAFLET | e) Layer

tileLayer template options creates a new tile layer using the URL template template to generate tile URLS.

The template can use the following variables, written between curly braces:

  • {z}: zoom level
  • {x}, {y}: the tile coordinates (after projection), from the range [0..(2 ^ z))
  • {s}: subdomain

Example: "http://{s}{z}/{x}/{y}.png"

Re-exports from Leaflet.Types

#Zoom Source

type Zoom = Int

A zoom level. Zoom levels start at 0 (which means "show the whole world") and zoom in exponentially, each step corresponding to a factor of 2.

#Point Source

type Point = { x :: Pixels, y :: Pixels }

A point in 2D screen space.

#Pixels Source

type Pixels = Number

A distance in screen space, measured in logical pixels ("CSS Pixels").


data LEAFLET :: Effect

Anything that uses Leaflet has a LEAFLET effect.