2 import "JavaBuiltin" as Java
\r
4 class Seq seq el where
\r
5 myLength :: seq -> Integer
\r
6 myGet :: seq -> Integer -> el
\r
8 instance (b ~ Character) => Seq String b where
\r
9 myLength = Java.method "length"
\r
10 myGet = Java.method "charAt"
\r
12 instance (b ~ a) => Seq [a] b where
\r
13 myLength = Java.method "size"
\r
14 myGet = Java.method "get"
\r
16 //main :: (Character, String)
\r
17 main = (myGet "abc" 1, myGet ["a", "b", "c"] 1)
\r