Idris2Doc : Web.Raw.Geometry
Definitions
fromFloat32Array : Float32Array -> JSIO DOMMatrix- Totality: total
Visibility: export fromFloat64Array : Float64Array -> JSIO DOMMatrix- Totality: total
Visibility: export fromMatrix' : {auto 0 {conArg:3585} : JSType t1} -> {auto 0 _ : Elem DOMMatrixInit (Types t1)} -> Optional t1 -> JSIO DOMMatrix- Totality: total
Visibility: export fromMatrix : JSIO DOMMatrix- Totality: total
Visibility: export invertSelf : DOMMatrix -> JSIO DOMMatrix- Totality: total
Visibility: export multiplySelf' : {auto 0 {conArg:3622} : JSType t2} -> {auto 0 _ : Elem DOMMatrixInit (Types t2)} -> DOMMatrix -> Optional t2 -> JSIO DOMMatrix- Totality: total
Visibility: export multiplySelf : DOMMatrix -> JSIO DOMMatrix- Totality: total
Visibility: export preMultiplySelf' : {auto 0 {conArg:3659} : JSType t2} -> {auto 0 _ : Elem DOMMatrixInit (Types t2)} -> DOMMatrix -> Optional t2 -> JSIO DOMMatrix- Totality: total
Visibility: export preMultiplySelf : DOMMatrix -> JSIO DOMMatrix- Totality: total
Visibility: export rotateAxisAngleSelf' : DOMMatrix -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export rotateAxisAngleSelf : DOMMatrix -> JSIO DOMMatrix- Totality: total
Visibility: export rotateFromVectorSelf' : DOMMatrix -> Optional Double -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export rotateFromVectorSelf : DOMMatrix -> JSIO DOMMatrix- Totality: total
Visibility: export rotateSelf' : DOMMatrix -> Optional Double -> Optional Double -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export rotateSelf : DOMMatrix -> JSIO DOMMatrix- Totality: total
Visibility: export scale3dSelf' : DOMMatrix -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export scale3dSelf : DOMMatrix -> JSIO DOMMatrix- Totality: total
Visibility: export scaleSelf' : DOMMatrix -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export scaleSelf : DOMMatrix -> JSIO DOMMatrix- Totality: total
Visibility: export setMatrixValue : DOMMatrix -> String -> JSIO DOMMatrix- Totality: total
Visibility: export skewXSelf' : DOMMatrix -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export skewXSelf : DOMMatrix -> JSIO DOMMatrix- Totality: total
Visibility: export skewYSelf' : DOMMatrix -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export skewYSelf : DOMMatrix -> JSIO DOMMatrix- Totality: total
Visibility: export translateSelf' : DOMMatrix -> Optional Double -> Optional Double -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export translateSelf : DOMMatrix -> JSIO DOMMatrix- Totality: total
Visibility: export fromFloat32Array : Float32Array -> JSIO DOMMatrixReadOnly- Totality: total
Visibility: export fromFloat64Array : Float64Array -> JSIO DOMMatrixReadOnly- Totality: total
Visibility: export fromMatrix' : {auto 0 {conArg:4053} : JSType t1} -> {auto 0 _ : Elem DOMMatrixInit (Types t1)} -> Optional t1 -> JSIO DOMMatrixReadOnly- Totality: total
Visibility: export fromMatrix : JSIO DOMMatrixReadOnly- Totality: total
Visibility: export a : {auto 0 {conArg:4084} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export b : {auto 0 {conArg:4112} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export c : {auto 0 {conArg:4140} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export d : {auto 0 {conArg:4168} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export e : {auto 0 {conArg:4196} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export f : {auto 0 {conArg:4224} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export is2D : {auto 0 {conArg:4252} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Bool- Totality: total
Visibility: export isIdentity : {auto 0 {conArg:4284} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Bool- Totality: total
Visibility: export m11 : {auto 0 {conArg:4316} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m12 : {auto 0 {conArg:4344} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m13 : {auto 0 {conArg:4372} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m14 : {auto 0 {conArg:4400} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m21 : {auto 0 {conArg:4428} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m22 : {auto 0 {conArg:4456} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m23 : {auto 0 {conArg:4484} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m24 : {auto 0 {conArg:4512} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m31 : {auto 0 {conArg:4540} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m32 : {auto 0 {conArg:4568} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m33 : {auto 0 {conArg:4596} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m34 : {auto 0 {conArg:4624} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m41 : {auto 0 {conArg:4652} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m42 : {auto 0 {conArg:4680} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m43 : {auto 0 {conArg:4708} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export m44 : {auto 0 {conArg:4736} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export flipX : {auto 0 {conArg:4764} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export flipY : {auto 0 {conArg:4792} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export inverse : {auto 0 {conArg:4820} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export multiply' : {auto 0 {conArg:4848} : JSType t1} -> {auto 0 {conArg:4851} : JSType t2} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> {auto 0 _ : Elem DOMMatrixInit (Types t2)} -> t1 -> Optional t2 -> JSIO DOMMatrix- Totality: total
Visibility: export multiply : {auto 0 {conArg:4900} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export rotateAxisAngle' : {auto 0 {conArg:4929} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export rotateAxisAngle : {auto 0 {conArg:4993} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export rotate' : {auto 0 {conArg:5025} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> Optional Double -> Optional Double -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export rotate : {auto 0 {conArg:5080} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export rotateFromVector' : {auto 0 {conArg:5111} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> Optional Double -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export rotateFromVector : {auto 0 {conArg:5157} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export scale3d' : {auto 0 {conArg:5187} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export scale3d : {auto 0 {conArg:5251} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export scale' : {auto 0 {conArg:5283} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export scale : {auto 0 {conArg:5365} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export scaleNonUniform' : {auto 0 {conArg:5399} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> Optional Double -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export scaleNonUniform : {auto 0 {conArg:5445} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export skewX' : {auto 0 {conArg:5475} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export skewX : {auto 0 {conArg:5512} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export skewY' : {auto 0 {conArg:5541} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export skewY : {auto 0 {conArg:5578} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export toFloat32Array : {auto 0 {conArg:5607} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Float32Array- Totality: total
Visibility: export toFloat64Array : {auto 0 {conArg:5635} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Float64Array- Totality: total
Visibility: export toJSON : {auto 0 {conArg:5663} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO Object- Totality: total
Visibility: export toString : {auto 0 {conArg:5692} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export transformPoint' : {auto 0 {conArg:5720} : JSType t1} -> {auto 0 {conArg:5723} : JSType t2} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> {auto 0 _ : Elem DOMPointInit (Types t2)} -> t1 -> Optional t2 -> JSIO DOMPoint- Totality: total
Visibility: export transformPoint : {auto 0 {conArg:5772} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMPoint- Totality: total
Visibility: export translate' : {auto 0 {conArg:5801} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> Optional Double -> Optional Double -> Optional Double -> JSIO DOMMatrix- Totality: total
Visibility: export translate : {auto 0 {conArg:5856} : JSType t1} -> {auto 0 _ : Elem DOMMatrixReadOnly (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export fromPoint' : {auto 0 {conArg:5887} : JSType t1} -> {auto 0 _ : Elem DOMPointInit (Types t1)} -> Optional t1 -> JSIO DOMPoint- Totality: total
Visibility: export fromPoint : JSIO DOMPoint- Totality: total
Visibility: export fromPoint' : {auto 0 {conArg:5918} : JSType t1} -> {auto 0 _ : Elem DOMPointInit (Types t1)} -> Optional t1 -> JSIO DOMPointReadOnly- Totality: total
Visibility: export fromPoint : JSIO DOMPointReadOnly- Totality: total
Visibility: export w : {auto 0 {conArg:5949} : JSType t1} -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export x : {auto 0 {conArg:5977} : JSType t1} -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export y : {auto 0 {conArg:6005} : JSType t1} -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export z : {auto 0 {conArg:6033} : JSType t1} -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export matrixTransform' : {auto 0 {conArg:6061} : JSType t1} -> {auto 0 {conArg:6064} : JSType t2} -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)} -> {auto 0 _ : Elem DOMMatrixInit (Types t2)} -> t1 -> Optional t2 -> JSIO DOMPoint- Totality: total
Visibility: export matrixTransform : {auto 0 {conArg:6113} : JSType t1} -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)} -> t1 -> JSIO DOMPoint- Totality: total
Visibility: export toJSON : {auto 0 {conArg:6142} : JSType t1} -> {auto 0 _ : Elem DOMPointReadOnly (Types t1)} -> t1 -> JSIO Object- Totality: total
Visibility: export fromQuad' : {auto 0 {conArg:6171} : JSType t1} -> {auto 0 _ : Elem DOMQuadInit (Types t1)} -> Optional t1 -> JSIO DOMQuad- Totality: total
Visibility: export fromQuad : JSIO DOMQuad- Totality: total
Visibility: export fromRect' : {auto 0 {conArg:6202} : JSType t1} -> {auto 0 _ : Elem DOMRectInit (Types t1)} -> Optional t1 -> JSIO DOMQuad- Totality: total
Visibility: export fromRect : JSIO DOMQuad- Totality: total
Visibility: export p1 : DOMQuad -> JSIO DOMPoint- Totality: total
Visibility: export p2 : DOMQuad -> JSIO DOMPoint- Totality: total
Visibility: export p3 : DOMQuad -> JSIO DOMPoint- Totality: total
Visibility: export p4 : DOMQuad -> JSIO DOMPoint- Totality: total
Visibility: export getBounds : DOMQuad -> JSIO DOMRect- Totality: total
Visibility: export toJSON : DOMQuad -> JSIO Object- Totality: total
Visibility: export fromRect' : {auto 0 {conArg:6270} : JSType t1} -> {auto 0 _ : Elem DOMRectInit (Types t1)} -> Optional t1 -> JSIO DOMRect- Totality: total
Visibility: export fromRect : JSIO DOMRect- Totality: total
Visibility: export length : DOMRectList -> JSIO Bits32- Totality: total
Visibility: export item : DOMRectList -> Bits32 -> JSIO (Maybe DOMRect)- Totality: total
Visibility: export fromRect' : {auto 0 {conArg:6324} : JSType t1} -> {auto 0 _ : Elem DOMRectInit (Types t1)} -> Optional t1 -> JSIO DOMRectReadOnly- Totality: total
Visibility: export fromRect : JSIO DOMRectReadOnly- Totality: total
Visibility: export bottom : {auto 0 {conArg:6355} : JSType t1} -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export height : {auto 0 {conArg:6383} : JSType t1} -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export left : {auto 0 {conArg:6411} : JSType t1} -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export right : {auto 0 {conArg:6439} : JSType t1} -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export top : {auto 0 {conArg:6467} : JSType t1} -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export width : {auto 0 {conArg:6495} : JSType t1} -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export x : {auto 0 {conArg:6523} : JSType t1} -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export y : {auto 0 {conArg:6551} : JSType t1} -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export toJSON : {auto 0 {conArg:6579} : JSType t1} -> {auto 0 _ : Elem DOMRectReadOnly (Types t1)} -> t1 -> JSIO Object- Totality: total
Visibility: export new' : Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> JSIO DOMMatrix2DInit- Totality: total
Visibility: export new : JSIO DOMMatrix2DInit- Totality: total
Visibility: export a : {auto 0 {conArg:6734} : JSType t} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export b : {auto 0 {conArg:6772} : JSType t} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export c : {auto 0 {conArg:6810} : JSType t} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export d : {auto 0 {conArg:6848} : JSType t} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export e : {auto 0 {conArg:6886} : JSType t} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export f : {auto 0 {conArg:6924} : JSType t} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export m11 : {auto 0 {conArg:6962} : JSType t} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export m12 : {auto 0 {conArg:7000} : JSType t} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export m21 : {auto 0 {conArg:7038} : JSType t} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export m22 : {auto 0 {conArg:7076} : JSType t} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export m41 : {auto 0 {conArg:7114} : JSType t} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export m42 : {auto 0 {conArg:7152} : JSType t} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export new' : Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Double -> Optional Bool -> JSIO DOMMatrixInit- Totality: total
Visibility: export new : JSIO DOMMatrixInit- Totality: total
Visibility: export is2D : {auto 0 {conArg:7306} : JSType t} -> {auto 0 _ : Elem DOMMatrixInit (Types t)} -> t -> Attribute False Optional Bool- Totality: total
Visibility: export m13 : {auto 0 {conArg:7344} : JSType t} -> {auto 0 _ : Elem DOMMatrixInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export m14 : {auto 0 {conArg:7385} : JSType t} -> {auto 0 _ : Elem DOMMatrixInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export m23 : {auto 0 {conArg:7426} : JSType t} -> {auto 0 _ : Elem DOMMatrixInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export m24 : {auto 0 {conArg:7467} : JSType t} -> {auto 0 _ : Elem DOMMatrixInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export m31 : {auto 0 {conArg:7508} : JSType t} -> {auto 0 _ : Elem DOMMatrixInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export m32 : {auto 0 {conArg:7549} : JSType t} -> {auto 0 _ : Elem DOMMatrixInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export m33 : {auto 0 {conArg:7590} : JSType t} -> {auto 0 _ : Elem DOMMatrixInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export m34 : {auto 0 {conArg:7631} : JSType t} -> {auto 0 _ : Elem DOMMatrixInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export m43 : {auto 0 {conArg:7672} : JSType t} -> {auto 0 _ : Elem DOMMatrixInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export m44 : {auto 0 {conArg:7713} : JSType t} -> {auto 0 _ : Elem DOMMatrixInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export new' : Optional Double -> Optional Double -> Optional Double -> Optional Double -> JSIO DOMPointInit- Totality: total
Visibility: export new : JSIO DOMPointInit- Totality: total
Visibility: export w : {auto 0 {conArg:7800} : JSType t} -> {auto 0 _ : Elem DOMPointInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export x : {auto 0 {conArg:7841} : JSType t} -> {auto 0 _ : Elem DOMPointInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export y : {auto 0 {conArg:7883} : JSType t} -> {auto 0 _ : Elem DOMPointInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export z : {auto 0 {conArg:7925} : JSType t} -> {auto 0 _ : Elem DOMPointInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export new' : {auto 0 {conArg:7966} : JSType t1} -> {auto 0 {conArg:7969} : JSType t2} -> {auto 0 {conArg:7972} : JSType t3} -> {auto 0 {conArg:7975} : JSType t4} -> {auto 0 _ : Elem DOMPointInit (Types t1)} -> {auto 0 _ : Elem DOMPointInit (Types t2)} -> {auto 0 _ : Elem DOMPointInit (Types t3)} -> {auto 0 _ : Elem DOMPointInit (Types t4)} -> Optional t1 -> Optional t2 -> Optional t3 -> Optional t4 -> JSIO DOMQuadInit- Totality: total
Visibility: export new : JSIO DOMQuadInit- Totality: total
Visibility: export p1 : {auto 0 {conArg:8076} : JSType t} -> {auto 0 _ : Elem DOMQuadInit (Types t)} -> t -> Attribute False Optional DOMPointInit- Totality: total
Visibility: export p2 : {auto 0 {conArg:8114} : JSType t} -> {auto 0 _ : Elem DOMQuadInit (Types t)} -> t -> Attribute False Optional DOMPointInit- Totality: total
Visibility: export p3 : {auto 0 {conArg:8152} : JSType t} -> {auto 0 _ : Elem DOMQuadInit (Types t)} -> t -> Attribute False Optional DOMPointInit- Totality: total
Visibility: export p4 : {auto 0 {conArg:8190} : JSType t} -> {auto 0 _ : Elem DOMQuadInit (Types t)} -> t -> Attribute False Optional DOMPointInit- Totality: total
Visibility: export new' : Optional Double -> Optional Double -> Optional Double -> Optional Double -> JSIO DOMRectInit- Totality: total
Visibility: export new : JSIO DOMRectInit- Totality: total
Visibility: export height : {auto 0 {conArg:8274} : JSType t} -> {auto 0 _ : Elem DOMRectInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export width : {auto 0 {conArg:8315} : JSType t} -> {auto 0 _ : Elem DOMRectInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export x : {auto 0 {conArg:8356} : JSType t} -> {auto 0 _ : Elem DOMRectInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export y : {auto 0 {conArg:8398} : JSType t} -> {auto 0 _ : Elem DOMRectInit (Types t)} -> t -> Attribute True Optional Double- Totality: total
Visibility: export