1 importJava "java.util.Iterator" where
4 hasNext :: T a -> <Proc> Boolean
5 next :: T a -> <Proc> a
6 remove :: T a -> <Proc> ()
9 iter :: (a -> <e> b) -> T a -> <Proc,e> ()
20 iterB :: (a -> <e> Boolean) -> T a -> <Proc,e> Boolean
31 mapFirst :: (a -> <e> Maybe b) -> T a -> <Proc,e> Maybe b
32 mapFirst f it = loop ()
36 then match f (next it) with
42 fold :: (a -> b -> <e> a) -> a -> T b -> <Proc,e> a
43 fold f init it = loop init
47 then loop (f cur (next it))
50 importJava "java.lang.Iterable" where
53 iterator :: Iterable a -> <Proc> T a