]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.scl.runtime/scl/Iterator.scl
Render last known value in time series chart hairline value tip
[simantics/platform.git] / bundles / org.simantics.scl.runtime / scl / Iterator.scl
1 importJava "java.util.Iterator" where
2     data T a
3     
4     hasNext :: T a -> <Proc> Boolean
5     next :: T a -> <Proc> a
6     remove :: T a -> <Proc> ()
7
8 @inline
9 iter :: (a -> <e> b) -> T a -> <Proc,e> ()
10 iter f it = loop ()
11   where
12     loop _ = 
13         if hasNext it
14         then do
15             f (next it)
16             loop ()
17         else ()
18
19 @inline
20 iterB :: (a -> <e> Boolean) -> T a -> <Proc,e> Boolean
21 iterB f it = loop ()
22   where
23     loop _ = 
24         if hasNext it 
25         then if f (next it)
26              then loop ()
27              else False
28         else True
29
30 @inline
31 filter :: (a -> <e> Boolean) -> T a -> <Proc,e> ()
32 filter f it = loop ()
33   where
34     loop _ = 
35         if hasNext it
36         then do
37             if f (next it)
38             then ()
39             else remove it
40             loop ()
41         else ()
42
43 @inline
44 mapFirst :: (a -> <e> Maybe b) -> T a -> <Proc,e> Maybe b
45 mapFirst f it = loop ()
46   where
47     loop _ = 
48         if hasNext it 
49         then match f (next it) with
50                  Nothing -> loop ()
51                  r -> r
52         else Nothing
53
54 @inline
55 fold :: (a -> b -> <e> a) -> a -> T b -> <Proc,e> a
56 fold f init it = loop init
57   where
58     loop cur =
59         if hasNext it
60         then loop (f cur (next it))
61         else cur
62
63 importJava "java.lang.Iterable" where
64     data Iterable a
65     
66     iterator :: Iterable a -> <Proc> T a