files/practicum/VectorOverloading.icl

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