Idris2Doc : Web.Raw.Css

Web.Raw.Css

(source)

Definitions

cssRules : {auto 0 {conArg:3573} : JSType t1} -> {auto 0 _ : Elem CSSGroupingRule (Types t1)} -> t1 -> JSIO CSSRuleList
Totality: total
Visibility: export
deleteRule : {auto 0 {conArg:3601} : JSType t1} -> {auto 0 _ : Elem CSSGroupingRule (Types t1)} -> t1 -> Bits32 -> JSIO ()
Totality: total
Visibility: export
insertRule' : {auto 0 {conArg:3633} : JSType t1} -> {auto 0 _ : Elem CSSGroupingRule (Types t1)} -> t1 -> String -> Optional Bits32 -> JSIO Bits32
Totality: total
Visibility: export
insertRule : {auto 0 {conArg:3673} : JSType t1} -> {auto 0 _ : Elem CSSGroupingRule (Types t1)} -> t1 -> String -> JSIO Bits32
Totality: total
Visibility: export
href : CSSImportRule -> JSIO String
Totality: total
Visibility: export
media : CSSImportRule -> JSIO MediaList
Totality: total
Visibility: export
styleSheet : CSSImportRule -> JSIO CSSStyleSheet
Totality: total
Visibility: export
name : CSSMarginRule -> JSIO String
Totality: total
Visibility: export
style : CSSMarginRule -> JSIO CSSStyleDeclaration
Totality: total
Visibility: export
namespaceURI : CSSNamespaceRule -> JSIO String
Totality: total
Visibility: export
prefix_ : CSSNamespaceRule -> JSIO String
Totality: total
Visibility: export
selectorText : CSSPageRule -> Attribute True id String
Totality: total
Visibility: export
style : CSSPageRule -> JSIO CSSStyleDeclaration
Totality: total
Visibility: export
element : CSSPseudoElement -> JSIO Element
Totality: total
Visibility: export
type : CSSPseudoElement -> JSIO String
Totality: total
Visibility: export
CHARSET_RULE : Bits16
Totality: total
Visibility: public export
FONT_FACE_RULE : Bits16
Totality: total
Visibility: public export
IMPORT_RULE : Bits16
Totality: total
Visibility: public export
MARGIN_RULE : Bits16
Totality: total
Visibility: public export
MEDIA_RULE : Bits16
Totality: total
Visibility: public export
NAMESPACE_RULE : Bits16
Totality: total
Visibility: public export
PAGE_RULE : Bits16
Totality: total
Visibility: public export
STYLE_RULE : Bits16
Totality: total
Visibility: public export
cssText : {auto 0 {conArg:3808} : JSType t} -> {auto 0 _ : Elem CSSRule (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
parentRule : {auto 0 {conArg:3848} : JSType t1} -> {auto 0 _ : Elem CSSRule (Types t1)} -> t1 -> JSIO (Maybe CSSRule)
Totality: total
Visibility: export
parentStyleSheet : {auto 0 {conArg:3884} : JSType t1} -> {auto 0 _ : Elem CSSRule (Types t1)} -> t1 -> JSIO (Maybe CSSStyleSheet)
Totality: total
Visibility: export
type : {auto 0 {conArg:3920} : JSType t1} -> {auto 0 _ : Elem CSSRule (Types t1)} -> t1 -> JSIO Bits16
Totality: total
Visibility: export
length : CSSRuleList -> JSIO Bits32
Totality: total
Visibility: export
item : CSSRuleList -> Bits32 -> JSIO (Maybe CSSRule)
Totality: total
Visibility: export
cssFloat : CSSStyleDeclaration -> Attribute True id String
Totality: total
Visibility: export
cssText : CSSStyleDeclaration -> Attribute True id String
Totality: total
Visibility: export
length : CSSStyleDeclaration -> JSIO Bits32
Totality: total
Visibility: export
parentRule : CSSStyleDeclaration -> JSIO (Maybe CSSRule)
Totality: total
Visibility: export
getPropertyPriority : CSSStyleDeclaration -> String -> JSIO String
Totality: total
Visibility: export
getPropertyValue : CSSStyleDeclaration -> String -> JSIO String
Totality: total
Visibility: export
item : CSSStyleDeclaration -> Bits32 -> JSIO String
Totality: total
Visibility: export
removeProperty : CSSStyleDeclaration -> String -> JSIO String
Totality: total
Visibility: export
setProperty' : CSSStyleDeclaration -> String -> String -> Optional String -> JSIO ()
Totality: total
Visibility: export
setProperty : CSSStyleDeclaration -> String -> String -> JSIO ()
Totality: total
Visibility: export
selectorText : CSSStyleRule -> Attribute True id String
Totality: total
Visibility: export
style : CSSStyleRule -> JSIO CSSStyleDeclaration
Totality: total
Visibility: export
cssRules : CSSStyleSheet -> JSIO CSSRuleList
Totality: total
Visibility: export
ownerRule : CSSStyleSheet -> JSIO (Maybe CSSRule)
Totality: total
Visibility: export
rules : CSSStyleSheet -> JSIO CSSRuleList
Totality: total
Visibility: export
addRule' : CSSStyleSheet -> Optional String -> Optional String -> Optional Bits32 -> JSIO Int32
Totality: total
Visibility: export
addRule : CSSStyleSheet -> JSIO Int32
Totality: total
Visibility: export
deleteRule : CSSStyleSheet -> Bits32 -> JSIO ()
Totality: total
Visibility: export
insertRule' : CSSStyleSheet -> String -> Optional Bits32 -> JSIO Bits32
Totality: total
Visibility: export
insertRule : CSSStyleSheet -> String -> JSIO Bits32
Totality: total
Visibility: export
removeRule' : CSSStyleSheet -> Optional Bits32 -> JSIO ()
Totality: total
Visibility: export
removeRule : CSSStyleSheet -> JSIO ()
Totality: total
Visibility: export
length : MediaList -> JSIO Bits32
Totality: total
Visibility: export
mediaText : MediaList -> Attribute True id String
Totality: total
Visibility: export
appendMedium : MediaList -> String -> JSIO ()
Totality: total
Visibility: export
deleteMedium : MediaList -> String -> JSIO ()
Totality: total
Visibility: export
item : MediaList -> Bits32 -> JSIO (Maybe String)
Totality: total
Visibility: export
disabled : {auto 0 {conArg:4314} : JSType t} -> {auto 0 _ : Elem StyleSheet (Types t)} -> t -> Attribute True id Bool
Totality: total
Visibility: export
href : {auto 0 {conArg:4352} : JSType t1} -> {auto 0 _ : Elem StyleSheet (Types t1)} -> t1 -> JSIO (Maybe String)
Totality: total
Visibility: export
media : {auto 0 {conArg:4388} : JSType t1} -> {auto 0 _ : Elem StyleSheet (Types t1)} -> t1 -> JSIO MediaList
Totality: total
Visibility: export
ownerNode : {auto 0 {conArg:4416} : JSType t1} -> {auto 0 _ : Elem StyleSheet (Types t1)} -> t1 -> JSIO (Maybe (HSum [Element, ProcessingInstruction]))
Totality: total
Visibility: export
parentStyleSheet : {auto 0 {conArg:4495} : JSType t1} -> {auto 0 _ : Elem StyleSheet (Types t1)} -> t1 -> JSIO (Maybe CSSStyleSheet)
Totality: total
Visibility: export
title : {auto 0 {conArg:4531} : JSType t1} -> {auto 0 _ : Elem StyleSheet (Types t1)} -> t1 -> JSIO (Maybe String)
Totality: total
Visibility: export
type : {auto 0 {conArg:4567} : JSType t1} -> {auto 0 _ : Elem StyleSheet (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
length : StyleSheetList -> JSIO Bits32
Totality: total
Visibility: export
item : StyleSheetList -> Bits32 -> JSIO (Maybe CSSStyleSheet)
Totality: total
Visibility: export
style : {auto 0 {conArg:4618} : JSType t1} -> {auto 0 _ : Elem ElementCSSInlineStyle (Types t1)} -> t1 -> JSIO CSSStyleDeclaration
Totality: total
Visibility: export
sheet : {auto 0 {conArg:4646} : JSType t1} -> {auto 0 _ : Elem LinkStyle (Types t1)} -> t1 -> JSIO (Maybe CSSStyleSheet)
Totality: total
Visibility: export