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
13 add :: T a -> a -> <Proc> ()
14 addAll :: T a -> [a] -> <Proc> ()
15 remove :: T a -> Integer -> <Proc> a
16 clear :: T a -> <Proc> ()
19 iterator :: T a -> <Proc> Iterator.T a
21 removeLast :: T a -> <Proc> Maybe a
22 removeLast l = if isEmpty l
24 else Just (remove l (Java.isub (size l) 1))
27 iter :: (a -> <e> ()) -> T a -> <e,Proc> ()
28 iter f s = Iterator.iter f (iterator s)
31 iterB :: (a -> <e> Boolean) -> T a -> <e,Proc> Boolean
32 iterB f s = Iterator.iterB f (iterator s)
35 fold :: (a -> b -> <e> a) -> a -> T b -> <Proc,e> a
36 fold f init s = Iterator.fold f init (iterator s)
38 importJava "java.util.ArrayList" where
40 create :: () -> <Proc> T a
42 createC :: Integer -> <Proc> T a
44 fromList :: [a] -> <Proc> T a
46 result = createC (Prelude.length l)
47 Prelude.iter (\x -> Prelude.ignore (add result x)) l
50 singleton :: a -> <Proc> T a
57 freeze :: T a -> <Proc> [a]
58 freeze = Java.unsafeCoerce