@@ -12,9 +12,6 @@ data Program a u = Dummy_Program
12link : Shader a u v -> Shader {} {} v -> Program a u
12link : Shader a u v -> Shader {} {} v -> Program a u
13link = Native.Graphics.WebGL.link
13link = Native.Graphics.WebGL.link
15−-- Binder really should not need a program
16−-- I need runtime type information from something though...
18type Triangle a = (a,a,a)
15type Triangle a = (a,a,a)
20triangle : a -> a -> a -> Triangle a
17triangle : a -> a -> a -> Triangle a
@@ -31,10 +28,6 @@ data Buffer a = Dummy_Buffer
31bind : [Triangle a] -> Buffer a
28bind : [Triangle a] -> Buffer a
32bind = Native.Graphics.WebGL.bind
29bind = Native.Graphics.WebGL.bind
34−-- Now I cheat here because elm lacks existential types or rank-n
35−-- I'm in essense doing the following
36−-- data Model = forall a u. Model (Program a u) (Buffer a) u
38data Model = Dummy_Model
31data Model = Dummy_Model
40encapsulate : Program a u -> Buffer a -> u -> Model
33encapsulate : Program a u -> Buffer a -> u -> Model