fp2/week2/mart/Map.dcl

   1 definition module Map
   2
   3 //import BinTree
   4 import StdMaybe
   5
   6 class Map c :: (a -> b) (c a) -> c b
   7
   8 instance Map []
   9 instance Map Maybe
  10 //instance Map Tree