files/practicum/StdT.icl

   1 implementation module StdT
   2
   3 import StdEnv
   4
   5 ::      T = // implementeer een algebraisch type *of* een record type
   6
   7 instance ==                     T where ==                      // maak implementatie af
   8 instance <                      T where <                       // maak implementatie af
   9
  10 instance zero           T where zero            // maak implementatie af
  11 instance +                      T where +                       // maak implementatie af
  12 instance -                      T where -                       // maak implementatie af
  13
  14 instance toInt          T where toInt           // maak implementatie af
  15 instance fromInt        T where fromInt         // maak implementatie af
  16
  17 instance toString       T where toString        // maak implementatie af
  18 instance fromString     T where fromString      // maak implementatie af