dom.ipkg

package dom

authors    = "stefan-hoeck"
brief      = "Extensive DOM and web bindings for Idris2"
version    = 0.1.0
sourcedir  = "src"
depends    = base         >= 0.6.0
           , js
           , elab-util

modules = Web.Dom
        , Web.Html

        , Web.Internal.AnimationPrim
        , Web.Internal.AnimationTypes
        , Web.Internal.ClipboardPrim
        , Web.Internal.ClipboardTypes
        , Web.Internal.CssPrim
        , Web.Internal.CssTypes
        , Web.Internal.CssomviewPrim
        , Web.Internal.CssomviewTypes
        , Web.Internal.DomPrim
        , Web.Internal.DomTypes
        , Web.Internal.FetchPrim
        , Web.Internal.FetchTypes
        , Web.Internal.FilePrim
        , Web.Internal.FileTypes
        , Web.Internal.GeometryPrim
        , Web.Internal.GeometryTypes
        , Web.Internal.HtmlPrim
        , Web.Internal.HtmlTypes
        , Web.Internal.IndexedDBPrim
        , Web.Internal.IndexedDBTypes
        , Web.Internal.MediasourcePrim
        , Web.Internal.MediasourceTypes
        , Web.Internal.MediastreamPrim
        , Web.Internal.MediastreamTypes
        , Web.Internal.PermissionsPrim
        , Web.Internal.PermissionsTypes
        , Web.Internal.ServiceworkerPrim
        , Web.Internal.ServiceworkerTypes
        , Web.Internal.StreamsPrim
        , Web.Internal.StreamsTypes
        , Web.Internal.SvgPrim
        , Web.Internal.SvgTypes
        , Web.Internal.Types
        , Web.Internal.UIEventsPrim
        , Web.Internal.UIEventsTypes
        , Web.Internal.UrlPrim
        , Web.Internal.UrlTypes
        , Web.Internal.VisibilityPrim
        , Web.Internal.VisibilityTypes
        , Web.Internal.WebglPrim
        , Web.Internal.WebglTypes
        , Web.Internal.WebidlPrim
        , Web.Internal.WebidlTypes
        , Web.Internal.XhrPrim
        , Web.Internal.XhrTypes

        , Web.Raw.Animation
        , Web.Raw.Clipboard
        , Web.Raw.Css
        , Web.Raw.Cssomview
        , Web.Raw.Dom
        , Web.Raw.Fetch
        , Web.Raw.File
        , Web.Raw.Geometry
        , Web.Raw.Html
        , Web.Raw.IndexedDB
        , Web.Raw.Mediasource
        , Web.Raw.Mediastream
        , Web.Raw.Permissions
        , Web.Raw.Serviceworker
        , Web.Raw.Streams
        , Web.Raw.Svg
        , Web.Raw.UIEvents
        , Web.Raw.Url
        , Web.Raw.Visibility
        , Web.Raw.Webgl
        , Web.Raw.Webidl
        , Web.Raw.Xhr