files/practicum/VectorOverloading.dcl

   1 definition module VectorOverloading
   2
   3 import StdEnv
   4
   5 :: Vector2 a = {x0 :: a, x1 :: a}
   6
   7 instance ==   (Vector2 a) | == a
   8 instance zero (Vector2 a) | zero a
   9 instance one  (Vector2 a) | one a
  10 instance ~    (Vector2 a) | ~ a
  11 instance +    (Vector2 a) | + a
  12 instance -    (Vector2 a) | - a
  13 instance *    (Vector2 a) | * a
  14 instance /    (Vector2 a) | / a