Idris2Doc : Web.Internal.UrlTypes

Web.Internal.UrlTypes

(source)
Definitions
data URL : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI URL URL
  
JSType URL
  
SafeCast URL
  
ToFFI URL URL
data URLSearchParams : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI URLSearchParams URLSearchParams
  
JSType URLSearchParams
  
SafeCast URLSearchParams
  
ToFFI URLSearchParams URLSearchParams