0 | module Web.Internal.GeometryTypes
12 | export data DOMMatrix : Type where [external]
15 | ToFFI DOMMatrix DOMMatrix where toFFI = id
18 | FromFFI DOMMatrix DOMMatrix where fromFFI = Just
21 | SafeCast DOMMatrix where
22 | safeCast = unsafeCastOnPrototypeName "DOMMatrix"
24 | export data DOMMatrixReadOnly : Type where [external]
27 | ToFFI DOMMatrixReadOnly DOMMatrixReadOnly where toFFI = id
30 | FromFFI DOMMatrixReadOnly DOMMatrixReadOnly where fromFFI = Just
33 | SafeCast DOMMatrixReadOnly where
34 | safeCast = unsafeCastOnPrototypeName "DOMMatrixReadOnly"
36 | export data DOMPoint : Type where [external]
39 | ToFFI DOMPoint DOMPoint where toFFI = id
42 | FromFFI DOMPoint DOMPoint where fromFFI = Just
45 | SafeCast DOMPoint where
46 | safeCast = unsafeCastOnPrototypeName "DOMPoint"
48 | export data DOMPointReadOnly : Type where [external]
51 | ToFFI DOMPointReadOnly DOMPointReadOnly where toFFI = id
54 | FromFFI DOMPointReadOnly DOMPointReadOnly where fromFFI = Just
57 | SafeCast DOMPointReadOnly where
58 | safeCast = unsafeCastOnPrototypeName "DOMPointReadOnly"
60 | export data DOMQuad : Type where [external]
63 | ToFFI DOMQuad DOMQuad where toFFI = id
66 | FromFFI DOMQuad DOMQuad where fromFFI = Just
69 | SafeCast DOMQuad where
70 | safeCast = unsafeCastOnPrototypeName "DOMQuad"
72 | export data DOMRect : Type where [external]
75 | ToFFI DOMRect DOMRect where toFFI = id
78 | FromFFI DOMRect DOMRect where fromFFI = Just
81 | SafeCast DOMRect where
82 | safeCast = unsafeCastOnPrototypeName "DOMRect"
84 | export data DOMRectList : Type where [external]
87 | ToFFI DOMRectList DOMRectList where toFFI = id
90 | FromFFI DOMRectList DOMRectList where fromFFI = Just
93 | SafeCast DOMRectList where
94 | safeCast = unsafeCastOnPrototypeName "DOMRectList"
96 | export data DOMRectReadOnly : Type where [external]
99 | ToFFI DOMRectReadOnly DOMRectReadOnly where toFFI = id
102 | FromFFI DOMRectReadOnly DOMRectReadOnly where fromFFI = Just
105 | SafeCast DOMRectReadOnly where
106 | safeCast = unsafeCastOnPrototypeName "DOMRectReadOnly"
113 | export data DOMMatrix2DInit : Type where [external]
116 | ToFFI DOMMatrix2DInit DOMMatrix2DInit where toFFI = id
119 | FromFFI DOMMatrix2DInit DOMMatrix2DInit where fromFFI = Just
121 | export data DOMMatrixInit : Type where [external]
124 | ToFFI DOMMatrixInit DOMMatrixInit where toFFI = id
127 | FromFFI DOMMatrixInit DOMMatrixInit where fromFFI = Just
129 | export data DOMPointInit : Type where [external]
132 | ToFFI DOMPointInit DOMPointInit where toFFI = id
135 | FromFFI DOMPointInit DOMPointInit where fromFFI = Just
137 | export data DOMQuadInit : Type where [external]
140 | ToFFI DOMQuadInit DOMQuadInit where toFFI = id
143 | FromFFI DOMQuadInit DOMQuadInit where fromFFI = Just
145 | export data DOMRectInit : Type where [external]
148 | ToFFI DOMRectInit DOMRectInit where toFFI = id
151 | FromFFI DOMRectInit DOMRectInit where fromFFI = Just