0 | module Web.Internal.CssomviewTypes

  2 | import JS

  4 | %default total

 11 | namespace ScrollBehavior

 13 |   public export

 14 |   data ScrollBehavior = Auto | Instant | Smooth

 16 |   public export

 17 |   Show ScrollBehavior where

 18 |     show Auto = "auto"

 19 |     show Instant = "instant"

 20 |     show Smooth = "smooth"

 22 |   public export

 23 |   Eq ScrollBehavior where

 24 |     (==) = (==) `on` show

 26 |   public export

 27 |   Ord ScrollBehavior where

 28 |     compare = compare `on` show

 30 |   public export

 31 |   read : String -> Maybe ScrollBehavior

 32 |   read "auto" = Just Auto

 33 |   read "instant" = Just Instant

 34 |   read "smooth" = Just Smooth

 35 |   read _ = Nothing

 37 |   export

 38 |   ToFFI ScrollBehavior String where

 39 |     toFFI = show

 41 |   export

 42 |   FromFFI ScrollBehavior String where

 43 |     fromFFI = read

 46 | namespace ScrollLogicalPosition

 48 |   public export

 49 |   data ScrollLogicalPosition = Start | Center | End | Nearest

 51 |   public export

 52 |   Show ScrollLogicalPosition where

 53 |     show Start = "start"

 54 |     show Center = "center"

 55 |     show End = "end"

 56 |     show Nearest = "nearest"

 58 |   public export

 59 |   Eq ScrollLogicalPosition where

 60 |     (==) = (==) `on` show

 62 |   public export

 63 |   Ord ScrollLogicalPosition where

 64 |     compare = compare `on` show

 66 |   public export

 67 |   read : String -> Maybe ScrollLogicalPosition

 68 |   read "start" = Just Start

 69 |   read "center" = Just Center

 70 |   read "end" = Just End

 71 |   read "nearest" = Just Nearest

 72 |   read _ = Nothing

 74 |   export

 75 |   ToFFI ScrollLogicalPosition String where

 76 |     toFFI = show

 78 |   export

 79 |   FromFFI ScrollLogicalPosition String where

 80 |     fromFFI = read

 83 | namespace CSSBoxType

 85 |   public export

 86 |   data CSSBoxType = Margin | Border | Padding | Content

 88 |   public export

 89 |   Show CSSBoxType where

 90 |     show Margin = "margin"

 91 |     show Border = "border"

 92 |     show Padding = "padding"

 93 |     show Content = "content"

 95 |   public export

 96 |   Eq CSSBoxType where

 97 |     (==) = (==) `on` show

 99 |   public export

100 |   Ord CSSBoxType where

101 |     compare = compare `on` show

103 |   public export

104 |   read : String -> Maybe CSSBoxType

105 |   read "margin" = Just Margin

106 |   read "border" = Just Border

107 |   read "padding" = Just Padding

108 |   read "content" = Just Content

109 |   read _ = Nothing

111 |   export

112 |   ToFFI CSSBoxType String where

113 |     toFFI = show

115 |   export

116 |   FromFFI CSSBoxType String where

117 |     fromFFI = read

125 | export data CaretPosition : Type where [external]

128 | ToFFI CaretPosition CaretPosition where toFFI = id

131 | FromFFI CaretPosition CaretPosition where fromFFI = Just

134 | SafeCast CaretPosition where

135 |   safeCast = unsafeCastOnPrototypeName "CaretPosition"

137 | export data MediaQueryList : Type where [external]

140 | ToFFI MediaQueryList MediaQueryList where toFFI = id

143 | FromFFI MediaQueryList MediaQueryList where fromFFI = Just

146 | SafeCast MediaQueryList where

147 |   safeCast = unsafeCastOnPrototypeName "MediaQueryList"

149 | export data MediaQueryListEvent : Type where [external]

152 | ToFFI MediaQueryListEvent MediaQueryListEvent where toFFI = id

155 | FromFFI MediaQueryListEvent MediaQueryListEvent where fromFFI = Just

158 | SafeCast MediaQueryListEvent where

159 |   safeCast = unsafeCastOnPrototypeName "MediaQueryListEvent"

161 | export data Screen : Type where [external]

164 | ToFFI Screen Screen where toFFI = id

167 | FromFFI Screen Screen where fromFFI = Just

170 | SafeCast Screen where

171 |   safeCast = unsafeCastOnPrototypeName "Screen"

173 | export data VisualViewport : Type where [external]

176 | ToFFI VisualViewport VisualViewport where toFFI = id

179 | FromFFI VisualViewport VisualViewport where fromFFI = Just

182 | SafeCast VisualViewport where

183 |   safeCast = unsafeCastOnPrototypeName "VisualViewport"

190 | export data BoxQuadOptions : Type where [external]

193 | ToFFI BoxQuadOptions BoxQuadOptions where toFFI = id

196 | FromFFI BoxQuadOptions BoxQuadOptions where fromFFI = Just

198 | export data CheckVisibilityOptions : Type where [external]

201 | ToFFI CheckVisibilityOptions CheckVisibilityOptions where toFFI = id

204 | FromFFI CheckVisibilityOptions CheckVisibilityOptions where fromFFI = Just

206 | export data ConvertCoordinateOptions : Type where [external]

209 | ToFFI ConvertCoordinateOptions ConvertCoordinateOptions where toFFI = id

212 | FromFFI ConvertCoordinateOptions ConvertCoordinateOptions where fromFFI = Just

214 | export data MediaQueryListEventInit : Type where [external]

217 | ToFFI MediaQueryListEventInit MediaQueryListEventInit where toFFI = id

220 | FromFFI MediaQueryListEventInit MediaQueryListEventInit where fromFFI = Just

222 | export data ScrollIntoViewOptions : Type where [external]

225 | ToFFI ScrollIntoViewOptions ScrollIntoViewOptions where toFFI = id

228 | FromFFI ScrollIntoViewOptions ScrollIntoViewOptions where fromFFI = Just

230 | export data ScrollOptions : Type where [external]

233 | ToFFI ScrollOptions ScrollOptions where toFFI = id

236 | FromFFI ScrollOptions ScrollOptions where fromFFI = Just

238 | export data ScrollToOptions : Type where [external]

241 | ToFFI ScrollToOptions ScrollToOptions where toFFI = id

244 | FromFFI ScrollToOptions ScrollToOptions where fromFFI = Just

251 | export data GeometryUtils : Type where [external]

254 | ToFFI GeometryUtils GeometryUtils where toFFI = id

257 | FromFFI GeometryUtils GeometryUtils where fromFFI = Just