0 | module Web.Internal.UrlTypes
 1 |
 2 | import JS
 3 |
 4 | %default total
 5 |
 6 |
 7 |
 8 | --------------------------------------------------------------------------------
 9 | --          Interfaces
10 | --------------------------------------------------------------------------------
11 |
12 | export data URL : Type where [external]
13 |
14 | export
15 | ToFFI URL URL where toFFI = id
16 |
17 | export
18 | FromFFI URL URL where fromFFI = Just
19 |
20 | export
21 | SafeCast URL where
22 |   safeCast = unsafeCastOnPrototypeName "URL"
23 |
24 | export data URLSearchParams : Type where [external]
25 |
26 | export
27 | ToFFI URLSearchParams URLSearchParams where toFFI = id
28 |
29 | export
30 | FromFFI URLSearchParams URLSearchParams where fromFFI = Just
31 |
32 | export
33 | SafeCast URLSearchParams where
34 |   safeCast = unsafeCastOnPrototypeName "URLSearchParams"
35 |