0 | module Web.Raw.Geometry
3 | import Web.Internal.GeometryPrim
4 | import Web.Internal.Types
16 | fromFloat32Array : (array32 : Float32Array) -> JSIO DOMMatrix
17 | fromFloat32Array a = primJS $
DOMMatrix.prim__fromFloat32Array a
21 | fromFloat64Array : (array64 : Float64Array) -> JSIO DOMMatrix
22 | fromFloat64Array a = primJS $
DOMMatrix.prim__fromFloat64Array a
27 | {auto 0 _ : JSType t1}
28 | -> {auto 0 _ : Elem DOMMatrixInit (Types t1)}
29 | -> (other : Optional t1)
31 | fromMatrix' a = primJS $
DOMMatrix.prim__fromMatrix (optUp a)
34 | fromMatrix : JSIO DOMMatrix
35 | fromMatrix = primJS $
DOMMatrix.prim__fromMatrix undef
39 | invertSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
40 | invertSelf a = primJS $
DOMMatrix.prim__invertSelf a
45 | {auto 0 _ : JSType t2}
46 | -> {auto 0 _ : Elem DOMMatrixInit (Types t2)}
47 | -> (obj : DOMMatrix)
48 | -> (other : Optional t2)
50 | multiplySelf' a b = primJS $
DOMMatrix.prim__multiplySelf a (optUp b)
53 | multiplySelf : (obj : DOMMatrix) -> JSIO DOMMatrix
54 | multiplySelf a = primJS $
DOMMatrix.prim__multiplySelf a undef
59 | {auto 0 _ : JSType t2}
60 | -> {auto 0 _ : Elem DOMMatrixInit (Types t2)}
61 | -> (obj : DOMMatrix)
62 | -> (other : Optional t2)
64 | preMultiplySelf' a b = primJS $
DOMMatrix.prim__preMultiplySelf a (optUp b)
67 | preMultiplySelf : (obj : DOMMatrix) -> JSIO DOMMatrix
68 | preMultiplySelf a = primJS $
DOMMatrix.prim__preMultiplySelf a undef
72 | rotateAxisAngleSelf' :
74 | -> (x : Optional Double)
75 | -> (y : Optional Double)
76 | -> (z : Optional Double)
77 | -> (angle : Optional Double)
79 | rotateAxisAngleSelf' a b c d e = primJS $
80 | DOMMatrix.prim__rotateAxisAngleSelf
88 | rotateAxisAngleSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
89 | rotateAxisAngleSelf a = primJS $
90 | DOMMatrix.prim__rotateAxisAngleSelf a undef undef undef undef
94 | rotateFromVectorSelf' :
96 | -> (x : Optional Double)
97 | -> (y : Optional Double)
99 | rotateFromVectorSelf' a b c = primJS $
100 | DOMMatrix.prim__rotateFromVectorSelf a (toFFI b) (toFFI c)
103 | rotateFromVectorSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
104 | rotateFromVectorSelf a = primJS $
105 | DOMMatrix.prim__rotateFromVectorSelf a undef undef
111 | -> (rotX : Optional Double)
112 | -> (rotY : Optional Double)
113 | -> (rotZ : Optional Double)
115 | rotateSelf' a b c d = primJS $
116 | DOMMatrix.prim__rotateSelf a (toFFI b) (toFFI c) (toFFI d)
119 | rotateSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
120 | rotateSelf a = primJS $
DOMMatrix.prim__rotateSelf a undef undef undef
126 | -> (scale : Optional Double)
127 | -> (originX : Optional Double)
128 | -> (originY : Optional Double)
129 | -> (originZ : Optional Double)
131 | scale3dSelf' a b c d e = primJS $
132 | DOMMatrix.prim__scale3dSelf a (toFFI b) (toFFI c) (toFFI d) (toFFI e)
135 | scale3dSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
136 | scale3dSelf a = primJS $
DOMMatrix.prim__scale3dSelf a undef undef undef undef
142 | -> (scaleX : Optional Double)
143 | -> (scaleY : Optional Double)
144 | -> (scaleZ : Optional Double)
145 | -> (originX : Optional Double)
146 | -> (originY : Optional Double)
147 | -> (originZ : Optional Double)
149 | scaleSelf' a b c d e f g = primJS $
150 | DOMMatrix.prim__scaleSelf
160 | scaleSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
161 | scaleSelf a = primJS $
162 | DOMMatrix.prim__scaleSelf a undef undef undef undef undef undef
168 | -> (transformList : String)
170 | setMatrixValue a b = primJS $
DOMMatrix.prim__setMatrixValue a b
174 | skewXSelf' : (obj : DOMMatrix) -> (sx : Optional Double) -> JSIO DOMMatrix
175 | skewXSelf' a b = primJS $
DOMMatrix.prim__skewXSelf a (toFFI b)
178 | skewXSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
179 | skewXSelf a = primJS $
DOMMatrix.prim__skewXSelf a undef
183 | skewYSelf' : (obj : DOMMatrix) -> (sy : Optional Double) -> JSIO DOMMatrix
184 | skewYSelf' a b = primJS $
DOMMatrix.prim__skewYSelf a (toFFI b)
187 | skewYSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
188 | skewYSelf a = primJS $
DOMMatrix.prim__skewYSelf a undef
194 | -> (tx : Optional Double)
195 | -> (ty : Optional Double)
196 | -> (tz : Optional Double)
198 | translateSelf' a b c d = primJS $
199 | DOMMatrix.prim__translateSelf a (toFFI b) (toFFI c) (toFFI d)
202 | translateSelf : (obj : DOMMatrix) -> JSIO DOMMatrix
203 | translateSelf a = primJS $
DOMMatrix.prim__translateSelf a undef undef undef
207 | namespace DOMMatrixReadOnly
210 | fromFloat32Array : (array32 : Float32Array) -> JSIO DOMMatrixReadOnly
211 | fromFloat32Array a = primJS $
DOMMatrixReadOnly.prim__fromFloat32Array a
215 | fromFloat64Array : (array64 : Float64Array) -> JSIO DOMMatrixReadOnly
216 | fromFloat64Array a = primJS $
DOMMatrixReadOnly.prim__fromFloat64Array a
221 | {auto 0 _ : JSType t1}
222 | -> {auto 0 _ : Elem DOMMatrixInit (Types t1)}
223 | -> (other : Optional t1)
224 | -> JSIO DOMMatrixReadOnly
225 | fromMatrix' a = primJS $
DOMMatrixReadOnly.prim__fromMatrix (optUp a)
228 | fromMatrix : JSIO DOMMatrixReadOnly
229 | fromMatrix = primJS $
DOMMatrixReadOnly.prim__fromMatrix undef
234 | {auto 0 _ : JSType t1}
235 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
238 | a b = primJS $
DOMMatrixReadOnly.prim__a (up b)
243 | {auto 0 _ : JSType t1}
244 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
247 | b a = primJS $
DOMMatrixReadOnly.prim__b (up a)
252 | {auto 0 _ : JSType t1}
253 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
256 | c a = primJS $
DOMMatrixReadOnly.prim__c (up a)
261 | {auto 0 _ : JSType t1}
262 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
265 | d a = primJS $
DOMMatrixReadOnly.prim__d (up a)
270 | {auto 0 _ : JSType t1}
271 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
274 | e a = primJS $
DOMMatrixReadOnly.prim__e (up a)
279 | {auto 0 _ : JSType t1}
280 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
283 | f a = primJS $
DOMMatrixReadOnly.prim__f (up a)
288 | {auto 0 _ : JSType t1}
289 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
292 | is2D a = tryJS "DOMMatrixReadOnly.is2D" $
DOMMatrixReadOnly.prim__is2D (up a)
297 | {auto 0 _ : JSType t1}
298 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
301 | isIdentity a = tryJS "DOMMatrixReadOnly.isIdentity" $
302 | DOMMatrixReadOnly.prim__isIdentity (up a)
307 | {auto 0 _ : JSType t1}
308 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
311 | m11 a = primJS $
DOMMatrixReadOnly.prim__m11 (up a)
316 | {auto 0 _ : JSType t1}
317 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
320 | m12 a = primJS $
DOMMatrixReadOnly.prim__m12 (up a)
325 | {auto 0 _ : JSType t1}
326 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
329 | m13 a = primJS $
DOMMatrixReadOnly.prim__m13 (up a)
334 | {auto 0 _ : JSType t1}
335 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
338 | m14 a = primJS $
DOMMatrixReadOnly.prim__m14 (up a)
343 | {auto 0 _ : JSType t1}
344 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
347 | m21 a = primJS $
DOMMatrixReadOnly.prim__m21 (up a)
352 | {auto 0 _ : JSType t1}
353 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
356 | m22 a = primJS $
DOMMatrixReadOnly.prim__m22 (up a)
361 | {auto 0 _ : JSType t1}
362 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
365 | m23 a = primJS $
DOMMatrixReadOnly.prim__m23 (up a)
370 | {auto 0 _ : JSType t1}
371 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
374 | m24 a = primJS $
DOMMatrixReadOnly.prim__m24 (up a)
379 | {auto 0 _ : JSType t1}
380 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
383 | m31 a = primJS $
DOMMatrixReadOnly.prim__m31 (up a)
388 | {auto 0 _ : JSType t1}
389 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
392 | m32 a = primJS $
DOMMatrixReadOnly.prim__m32 (up a)
397 | {auto 0 _ : JSType t1}
398 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
401 | m33 a = primJS $
DOMMatrixReadOnly.prim__m33 (up a)
406 | {auto 0 _ : JSType t1}
407 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
410 | m34 a = primJS $
DOMMatrixReadOnly.prim__m34 (up a)
415 | {auto 0 _ : JSType t1}
416 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
419 | m41 a = primJS $
DOMMatrixReadOnly.prim__m41 (up a)
424 | {auto 0 _ : JSType t1}
425 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
428 | m42 a = primJS $
DOMMatrixReadOnly.prim__m42 (up a)
433 | {auto 0 _ : JSType t1}
434 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
437 | m43 a = primJS $
DOMMatrixReadOnly.prim__m43 (up a)
442 | {auto 0 _ : JSType t1}
443 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
446 | m44 a = primJS $
DOMMatrixReadOnly.prim__m44 (up a)
451 | {auto 0 _ : JSType t1}
452 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
455 | flipX a = primJS $
DOMMatrixReadOnly.prim__flipX (up a)
460 | {auto 0 _ : JSType t1}
461 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
464 | flipY a = primJS $
DOMMatrixReadOnly.prim__flipY (up a)
469 | {auto 0 _ : JSType t1}
470 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
473 | inverse a = primJS $
DOMMatrixReadOnly.prim__inverse (up a)
478 | {auto 0 _ : JSType t1}
479 | -> {auto 0 _ : JSType t2}
480 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
481 | -> {auto 0 _ : Elem DOMMatrixInit (Types t2)}
483 | -> (other : Optional t2)
485 | multiply' a b = primJS $
DOMMatrixReadOnly.prim__multiply (up a) (optUp b)
489 | {auto 0 _ : JSType t1}
490 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
493 | multiply a = primJS $
DOMMatrixReadOnly.prim__multiply (up a) undef
498 | {auto 0 _ : JSType t1}
499 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
501 | -> (x : Optional Double)
502 | -> (y : Optional Double)
503 | -> (z : Optional Double)
504 | -> (angle : Optional Double)
506 | rotateAxisAngle' a b c d e = primJS $
507 | DOMMatrixReadOnly.prim__rotateAxisAngle
516 | {auto 0 _ : JSType t1}
517 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
520 | rotateAxisAngle a = primJS $
521 | DOMMatrixReadOnly.prim__rotateAxisAngle (up a) undef undef undef undef
526 | {auto 0 _ : JSType t1}
527 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
529 | -> (rotX : Optional Double)
530 | -> (rotY : Optional Double)
531 | -> (rotZ : Optional Double)
533 | rotate' a b c d = primJS $
534 | DOMMatrixReadOnly.prim__rotate (up a) (toFFI b) (toFFI c) (toFFI d)
538 | {auto 0 _ : JSType t1}
539 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
542 | rotate a = primJS $
DOMMatrixReadOnly.prim__rotate (up a) undef undef undef
546 | rotateFromVector' :
547 | {auto 0 _ : JSType t1}
548 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
550 | -> (x : Optional Double)
551 | -> (y : Optional Double)
553 | rotateFromVector' a b c = primJS $
554 | DOMMatrixReadOnly.prim__rotateFromVector (up a) (toFFI b) (toFFI c)
558 | {auto 0 _ : JSType t1}
559 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
562 | rotateFromVector a = primJS $
563 | DOMMatrixReadOnly.prim__rotateFromVector (up a) undef undef
568 | {auto 0 _ : JSType t1}
569 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
571 | -> (scale : Optional Double)
572 | -> (originX : Optional Double)
573 | -> (originY : Optional Double)
574 | -> (originZ : Optional Double)
576 | scale3d' a b c d e = primJS $
577 | DOMMatrixReadOnly.prim__scale3d
586 | {auto 0 _ : JSType t1}
587 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
590 | scale3d a = primJS $
591 | DOMMatrixReadOnly.prim__scale3d (up a) undef undef undef undef
596 | {auto 0 _ : JSType t1}
597 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
599 | -> (scaleX : Optional Double)
600 | -> (scaleY : Optional Double)
601 | -> (scaleZ : Optional Double)
602 | -> (originX : Optional Double)
603 | -> (originY : Optional Double)
604 | -> (originZ : Optional Double)
606 | scale' a b c d e f g = primJS $
607 | DOMMatrixReadOnly.prim__scale
618 | {auto 0 _ : JSType t1}
619 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
623 | DOMMatrixReadOnly.prim__scale (up a) undef undef undef undef undef undef
628 | {auto 0 _ : JSType t1}
629 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
631 | -> (scaleX : Optional Double)
632 | -> (scaleY : Optional Double)
634 | scaleNonUniform' a b c = primJS $
635 | DOMMatrixReadOnly.prim__scaleNonUniform (up a) (toFFI b) (toFFI c)
639 | {auto 0 _ : JSType t1}
640 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
643 | scaleNonUniform a = primJS $
644 | DOMMatrixReadOnly.prim__scaleNonUniform (up a) undef undef
649 | {auto 0 _ : JSType t1}
650 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
652 | -> (sx : Optional Double)
654 | skewX' a b = primJS $
DOMMatrixReadOnly.prim__skewX (up a) (toFFI b)
658 | {auto 0 _ : JSType t1}
659 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
662 | skewX a = primJS $
DOMMatrixReadOnly.prim__skewX (up a) undef
667 | {auto 0 _ : JSType t1}
668 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
670 | -> (sy : Optional Double)
672 | skewY' a b = primJS $
DOMMatrixReadOnly.prim__skewY (up a) (toFFI b)
676 | {auto 0 _ : JSType t1}
677 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
680 | skewY a = primJS $
DOMMatrixReadOnly.prim__skewY (up a) undef
685 | {auto 0 _ : JSType t1}
686 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
688 | -> JSIO Float32Array
689 | toFloat32Array a = primJS $
DOMMatrixReadOnly.prim__toFloat32Array (up a)
694 | {auto 0 _ : JSType t1}
695 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
697 | -> JSIO Float64Array
698 | toFloat64Array a = primJS $
DOMMatrixReadOnly.prim__toFloat64Array (up a)
703 | {auto 0 _ : JSType t1}
704 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
707 | toJSON a = primJS $
DOMMatrixReadOnly.prim__toJSON (up a)
712 | {auto 0 _ : JSType t1}
713 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
716 | toString a = primJS $
DOMMatrixReadOnly.prim__toString (up a)
721 | {auto 0 _ : JSType t1}
722 | -> {auto 0 _ : JSType t2}
723 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
724 | -> {auto 0 _ : Elem DOMPointInit (Types t2)}
726 | -> (point : Optional t2)
728 | transformPoint' a b = primJS $
729 | DOMMatrixReadOnly.prim__transformPoint (up a) (optUp b)
733 | {auto 0 _ : JSType t1}
734 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
737 | transformPoint a = primJS $
738 | DOMMatrixReadOnly.prim__transformPoint (up a) undef
743 | {auto 0 _ : JSType t1}
744 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
746 | -> (tx : Optional Double)
747 | -> (ty : Optional Double)
748 | -> (tz : Optional Double)
750 | translate' a b c d = primJS $
751 | DOMMatrixReadOnly.prim__translate (up a) (toFFI b) (toFFI c) (toFFI d)
755 | {auto 0 _ : JSType t1}
756 | -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)}
759 | translate a = primJS $
760 | DOMMatrixReadOnly.prim__translate (up a) undef undef undef
768 | {auto 0 _ : JSType t1}
769 | -> {auto 0 _ : Elem DOMPointInit (Types t1)}
770 | -> (other : Optional t1)
772 | fromPoint' a = primJS $
DOMPoint.prim__fromPoint (optUp a)
775 | fromPoint : JSIO DOMPoint
776 | fromPoint = primJS $
DOMPoint.prim__fromPoint undef
780 | namespace DOMPointReadOnly
784 | {auto 0 _ : JSType t1}
785 | -> {auto 0 _ : Elem DOMPointInit (Types t1)}
786 | -> (other : Optional t1)
787 | -> JSIO DOMPointReadOnly
788 | fromPoint' a = primJS $
DOMPointReadOnly.prim__fromPoint (optUp a)
791 | fromPoint : JSIO DOMPointReadOnly
792 | fromPoint = primJS $
DOMPointReadOnly.prim__fromPoint undef
797 | {auto 0 _ : JSType t1}
798 | -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
801 | w a = primJS $
DOMPointReadOnly.prim__w (up a)
806 | {auto 0 _ : JSType t1}
807 | -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
810 | x a = primJS $
DOMPointReadOnly.prim__x (up a)
815 | {auto 0 _ : JSType t1}
816 | -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
819 | y a = primJS $
DOMPointReadOnly.prim__y (up a)
824 | {auto 0 _ : JSType t1}
825 | -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
828 | z a = primJS $
DOMPointReadOnly.prim__z (up a)
833 | {auto 0 _ : JSType t1}
834 | -> {auto 0 _ : JSType t2}
835 | -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
836 | -> {auto 0 _ : Elem DOMMatrixInit (Types t2)}
838 | -> (matrix : Optional t2)
840 | matrixTransform' a b = primJS $
841 | DOMPointReadOnly.prim__matrixTransform (up a) (optUp b)
845 | {auto 0 _ : JSType t1}
846 | -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
849 | matrixTransform a = primJS $
850 | DOMPointReadOnly.prim__matrixTransform (up a) undef
855 | {auto 0 _ : JSType t1}
856 | -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)}
859 | toJSON a = primJS $
DOMPointReadOnly.prim__toJSON (up a)
867 | {auto 0 _ : JSType t1}
868 | -> {auto 0 _ : Elem DOMQuadInit (Types t1)}
869 | -> (other : Optional t1)
871 | fromQuad' a = primJS $
DOMQuad.prim__fromQuad (optUp a)
874 | fromQuad : JSIO DOMQuad
875 | fromQuad = primJS $
DOMQuad.prim__fromQuad undef
880 | {auto 0 _ : JSType t1}
881 | -> {auto 0 _ : Elem DOMRectInit (Types t1)}
882 | -> (other : Optional t1)
884 | fromRect' a = primJS $
DOMQuad.prim__fromRect (optUp a)
887 | fromRect : JSIO DOMQuad
888 | fromRect = primJS $
DOMQuad.prim__fromRect undef
892 | p1 : (obj : DOMQuad) -> JSIO DOMPoint
893 | p1 a = primJS $
DOMQuad.prim__p1 a
897 | p2 : (obj : DOMQuad) -> JSIO DOMPoint
898 | p2 a = primJS $
DOMQuad.prim__p2 a
902 | p3 : (obj : DOMQuad) -> JSIO DOMPoint
903 | p3 a = primJS $
DOMQuad.prim__p3 a
907 | p4 : (obj : DOMQuad) -> JSIO DOMPoint
908 | p4 a = primJS $
DOMQuad.prim__p4 a
912 | getBounds : (obj : DOMQuad) -> JSIO DOMRect
913 | getBounds a = primJS $
DOMQuad.prim__getBounds a
917 | toJSON : (obj : DOMQuad) -> JSIO Object
918 | toJSON a = primJS $
DOMQuad.prim__toJSON a
926 | {auto 0 _ : JSType t1}
927 | -> {auto 0 _ : Elem DOMRectInit (Types t1)}
928 | -> (other : Optional t1)
930 | fromRect' a = primJS $
DOMRect.prim__fromRect (optUp a)
933 | fromRect : JSIO DOMRect
934 | fromRect = primJS $
DOMRect.prim__fromRect undef
938 | namespace DOMRectList
941 | length : (obj : DOMRectList) -> JSIO Bits32
942 | length a = primJS $
DOMRectList.prim__length a
946 | item : (obj : DOMRectList) -> (index : Bits32) -> JSIO (Maybe DOMRect)
947 | item a b = tryJS "DOMRectList.item" $
DOMRectList.prim__item a b
951 | namespace DOMRectReadOnly
955 | {auto 0 _ : JSType t1}
956 | -> {auto 0 _ : Elem DOMRectInit (Types t1)}
957 | -> (other : Optional t1)
958 | -> JSIO DOMRectReadOnly
959 | fromRect' a = primJS $
DOMRectReadOnly.prim__fromRect (optUp a)
962 | fromRect : JSIO DOMRectReadOnly
963 | fromRect = primJS $
DOMRectReadOnly.prim__fromRect undef
968 | {auto 0 _ : JSType t1}
969 | -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
972 | bottom a = primJS $
DOMRectReadOnly.prim__bottom (up a)
977 | {auto 0 _ : JSType t1}
978 | -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
981 | height a = primJS $
DOMRectReadOnly.prim__height (up a)
986 | {auto 0 _ : JSType t1}
987 | -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
990 | left a = primJS $
DOMRectReadOnly.prim__left (up a)
995 | {auto 0 _ : JSType t1}
996 | -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
999 | right a = primJS $
DOMRectReadOnly.prim__right (up a)
1005 | -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
1008 | top a = primJS $
DOMRectReadOnly.prim__top (up a)
1014 | -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
1017 | width a = primJS $
DOMRectReadOnly.prim__width (up a)
1023 | -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
1026 | x a = primJS $
DOMRectReadOnly.prim__x (up a)
1032 | -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
1035 | y a = primJS $
DOMRectReadOnly.prim__y (up a)
1041 | -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)}
1044 | toJSON a = primJS $
DOMRectReadOnly.prim__toJSON (up a)
1054 | namespace DOMMatrix2DInit
1059 | -> (b : Optional Double)
1060 | -> (c : Optional Double)
1061 | -> (d : Optional Double)
1062 | -> (e : Optional Double)
1063 | -> (f : Optional Double)
1064 | -> (m11 : Optional Double)
1065 | -> (m12 : Optional Double)
1066 | -> (m21 : Optional Double)
1067 | -> (m22 : Optional Double)
1068 | -> (m41 : Optional Double)
1069 | -> (m42 : Optional Double)
1070 | -> JSIO DOMMatrix2DInit
1071 | new' a b c d e f g h i j k l = primJS $
1072 | DOMMatrix2DInit.prim__new
1087 | new : JSIO DOMMatrix2DInit
1089 | DOMMatrix2DInit.prim__new
1107 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1109 | -> Attribute False Optional Double
1110 | a v = fromUndefOrPrimNoDefault
1120 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1122 | -> Attribute False Optional Double
1123 | b v = fromUndefOrPrimNoDefault
1133 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1135 | -> Attribute False Optional Double
1136 | c v = fromUndefOrPrimNoDefault
1146 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1148 | -> Attribute False Optional Double
1149 | d v = fromUndefOrPrimNoDefault
1159 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1161 | -> Attribute False Optional Double
1162 | e v = fromUndefOrPrimNoDefault
1172 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1174 | -> Attribute False Optional Double
1175 | f v = fromUndefOrPrimNoDefault
1185 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1187 | -> Attribute False Optional Double
1188 | m11 v = fromUndefOrPrimNoDefault
1189 | "DOMMatrix2DInit.getm11"
1198 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1200 | -> Attribute False Optional Double
1201 | m12 v = fromUndefOrPrimNoDefault
1202 | "DOMMatrix2DInit.getm12"
1211 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1213 | -> Attribute False Optional Double
1214 | m21 v = fromUndefOrPrimNoDefault
1215 | "DOMMatrix2DInit.getm21"
1224 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1226 | -> Attribute False Optional Double
1227 | m22 v = fromUndefOrPrimNoDefault
1228 | "DOMMatrix2DInit.getm22"
1237 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1239 | -> Attribute False Optional Double
1240 | m41 v = fromUndefOrPrimNoDefault
1241 | "DOMMatrix2DInit.getm41"
1250 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)}
1252 | -> Attribute False Optional Double
1253 | m42 v = fromUndefOrPrimNoDefault
1254 | "DOMMatrix2DInit.getm42"
1261 | namespace DOMMatrixInit
1265 | (m13 : Optional Double)
1266 | -> (m14 : Optional Double)
1267 | -> (m23 : Optional Double)
1268 | -> (m24 : Optional Double)
1269 | -> (m31 : Optional Double)
1270 | -> (m32 : Optional Double)
1271 | -> (m33 : Optional Double)
1272 | -> (m34 : Optional Double)
1273 | -> (m43 : Optional Double)
1274 | -> (m44 : Optional Double)
1275 | -> (is2D : Optional Bool)
1277 | new' a b c d e f g h i j k = primJS $
1278 | DOMMatrixInit.prim__new
1292 | new : JSIO DOMMatrixInit
1294 | DOMMatrixInit.prim__new
1311 | -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1313 | -> Attribute False Optional Bool
1314 | is2D v = fromUndefOrPrimNoDefault
1315 | "DOMMatrixInit.getis2D"
1324 | -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1326 | -> Attribute True Optional Double
1327 | m13 v = fromUndefOrPrim
1338 | -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1340 | -> Attribute True Optional Double
1341 | m14 v = fromUndefOrPrim
1352 | -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1354 | -> Attribute True Optional Double
1355 | m23 v = fromUndefOrPrim
1366 | -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1368 | -> Attribute True Optional Double
1369 | m24 v = fromUndefOrPrim
1380 | -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1382 | -> Attribute True Optional Double
1383 | m31 v = fromUndefOrPrim
1394 | -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1396 | -> Attribute True Optional Double
1397 | m32 v = fromUndefOrPrim
1408 | -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1410 | -> Attribute True Optional Double
1411 | m33 v = fromUndefOrPrim
1422 | -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1424 | -> Attribute True Optional Double
1425 | m34 v = fromUndefOrPrim
1436 | -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1438 | -> Attribute True Optional Double
1439 | m43 v = fromUndefOrPrim
1450 | -> {auto 0 _ : Elem DOMMatrixInit (Types t)}
1452 | -> Attribute True Optional Double
1453 | m44 v = fromUndefOrPrim
1467 | -> (y : Optional Double)
1468 | -> (z : Optional Double)
1469 | -> (w : Optional Double)
1471 | new' a b c d = primJS $
1472 | DOMPointInit.prim__new (toFFI a) (toFFI b) (toFFI c) (toFFI d)
1475 | new : JSIO DOMPointInit
1476 | new = primJS $
DOMPointInit.prim__new undef undef undef undef
1482 | -> {auto 0 _ : Elem DOMPointInit (Types t)}
1484 | -> Attribute True Optional Double
1496 | -> {auto 0 _ : Elem DOMPointInit (Types t)}
1498 | -> Attribute True Optional Double
1510 | -> {auto 0 _ : Elem DOMPointInit (Types t)}
1512 | -> Attribute True Optional Double
1524 | -> {auto 0 _ : Elem DOMPointInit (Types t)}
1526 | -> Attribute True Optional Double
1541 | -> {auto 0 _ : JSType t2}
1542 | -> {auto 0 _ : JSType t3}
1543 | -> {auto 0 _ : JSType t4}
1544 | -> {auto 0 _ : Elem DOMPointInit (Types t1)}
1545 | -> {auto 0 _ : Elem DOMPointInit (Types t2)}
1546 | -> {auto 0 _ : Elem DOMPointInit (Types t3)}
1547 | -> {auto 0 _ : Elem DOMPointInit (Types t4)}
1553 | new' a b c d = primJS $
1554 | DOMQuadInit.prim__new (optUp a) (optUp b) (optUp c) (optUp d)
1558 | new = primJS $
DOMQuadInit.prim__new undef undef undef undef
1564 | -> {auto 0 _ : Elem DOMQuadInit (Types t)}
1566 | -> Attribute False Optional DOMPointInit
1567 | p1 v = fromUndefOrPrimNoDefault
1577 | -> {auto 0 _ : Elem DOMQuadInit (Types t)}
1579 | -> Attribute False Optional DOMPointInit
1580 | p2 v = fromUndefOrPrimNoDefault
1590 | -> {auto 0 _ : Elem DOMQuadInit (Types t)}
1592 | -> Attribute False Optional DOMPointInit
1593 | p3 v = fromUndefOrPrimNoDefault
1603 | -> {auto 0 _ : Elem DOMQuadInit (Types t)}
1605 | -> Attribute False Optional DOMPointInit
1606 | p4 v = fromUndefOrPrimNoDefault
1619 | -> (y : Optional Double)
1620 | -> (width : Optional Double)
1621 | -> (height : Optional Double)
1623 | new' a b c d = primJS $
1624 | DOMRectInit.prim__new (toFFI a) (toFFI b) (toFFI c) (toFFI d)
1628 | new = primJS $
DOMRectInit.prim__new undef undef undef undef
1634 | -> {auto 0 _ : Elem DOMRectInit (Types t)}
1636 | -> Attribute True Optional Double
1637 | height v = fromUndefOrPrim
1638 | "DOMRectInit.getheight"
1648 | -> {auto 0 _ : Elem DOMRectInit (Types t)}
1650 | -> Attribute True Optional Double
1651 | width v = fromUndefOrPrim
1662 | -> {auto 0 _ : Elem DOMRectInit (Types t)}
1664 | -> Attribute True Optional Double
1676 | -> {auto 0 _ : Elem DOMRectInit (Types t)}
1678 | -> Attribute True Optional Double