├── .editorconfig ├── .github ├── linters │ └── .ecrc └── workflows │ ├── ci-lib.yml │ └── ci-super-linter.yml ├── .gitignore ├── LICENSE ├── README.md ├── docs ├── docs.html ├── docs.ipkg └── src │ ├── Main.idr │ └── Tutorial.md ├── dom.ipkg ├── js ├── js.ipkg ├── src │ ├── JS.idr │ └── JS │ │ ├── Any.idr │ │ ├── Array.idr │ │ ├── Attribute.idr │ │ ├── Boolean.idr │ │ ├── Buffer.idr │ │ ├── ByteString.idr │ │ ├── Callback.idr │ │ ├── Date.idr │ │ ├── Inheritance.idr │ │ ├── Marshall.idr │ │ ├── Nullable.idr │ │ ├── Number.idr │ │ ├── Object.idr │ │ ├── Promise.idr │ │ ├── Record.idr │ │ ├── Undefined.idr │ │ ├── Union.idr │ │ ├── Util.idr │ │ └── VarArg.idr └── test │ ├── src │ ├── Array.idr │ ├── Main.idr │ ├── Object.idr │ ├── Promise.idr │ └── Util.idr │ └── test.ipkg ├── pack.toml └── src └── Web ├── Dom.idr ├── Html.idr ├── Internal ├── AnimationPrim.idr ├── AnimationTypes.idr ├── ClipboardPrim.idr ├── ClipboardTypes.idr ├── CssPrim.idr ├── CssTypes.idr ├── CssomviewPrim.idr ├── CssomviewTypes.idr ├── DomPrim.idr ├── DomTypes.idr ├── FetchPrim.idr ├── FetchTypes.idr ├── FilePrim.idr ├── FileTypes.idr ├── GeometryPrim.idr ├── GeometryTypes.idr ├── HtmlPrim.idr ├── HtmlTypes.idr ├── IndexedDBPrim.idr ├── IndexedDBTypes.idr ├── MediasourcePrim.idr ├── MediasourceTypes.idr ├── MediastreamPrim.idr ├── MediastreamTypes.idr ├── PermissionsPrim.idr ├── PermissionsTypes.idr ├── ServiceworkerPrim.idr ├── ServiceworkerTypes.idr ├── StreamsPrim.idr ├── StreamsTypes.idr ├── SvgPrim.idr ├── SvgTypes.idr ├── Types.idr ├── UIEventsPrim.idr ├── UIEventsTypes.idr ├── UrlPrim.idr ├── UrlTypes.idr ├── VisibilityPrim.idr ├── VisibilityTypes.idr ├── WebglPrim.idr ├── WebglTypes.idr ├── WebidlPrim.idr ├── WebidlTypes.idr ├── XhrPrim.idr └── XhrTypes.idr └── Raw ├── Animation.idr ├── Clipboard.idr ├── Css.idr ├── Cssomview.idr ├── Dom.idr ├── Event.idr ├── Fetch.idr ├── File.idr ├── Geometry.idr ├── Html.idr ├── IndexedDB.idr ├── Mediasource.idr ├── Mediastream.idr ├── Permissions.idr ├── Serviceworker.idr ├── Streams.idr ├── Svg.idr ├── UIEvents.idr ├── Url.idr ├── Visibility.idr ├── Webgl.idr ├── Webidl.idr └── Xhr.idr /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/.editorconfig -------------------------------------------------------------------------------- /.github/linters/.ecrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/.github/linters/.ecrc -------------------------------------------------------------------------------- /.github/workflows/ci-lib.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/.github/workflows/ci-lib.yml -------------------------------------------------------------------------------- /.github/workflows/ci-super-linter.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/.github/workflows/ci-super-linter.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | *.*~ 3 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/README.md -------------------------------------------------------------------------------- /docs/docs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/docs/docs.html -------------------------------------------------------------------------------- /docs/docs.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/docs/docs.ipkg -------------------------------------------------------------------------------- /docs/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/docs/src/Main.idr -------------------------------------------------------------------------------- /docs/src/Tutorial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/docs/src/Tutorial.md -------------------------------------------------------------------------------- /dom.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/dom.ipkg -------------------------------------------------------------------------------- /js/js.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/js.ipkg -------------------------------------------------------------------------------- /js/src/JS.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS.idr -------------------------------------------------------------------------------- /js/src/JS/Any.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Any.idr -------------------------------------------------------------------------------- /js/src/JS/Array.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Array.idr -------------------------------------------------------------------------------- /js/src/JS/Attribute.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Attribute.idr -------------------------------------------------------------------------------- /js/src/JS/Boolean.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Boolean.idr -------------------------------------------------------------------------------- /js/src/JS/Buffer.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Buffer.idr -------------------------------------------------------------------------------- /js/src/JS/ByteString.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/ByteString.idr -------------------------------------------------------------------------------- /js/src/JS/Callback.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Callback.idr -------------------------------------------------------------------------------- /js/src/JS/Date.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Date.idr -------------------------------------------------------------------------------- /js/src/JS/Inheritance.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Inheritance.idr -------------------------------------------------------------------------------- /js/src/JS/Marshall.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Marshall.idr -------------------------------------------------------------------------------- /js/src/JS/Nullable.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Nullable.idr -------------------------------------------------------------------------------- /js/src/JS/Number.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Number.idr -------------------------------------------------------------------------------- /js/src/JS/Object.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Object.idr -------------------------------------------------------------------------------- /js/src/JS/Promise.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Promise.idr -------------------------------------------------------------------------------- /js/src/JS/Record.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Record.idr -------------------------------------------------------------------------------- /js/src/JS/Undefined.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Undefined.idr -------------------------------------------------------------------------------- /js/src/JS/Union.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Union.idr -------------------------------------------------------------------------------- /js/src/JS/Util.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/Util.idr -------------------------------------------------------------------------------- /js/src/JS/VarArg.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/src/JS/VarArg.idr -------------------------------------------------------------------------------- /js/test/src/Array.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/test/src/Array.idr -------------------------------------------------------------------------------- /js/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/test/src/Main.idr -------------------------------------------------------------------------------- /js/test/src/Object.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/test/src/Object.idr -------------------------------------------------------------------------------- /js/test/src/Promise.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/test/src/Promise.idr -------------------------------------------------------------------------------- /js/test/src/Util.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/test/src/Util.idr -------------------------------------------------------------------------------- /js/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/js/test/test.ipkg -------------------------------------------------------------------------------- /pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/pack.toml -------------------------------------------------------------------------------- /src/Web/Dom.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Dom.idr -------------------------------------------------------------------------------- /src/Web/Html.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Html.idr -------------------------------------------------------------------------------- /src/Web/Internal/AnimationPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/AnimationPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/AnimationTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/AnimationTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/ClipboardPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/ClipboardPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/ClipboardTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/ClipboardTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/CssPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/CssPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/CssTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/CssTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/CssomviewPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/CssomviewPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/CssomviewTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/CssomviewTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/DomPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/DomPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/DomTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/DomTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/FetchPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/FetchPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/FetchTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/FetchTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/FilePrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/FilePrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/FileTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/FileTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/GeometryPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/GeometryPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/GeometryTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/GeometryTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/HtmlPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/HtmlPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/HtmlTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/HtmlTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/IndexedDBPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/IndexedDBPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/IndexedDBTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/IndexedDBTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/MediasourcePrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/MediasourcePrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/MediasourceTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/MediasourceTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/MediastreamPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/MediastreamPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/MediastreamTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/MediastreamTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/PermissionsPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/PermissionsPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/PermissionsTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/PermissionsTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/ServiceworkerPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/ServiceworkerPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/ServiceworkerTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/ServiceworkerTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/StreamsPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/StreamsPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/StreamsTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/StreamsTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/SvgPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/SvgPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/SvgTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/SvgTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/Types.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/Types.idr -------------------------------------------------------------------------------- /src/Web/Internal/UIEventsPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/UIEventsPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/UIEventsTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/UIEventsTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/UrlPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/UrlPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/UrlTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/UrlTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/VisibilityPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/VisibilityPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/VisibilityTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/VisibilityTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/WebglPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/WebglPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/WebglTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/WebglTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/WebidlPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/WebidlPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/WebidlTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/WebidlTypes.idr -------------------------------------------------------------------------------- /src/Web/Internal/XhrPrim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/XhrPrim.idr -------------------------------------------------------------------------------- /src/Web/Internal/XhrTypes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Internal/XhrTypes.idr -------------------------------------------------------------------------------- /src/Web/Raw/Animation.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Animation.idr -------------------------------------------------------------------------------- /src/Web/Raw/Clipboard.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Clipboard.idr -------------------------------------------------------------------------------- /src/Web/Raw/Css.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Css.idr -------------------------------------------------------------------------------- /src/Web/Raw/Cssomview.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Cssomview.idr -------------------------------------------------------------------------------- /src/Web/Raw/Dom.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Dom.idr -------------------------------------------------------------------------------- /src/Web/Raw/Event.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Event.idr -------------------------------------------------------------------------------- /src/Web/Raw/Fetch.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Fetch.idr -------------------------------------------------------------------------------- /src/Web/Raw/File.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/File.idr -------------------------------------------------------------------------------- /src/Web/Raw/Geometry.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Geometry.idr -------------------------------------------------------------------------------- /src/Web/Raw/Html.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Html.idr -------------------------------------------------------------------------------- /src/Web/Raw/IndexedDB.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/IndexedDB.idr -------------------------------------------------------------------------------- /src/Web/Raw/Mediasource.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Mediasource.idr -------------------------------------------------------------------------------- /src/Web/Raw/Mediastream.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Mediastream.idr -------------------------------------------------------------------------------- /src/Web/Raw/Permissions.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Permissions.idr -------------------------------------------------------------------------------- /src/Web/Raw/Serviceworker.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Serviceworker.idr -------------------------------------------------------------------------------- /src/Web/Raw/Streams.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Streams.idr -------------------------------------------------------------------------------- /src/Web/Raw/Svg.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Svg.idr -------------------------------------------------------------------------------- /src/Web/Raw/UIEvents.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/UIEvents.idr -------------------------------------------------------------------------------- /src/Web/Raw/Url.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Url.idr -------------------------------------------------------------------------------- /src/Web/Raw/Visibility.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Visibility.idr -------------------------------------------------------------------------------- /src/Web/Raw/Webgl.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Webgl.idr -------------------------------------------------------------------------------- /src/Web/Raw/Webidl.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Webidl.idr -------------------------------------------------------------------------------- /src/Web/Raw/Xhr.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-dom/HEAD/src/Web/Raw/Xhr.idr --------------------------------------------------------------------------------