Overview

Miso.Navigator wraps the browser's Navigator API as Effect combinators that integrate directly into the Model-View-Update loop. Each function returns an Effect and feeds its result back as an action via withSink or io.

Quick start

import Miso
import Miso.Navigator

data Action
  = RequestLocation
  | GotLocation Geolocation
  | LocationError GeolocationError
  | RequestCamera
  | GotStream Stream
  | MediaError JSVal

update :: Action -> Effect p props Model Action
update RequestLocation =
  geolocation GotLocation LocationError
update RequestCamera =
  getUserMedia (userMedia { audio = False }) GotStream MediaError
update _ = pure ()

API groups

• Camera / microphone ('Navigator.mediaDevices.getUserMedia'): getUserMedia, userMedia, UserMedia, Stream
• Clipboard ('Navigator.clipboard.writeText'): copyClipboard
• Online status (onLine): isOnLine
• Geolocation ('Navigator.geolocation.getCurrentPosition'): geolocation, Geolocation, GeolocationError, GeolocationErrorCode

Error handling

Geolocation errors are decoded from the browser's GeolocationPositionError object into GeolocationError, which carries a GeolocationErrorCode (PERMISSION_DENIED, POSITION_UNAVAILABLE, TIMEOUT) and a human-readable message string.

See also

• Miso.FFI.Internal — getUserMedia, copyClipboard, geolocation, isOnLine — the raw IO primitives
• Miso.Subscription.OnLine — subscription-based online/offline monitoring
• Miso.Effect — withSink, io