0 | module Web.Internal.CssTypes
12 | export data CSSGroupingRule : Type where [external]
15 | ToFFI CSSGroupingRule CSSGroupingRule where toFFI = id
18 | FromFFI CSSGroupingRule CSSGroupingRule where fromFFI = Just
21 | SafeCast CSSGroupingRule where
22 | safeCast = unsafeCastOnPrototypeName "CSSGroupingRule"
24 | export data CSSImportRule : Type where [external]
27 | ToFFI CSSImportRule CSSImportRule where toFFI = id
30 | FromFFI CSSImportRule CSSImportRule where fromFFI = Just
33 | SafeCast CSSImportRule where
34 | safeCast = unsafeCastOnPrototypeName "CSSImportRule"
36 | export data CSSMarginRule : Type where [external]
39 | ToFFI CSSMarginRule CSSMarginRule where toFFI = id
42 | FromFFI CSSMarginRule CSSMarginRule where fromFFI = Just
45 | SafeCast CSSMarginRule where
46 | safeCast = unsafeCastOnPrototypeName "CSSMarginRule"
48 | export data CSSNamespaceRule : Type where [external]
51 | ToFFI CSSNamespaceRule CSSNamespaceRule where toFFI = id
54 | FromFFI CSSNamespaceRule CSSNamespaceRule where fromFFI = Just
57 | SafeCast CSSNamespaceRule where
58 | safeCast = unsafeCastOnPrototypeName "CSSNamespaceRule"
60 | export data CSSPageRule : Type where [external]
63 | ToFFI CSSPageRule CSSPageRule where toFFI = id
66 | FromFFI CSSPageRule CSSPageRule where fromFFI = Just
69 | SafeCast CSSPageRule where
70 | safeCast = unsafeCastOnPrototypeName "CSSPageRule"
72 | export data CSSPseudoElement : Type where [external]
75 | ToFFI CSSPseudoElement CSSPseudoElement where toFFI = id
78 | FromFFI CSSPseudoElement CSSPseudoElement where fromFFI = Just
81 | SafeCast CSSPseudoElement where
82 | safeCast = unsafeCastOnPrototypeName "CSSPseudoElement"
84 | export data CSSRule : Type where [external]
87 | ToFFI CSSRule CSSRule where toFFI = id
90 | FromFFI CSSRule CSSRule where fromFFI = Just
93 | SafeCast CSSRule where
94 | safeCast = unsafeCastOnPrototypeName "CSSRule"
96 | export data CSSRuleList : Type where [external]
99 | ToFFI CSSRuleList CSSRuleList where toFFI = id
102 | FromFFI CSSRuleList CSSRuleList where fromFFI = Just
105 | SafeCast CSSRuleList where
106 | safeCast = unsafeCastOnPrototypeName "CSSRuleList"
108 | export data CSSStyleDeclaration : Type where [external]
111 | ToFFI CSSStyleDeclaration CSSStyleDeclaration where toFFI = id
114 | FromFFI CSSStyleDeclaration CSSStyleDeclaration where fromFFI = Just
117 | SafeCast CSSStyleDeclaration where
118 | safeCast = unsafeCastOnPrototypeName "CSSStyleDeclaration"
120 | export data CSSStyleRule : Type where [external]
123 | ToFFI CSSStyleRule CSSStyleRule where toFFI = id
126 | FromFFI CSSStyleRule CSSStyleRule where fromFFI = Just
129 | SafeCast CSSStyleRule where
130 | safeCast = unsafeCastOnPrototypeName "CSSStyleRule"
132 | export data CSSStyleSheet : Type where [external]
135 | ToFFI CSSStyleSheet CSSStyleSheet where toFFI = id
138 | FromFFI CSSStyleSheet CSSStyleSheet where fromFFI = Just
141 | SafeCast CSSStyleSheet where
142 | safeCast = unsafeCastOnPrototypeName "CSSStyleSheet"
144 | export data MediaList : Type where [external]
147 | ToFFI MediaList MediaList where toFFI = id
150 | FromFFI MediaList MediaList where fromFFI = Just
153 | SafeCast MediaList where
154 | safeCast = unsafeCastOnPrototypeName "MediaList"
156 | export data StyleSheet : Type where [external]
159 | ToFFI StyleSheet StyleSheet where toFFI = id
162 | FromFFI StyleSheet StyleSheet where fromFFI = Just
165 | SafeCast StyleSheet where
166 | safeCast = unsafeCastOnPrototypeName "StyleSheet"
168 | export data StyleSheetList : Type where [external]
171 | ToFFI StyleSheetList StyleSheetList where toFFI = id
174 | FromFFI StyleSheetList StyleSheetList where fromFFI = Just
177 | SafeCast StyleSheetList where
178 | safeCast = unsafeCastOnPrototypeName "StyleSheetList"
186 | export data ElementCSSInlineStyle : Type where [external]
189 | ToFFI ElementCSSInlineStyle ElementCSSInlineStyle where toFFI = id
192 | FromFFI ElementCSSInlineStyle ElementCSSInlineStyle where fromFFI = Just
194 | export data LinkStyle : Type where [external]
197 | ToFFI LinkStyle LinkStyle where toFFI = id
200 | FromFFI LinkStyle LinkStyle where fromFFI = Just