1 import "Prelude" as Prelude
2 import "JavaBuiltin" as Java
3 import "Iterator" as Iterator
5 importJava "java.util.List" where
8 contains :: T a -> a -> <Proc> Boolean
9 size :: T a -> <Proc> Integer
10 isEmpty :: T a -> <Proc> Boolean
11 get :: T a -> Integer -> <Proc> a
12 set :: T a -> Integer -> a -> <Proc> Maybe a
14 add :: T a -> a -> <Proc> ()
15 addAll :: T a -> [a] -> <Proc> ()
16 remove :: T a -> Integer -> <Proc> a
17 clear :: T a -> <Proc> ()
20 iterator :: T a -> <Proc> Iterator.T a
22 removeLast :: T a -> <Proc> Maybe a
23 removeLast l = if isEmpty l
25 else Just (remove l (Java.isub (size l) 1))
27 "Returns the first element of a list"
29 first :: T a -> <Proc> a
32 "Returns the last element of a list"
34 last :: T a -> <Proc> a
35 last s = get s (Java.isub (size s) 1)
38 iter :: (a -> <e> ()) -> T a -> <e,Proc> ()
39 iter f s = Iterator.iter f (iterator s)
42 iterB :: (a -> <e> Boolean) -> T a -> <e,Proc> Boolean
43 iterB f s = Iterator.iterB f (iterator s)
46 fold :: (a -> b -> <e> a) -> a -> T b -> <Proc,e> a
47 fold f init s = Iterator.fold f init (iterator s)
49 importJava "java.util.ArrayList" where
51 create :: () -> <Proc> T a
53 createC :: Integer -> <Proc> T a
55 fromList :: [a] -> <Proc> T a
57 result = createC (Prelude.length l)
58 Prelude.iter (\x -> Prelude.ignore (add result x)) l
61 singleton :: a -> <Proc> T a
68 freeze :: T a -> <Proc> [a]
69 freeze = Java.unsafeCoerce