Idris2Doc : Web.Raw.Cssomview

Web.Raw.Cssomview

(source)

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