@@ -6,12 +6,27 @@ module MJS where
7import Native.MJS
7import Native.MJS
9−data V3 = Fake_V3
9+data V3 = Dummy_V3
10−data M4x4 = Fake_M4x4
10+data M4x4 = Dummy_M4x4
12v3 : Float -> Float -> Float -> V3
12v3 : Float -> Float -> Float -> V3
13v3 = Native.MJS.v3
13v3 = Native.MJS.v3
15+v3add : V3 -> V3 -> V3
16+v3add = Native.MJS.v3add
18+v3length : V3 -> Float
19+v3length = Native.MJS.v3length
21+v3normalize : V3 -> V3
22+v3normalize = Native.MJS.v3normalize
24+v3scale : V3 -> Float -> V3
25+v3scale = Native.MJS.v3scale
27+v3mul4x4 : M4x4 -> V3 -> V3
28+v3mul4x4 = Native.MJS.v3mul4x4
15m4x4identity : M4x4
30m4x4identity : M4x4
16m4x4identity = Native.MJS.m4x4identity
31m4x4identity = Native.MJS.m4x4identity