Idris2Doc : Web.Raw.Cssomview
Definitions
offset : CaretPosition -> JSIO Bits32- Totality: total
Visibility: export offsetNode : CaretPosition -> JSIO Node- Totality: total
Visibility: export getClientRect : CaretPosition -> JSIO (Maybe DOMRect)- Totality: total
Visibility: export matches : MediaQueryList -> JSIO Bool- Totality: total
Visibility: export media : MediaQueryList -> JSIO String- Totality: total
Visibility: export onchange : MediaQueryList -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export addListener : MediaQueryList -> Maybe EventListener -> JSIO ()- Totality: total
Visibility: export removeListener : MediaQueryList -> Maybe EventListener -> JSIO ()- Totality: total
Visibility: export new' : {auto 0 {conArg:3664} : JSType t2} -> {auto 0 _ : Elem MediaQueryListEventInit (Types t2)} -> String -> Optional t2 -> JSIO MediaQueryListEvent- Totality: total
Visibility: export new : String -> JSIO MediaQueryListEvent- Totality: total
Visibility: export matches : MediaQueryListEvent -> JSIO Bool- Totality: total
Visibility: export media : MediaQueryListEvent -> JSIO String- Totality: total
Visibility: export availHeight : Screen -> JSIO Int32- Totality: total
Visibility: export availWidth : Screen -> JSIO Int32- Totality: total
Visibility: export colorDepth : Screen -> JSIO Bits32- Totality: total
Visibility: export height : Screen -> JSIO Int32- Totality: total
Visibility: export pixelDepth : Screen -> JSIO Bits32- Totality: total
Visibility: export width : Screen -> JSIO Int32- Totality: total
Visibility: export height : VisualViewport -> JSIO Double- Totality: total
Visibility: export offsetLeft : VisualViewport -> JSIO Double- Totality: total
Visibility: export offsetTop : VisualViewport -> JSIO Double- Totality: total
Visibility: export onresize : VisualViewport -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onscroll : VisualViewport -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onscrollend : VisualViewport -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export pageLeft : VisualViewport -> JSIO Double- Totality: total
Visibility: export pageTop : VisualViewport -> JSIO Double- Totality: total
Visibility: export scale : VisualViewport -> JSIO Double- Totality: total
Visibility: export width : VisualViewport -> JSIO Double- Totality: total
Visibility: export convertPointFromNode' : {auto 0 {conArg:3846} : JSType t1} -> {auto 0 {conArg:3849} : JSType t2} -> {auto 0 {conArg:3852} : JSType t4} -> {auto 0 _ : Elem GeometryUtils (Types t1)} -> {auto 0 _ : Elem DOMPointInit (Types t2)} -> {auto 0 _ : Elem ConvertCoordinateOptions (Types t4)} -> t1 -> t2 -> HSum [Text, Element, CSSPseudoElement, Document] -> Optional t4 -> JSIO DOMPoint- Totality: total
Visibility: export convertPointFromNode : {auto 0 {conArg:3981} : JSType t1} -> {auto 0 {conArg:3984} : JSType t2} -> {auto 0 _ : Elem GeometryUtils (Types t1)} -> {auto 0 _ : Elem DOMPointInit (Types t2)} -> t1 -> t2 -> HSum [Text, Element, CSSPseudoElement, Document] -> JSIO DOMPoint- Totality: total
Visibility: export convertQuadFromNode' : {auto 0 {conArg:4093} : JSType t1} -> {auto 0 {conArg:4096} : JSType t2} -> {auto 0 {conArg:4099} : JSType t4} -> {auto 0 _ : Elem GeometryUtils (Types t1)} -> {auto 0 _ : Elem DOMQuadInit (Types t2)} -> {auto 0 _ : Elem ConvertCoordinateOptions (Types t4)} -> t1 -> t2 -> HSum [Text, Element, CSSPseudoElement, Document] -> Optional t4 -> JSIO DOMQuad- Totality: total
Visibility: export convertQuadFromNode : {auto 0 {conArg:4228} : JSType t1} -> {auto 0 {conArg:4231} : JSType t2} -> {auto 0 _ : Elem GeometryUtils (Types t1)} -> {auto 0 _ : Elem DOMQuadInit (Types t2)} -> t1 -> t2 -> HSum [Text, Element, CSSPseudoElement, Document] -> JSIO DOMQuad- Totality: total
Visibility: export convertRectFromNode' : {auto 0 {conArg:4340} : JSType t1} -> {auto 0 {conArg:4343} : JSType t2} -> {auto 0 {conArg:4346} : JSType t4} -> {auto 0 _ : Elem GeometryUtils (Types t1)} -> {auto 0 _ : Elem DOMRectReadOnly (Types t2)} -> {auto 0 _ : Elem ConvertCoordinateOptions (Types t4)} -> t1 -> t2 -> HSum [Text, Element, CSSPseudoElement, Document] -> Optional t4 -> JSIO DOMQuad- Totality: total
Visibility: export convertRectFromNode : {auto 0 {conArg:4475} : JSType t1} -> {auto 0 {conArg:4478} : JSType t2} -> {auto 0 _ : Elem GeometryUtils (Types t1)} -> {auto 0 _ : Elem DOMRectReadOnly (Types t2)} -> t1 -> t2 -> HSum [Text, Element, CSSPseudoElement, Document] -> JSIO DOMQuad- Totality: total
Visibility: export getBoxQuads' : {auto 0 {conArg:4587} : JSType t1} -> {auto 0 {conArg:4590} : JSType t2} -> {auto 0 _ : Elem GeometryUtils (Types t1)} -> {auto 0 _ : Elem BoxQuadOptions (Types t2)} -> t1 -> Optional t2 -> JSIO (Array DOMQuad)- Totality: total
Visibility: export getBoxQuads : {auto 0 {conArg:4639} : JSType t1} -> {auto 0 _ : Elem GeometryUtils (Types t1)} -> t1 -> JSIO (Array DOMQuad)- Totality: total
Visibility: export new' : Optional CSSBoxType -> Optional (HSum [Text, Element, CSSPseudoElement, Document]) -> JSIO BoxQuadOptions- Totality: total
Visibility: export new : JSIO BoxQuadOptions- Totality: total
Visibility: export box : {auto 0 {conArg:4746} : JSType t} -> {auto 0 _ : Elem BoxQuadOptions (Types t)} -> t -> Attribute False Optional CSSBoxType- Totality: total
Visibility: export relativeTo : {auto 0 {conArg:4783} : JSType t} -> {auto 0 _ : Elem BoxQuadOptions (Types t)} -> t -> Attribute False Optional (HSum [Text, Element, CSSPseudoElement, Document])- Totality: total
Visibility: export new' : Optional Bool -> Optional Bool -> JSIO CheckVisibilityOptions- Totality: total
Visibility: export new : JSIO CheckVisibilityOptions- Totality: total
Visibility: export checkOpacity : {auto 0 {conArg:4963} : JSType t} -> {auto 0 _ : Elem CheckVisibilityOptions (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export checkVisibilityCSS : {auto 0 {conArg:5001} : JSType t} -> {auto 0 _ : Elem CheckVisibilityOptions (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export new' : Optional CSSBoxType -> Optional CSSBoxType -> JSIO ConvertCoordinateOptions- Totality: total
Visibility: export new : JSIO ConvertCoordinateOptions- Totality: total
Visibility: export fromBox : {auto 0 {conArg:5065} : JSType t} -> {auto 0 _ : Elem ConvertCoordinateOptions (Types t)} -> t -> Attribute False Optional CSSBoxType- Totality: total
Visibility: export toBox : {auto 0 {conArg:5102} : JSType t} -> {auto 0 _ : Elem ConvertCoordinateOptions (Types t)} -> t -> Attribute False Optional CSSBoxType- Totality: total
Visibility: export new' : Optional String -> Optional Bool -> JSIO MediaQueryListEventInit- Totality: total
Visibility: export new : JSIO MediaQueryListEventInit- Totality: total
Visibility: export matches : {auto 0 {conArg:5165} : JSType t} -> {auto 0 _ : Elem MediaQueryListEventInit (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export media : {auto 0 {conArg:5204} : JSType t} -> {auto 0 _ : Elem MediaQueryListEventInit (Types t)} -> t -> Attribute True Optional String- Totality: total
Visibility: export new' : Optional ScrollLogicalPosition -> Optional ScrollLogicalPosition -> JSIO ScrollIntoViewOptions- Totality: total
Visibility: export new : JSIO ScrollIntoViewOptions- Totality: total
Visibility: export block : {auto 0 {conArg:5271} : JSType t} -> {auto 0 _ : Elem ScrollIntoViewOptions (Types t)} -> t -> Attribute False Optional ScrollLogicalPosition- Totality: total
Visibility: export inline : {auto 0 {conArg:5308} : JSType t} -> {auto 0 _ : Elem ScrollIntoViewOptions (Types t)} -> t -> Attribute False Optional ScrollLogicalPosition- Totality: total
Visibility: export new' : Optional ScrollBehavior -> JSIO ScrollOptions- Totality: total
Visibility: export new : JSIO ScrollOptions- Totality: total
Visibility: export behavior : {auto 0 {conArg:5361} : JSType t} -> {auto 0 _ : Elem ScrollOptions (Types t)} -> t -> Attribute False Optional ScrollBehavior- Totality: total
Visibility: export new' : Optional Double -> Optional Double -> JSIO ScrollToOptions- Totality: total
Visibility: export new : JSIO ScrollToOptions- Totality: total
Visibility: export left : {auto 0 {conArg:5424} : JSType t} -> {auto 0 _ : Elem ScrollToOptions (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export top : {auto 0 {conArg:5461} : JSType t} -> {auto 0 _ : Elem ScrollToOptions (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export