Idris2Doc : Web.Internal.DomTypes

Web.Internal.DomTypes

(source)
Definitions
data ShadowRootMode : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Open : ShadowRootMode
  
Closed : ShadowRootMode

  Hints:
  
Eq ShadowRootMode
  
FromFFI ShadowRootMode String
  
Ord ShadowRootMode
  
Show ShadowRootMode
  
ToFFI ShadowRootMode String
read : String -> Maybe ShadowRootMode
  Totality: total
  Visibility: public export
data AbortController : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI AbortController AbortController
  
JSType AbortController
  
SafeCast AbortController
  
ToFFI AbortController AbortController
data AbortSignal : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI AbortSignal AbortSignal
  
JSType AbortSignal
  
SafeCast AbortSignal
  
ToFFI AbortSignal AbortSignal
data AbstractRange : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI AbstractRange AbstractRange
  
JSType AbstractRange
  
SafeCast AbstractRange
  
ToFFI AbstractRange AbstractRange
data Attr : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI Attr Attr
  
JSType Attr
  
SafeCast Attr
  
ToFFI Attr Attr
data CDATASection : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI CDATASection CDATASection
  
JSType CDATASection
  
SafeCast CDATASection
  
ToFFI CDATASection CDATASection
data CharacterData : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI CharacterData CharacterData
  
JSType CharacterData
  
SafeCast CharacterData
  
ToFFI CharacterData CharacterData
data Comment : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI Comment Comment
  
JSType Comment
  
SafeCast Comment
  
ToFFI Comment Comment
data CustomEvent : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI CustomEvent CustomEvent
  
JSType CustomEvent
  
SafeCast CustomEvent
  
ToFFI CustomEvent CustomEvent
data DOMImplementation : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI DOMImplementation DOMImplementation
  
JSType DOMImplementation
  
SafeCast DOMImplementation
  
ToFFI DOMImplementation DOMImplementation
data DOMTokenList : Type
  Totality: total
  Visibility: export
  Hints:
  
ArrayLike DOMTokenList String
  
FromFFI DOMTokenList DOMTokenList
  
JSType DOMTokenList
  
SafeCast DOMTokenList
  
ToFFI DOMTokenList DOMTokenList
data Document : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI Document Document
  
JSType Document
  
SafeCast Document
  
ToFFI Document Document
data DocumentFragment : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI DocumentFragment DocumentFragment
  
JSType DocumentFragment
  
SafeCast DocumentFragment
  
ToFFI DocumentFragment DocumentFragment
data DocumentType : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI DocumentType DocumentType
  
JSType DocumentType
  
SafeCast DocumentType
  
ToFFI DocumentType DocumentType
data Element : Type
  Totality: total
  Visibility: export
  Hints:
  
ArrayLike HTMLCollection Element
  
FromFFI Element Element
  
JSType Element
  
SafeCast Element
  
ToFFI Element Element
data Event : Type
  Totality: total
  Visibility: export
  Hints:
  
Callback EventHandlerNonNull (Event -> JSIO ())
  
Callback OnBeforeUnloadEventHandlerNonNull (Event -> JSIO (Maybe String))
  
Callback OnErrorEventHandlerNonNull (HSum [Event, String] -> Optional String -> Optional Bits32 -> Optional Bits32 -> Optional Any -> JSIO Any)
  
Callback EventListener (Event -> JSIO ())
  
FromFFI Event Event
  
JSType Event
  
SafeCast Event
  
ToFFI Event Event
data EventTarget : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI EventTarget EventTarget
  
JSType EventTarget
  
SafeCast EventTarget
  
ToFFI EventTarget EventTarget
data HTMLCollection : Type
  Totality: total
  Visibility: export
  Hints:
  
ArrayLike HTMLCollection Element
  
FromFFI HTMLCollection HTMLCollection
  
JSType HTMLCollection
  
SafeCast HTMLCollection
  
ToFFI HTMLCollection HTMLCollection
data MutationObserver : Type
  Totality: total
  Visibility: export
  Hints:
  
Callback MutationCallback (Array MutationRecord -> MutationObserver -> JSIO ())
  
FromFFI MutationObserver MutationObserver
  
JSType MutationObserver
  
SafeCast MutationObserver
  
ToFFI MutationObserver MutationObserver
data MutationRecord : Type
  Totality: total
  Visibility: export
  Hints:
  
Callback MutationCallback (Array MutationRecord -> MutationObserver -> JSIO ())
  
FromFFI MutationRecord MutationRecord
  
JSType MutationRecord
  
SafeCast MutationRecord
  
ToFFI MutationRecord MutationRecord
data NamedNodeMap : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI NamedNodeMap NamedNodeMap
  
JSType NamedNodeMap
  
SafeCast NamedNodeMap
  
ToFFI NamedNodeMap NamedNodeMap
data Node : Type
  Totality: total
  Visibility: export
  Hints:
  
ArrayLike NodeList Node
  
Callback NodeFilter (Node -> JSIO Bits16)
  
FromFFI Node Node
  
JSType Node
  
SafeCast Node
  
ToFFI Node Node
data NodeIterator : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI NodeIterator NodeIterator
  
JSType NodeIterator
  
SafeCast NodeIterator
  
ToFFI NodeIterator NodeIterator
data NodeList : Type
  Totality: total
  Visibility: export
  Hints:
  
ArrayLike NodeList Node
  
FromFFI NodeList NodeList
  
JSType NodeList
  
SafeCast NodeList
  
ToFFI NodeList NodeList
data Performance : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI Performance Performance
  
JSType Performance
  
SafeCast Performance
  
ToFFI Performance Performance
data ProcessingInstruction : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI ProcessingInstruction ProcessingInstruction
  
JSType ProcessingInstruction
  
SafeCast ProcessingInstruction
  
ToFFI ProcessingInstruction ProcessingInstruction
data Range : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI Range Range
  
JSType Range
  
SafeCast Range
  
ToFFI Range Range
data ShadowRoot : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI ShadowRoot ShadowRoot
  
JSType ShadowRoot
  
SafeCast ShadowRoot
  
ToFFI ShadowRoot ShadowRoot
data StaticRange : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI StaticRange StaticRange
  
JSType StaticRange
  
SafeCast StaticRange
  
ToFFI StaticRange StaticRange
data Text : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI Text Text
  
JSType Text
  
SafeCast Text
  
ToFFI Text Text
data TreeWalker : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI TreeWalker TreeWalker
  
JSType TreeWalker
  
SafeCast TreeWalker
  
ToFFI TreeWalker TreeWalker
data XMLDocument : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI XMLDocument XMLDocument
  
JSType XMLDocument
  
SafeCast XMLDocument
  
ToFFI XMLDocument XMLDocument
data XMLSerializer : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI XMLSerializer XMLSerializer
  
JSType XMLSerializer
  
SafeCast XMLSerializer
  
ToFFI XMLSerializer XMLSerializer
data XPathEvaluator : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI XPathEvaluator XPathEvaluator
  
JSType XPathEvaluator
  
SafeCast XPathEvaluator
  
ToFFI XPathEvaluator XPathEvaluator
data XPathExpression : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI XPathExpression XPathExpression
  
JSType XPathExpression
  
SafeCast XPathExpression
  
ToFFI XPathExpression XPathExpression
data XPathResult : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI XPathResult XPathResult
  
JSType XPathResult
  
SafeCast XPathResult
  
ToFFI XPathResult XPathResult
data AddEventListenerOptions : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI AddEventListenerOptions AddEventListenerOptions
  
JSType AddEventListenerOptions
  
ToFFI AddEventListenerOptions AddEventListenerOptions
data CustomEventInit : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI CustomEventInit CustomEventInit
  
JSType CustomEventInit
  
ToFFI CustomEventInit CustomEventInit
data ElementCreationOptions : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI ElementCreationOptions ElementCreationOptions
  
JSType ElementCreationOptions
  
ToFFI ElementCreationOptions ElementCreationOptions
data EventInit : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI EventInit EventInit
  
JSType EventInit
  
ToFFI EventInit EventInit
data EventListenerOptions : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI EventListenerOptions EventListenerOptions
  
JSType EventListenerOptions
  
ToFFI EventListenerOptions EventListenerOptions
data GetRootNodeOptions : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI GetRootNodeOptions GetRootNodeOptions
  
JSType GetRootNodeOptions
  
ToFFI GetRootNodeOptions GetRootNodeOptions
data MutationObserverInit : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI MutationObserverInit MutationObserverInit
  
JSType MutationObserverInit
  
ToFFI MutationObserverInit MutationObserverInit
data ShadowRootInit : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI ShadowRootInit ShadowRootInit
  
JSType ShadowRootInit
  
ToFFI ShadowRootInit ShadowRootInit
data StaticRangeInit : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI StaticRangeInit StaticRangeInit
  
JSType StaticRangeInit
  
ToFFI StaticRangeInit StaticRangeInit
data ChildNode : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI ChildNode ChildNode
  
ToFFI ChildNode ChildNode
data DocumentOrShadowRoot : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI DocumentOrShadowRoot DocumentOrShadowRoot
  
ToFFI DocumentOrShadowRoot DocumentOrShadowRoot
data InnerHTML : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI InnerHTML InnerHTML
  
ToFFI InnerHTML InnerHTML
data NonDocumentTypeChildNode : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI NonDocumentTypeChildNode NonDocumentTypeChildNode
  
ToFFI NonDocumentTypeChildNode NonDocumentTypeChildNode
data NonElementParentNode : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI NonElementParentNode NonElementParentNode
  
ToFFI NonElementParentNode NonElementParentNode
data ParentNode : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI ParentNode ParentNode
  
ToFFI ParentNode ParentNode
data Slottable : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI Slottable Slottable
  
ToFFI Slottable Slottable
data XPathEvaluatorBase : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI XPathEvaluatorBase XPathEvaluatorBase
  
ToFFI XPathEvaluatorBase XPathEvaluatorBase
data EventListener : Type
  Totality: total
  Visibility: export
  Hints:
  
Callback EventListener (Event -> JSIO ())
  
FromFFI EventListener EventListener
  
ToFFI EventListener EventListener
data MutationCallback : Type
  Totality: total
  Visibility: export
  Hints:
  
Callback MutationCallback (Array MutationRecord -> MutationObserver -> JSIO ())
  
FromFFI MutationCallback MutationCallback
  
ToFFI MutationCallback MutationCallback
data NodeFilter : Type
  Totality: total
  Visibility: export
  Hints:
  
Callback NodeFilter (Node -> JSIO Bits16)
  
FromFFI NodeFilter NodeFilter
  
ToFFI NodeFilter NodeFilter
data XPathNSResolver : Type
  Totality: total
  Visibility: export
  Hints:
  
Callback XPathNSResolver (Maybe String -> JSIO (Maybe String))
  
FromFFI XPathNSResolver XPathNSResolver
  
ToFFI XPathNSResolver XPathNSResolver