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

   1 import "Prelude"\r
   2 \r
   3 class Container c a b | c -> a, c -> b where\r
   4     get :: c -> a -> b\r
   5 \r
   6 instance Container [a] Integer a where\r
   7     get = (!)\r
   8 \r
   9 main = get [1,2,3,4,5] 3\r
  10 --\r
  11 4