gerrit.simantics Code Review - simantics/platform.git/blob

   1 class Functor f where\r
   2     map :: (a -> b) -> f a -> f b\r
   3 \r
   4 data Iddd a = Idd a\r
   5 \r
   6 instance Functor Idd where\r
   7     map (Idd x) = x\r
   8 --\r
   9 6:18-6:21: Didn't find type constructor Idd.