]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.scl.runtime/scl/CollectionsPlan.txt
Render last known value in time series chart hairline value tip
[simantics/platform.git] / bundles / org.simantics.scl.runtime / scl / CollectionsPlan.txt
1 // Functions
2 include "Prelude"
3
4 class Collection col where
5     length :: col -> Integer
6
7 class (Collection col) => Sequence col el | col -> el where
8     toList     :: col -> [el]
9     fromList   :: [el] -> col
10     
11     iter       :: (el -> <e> b)       -> col -> <e> ()
12     any        :: (el -> <e> Boolean) -> col -> <e> Boolean
13     all        :: (el -> <e> Boolean) -> col -> <e> Boolean
14     mapFirst   :: (el -> <e> Maybe b) -> col -> <e> Maybe b
15     findFirst  :: (el -> <e> Boolean) -> col -> <e> Maybe el
16     firstIndex :: (el -> <e> Boolean) -> col -> <e> Integer
17
18 /*
19     concatMap :: (a -> <e> [b])     -> [a] -> <e> [b]
20     map       :: (a -> <e> b)       -> [a] -> <e> [b]
21     filter    :: (a -> <e> Boolean) -> [a] -> <e> [b]
22     mapMaybe  :: (a -> <e> Maybe b) -> [a] -> <e> [b]
23 */
24
25 iterN      :: (Integer -> <e> b) -> Integer -> <e> ()
26 anyN       :: (Integer -> <e> Boolean) -> Integer -> <e> Boolean
27 allN       :: (Integer -> <e> Boolean) -> Integer -> <e> Boolean
28 mapFirstN  :: (Integer -> <e> Maybe b) -> Integer -> <e> Maybe b
29 concatMapN :: (Integer -> <e> [b]) -> Integer -> <e> [b]
30 mapN       :: (Integer -> <e> b) -> Integer -> <e> [b]
31 filterN    :: (Integer -> <e> Boolean) -> Integer -> <e> [Integer]
32 mapMaybeN  :: (Integer -> <e> Maybe b) -> Integer -> <e> [b]
33
34 iterVector      :: (a -> <e> b) -> Vector a -> <e> ()
35 anyVector       :: (a -> <e> Boolean) -> Vector a -> <e> Boolean
36 allVector       :: (a -> <e> Boolean) -> Vector a -> <e> Boolean
37 mapFirstVector  :: (a -> <e> Maybe b) -> Vector a -> <e> Maybe b
38 concatMapVector :: (a -> <e> [b]) -> Vector a -> <e> Vector b
39 mapVector       :: (a -> <e> b) -> Vector a -> <e> Vector b
40 filterVector    :: (a -> <e> Boolean) -> Vector a -> <e> Vector b
41 mapMaybeVector  :: (a -> <e> Maybe b) -> Vector a -> <e> Vector b
42
43
44 // Sequence types
45 data [a]           // Java: List<a>
46 data MList a       // mutable, Java: List<a>
47 data Array a       // Java: a[]
48 data MArray a      // mutable, Java: a[]
49 data BoxedArray a  // Java: Object[]
50 data List a = Nil | Cons a (List a)
51 type Vector = Array Double
52
53 // Set types
54 data Set a         // immutable set
55 data MSet a        // Java: Set<a>
56
57 // Map types
58 data Map a b       // immutable map
59 data MMap a b      // Java: Map<a>
60
61 // Advanced
62 data Stream a
63 data FingerTree a
64
65 // Classes
66 class (Additive a a a) => Collection a where
67     empty :: a
68     size :: a -> Integer
69
70 class Foldable c v | c -> v where
71     foldl :: (a -> v -> a) -> a -> c -> a
72
73 class (Collection c) => Indexable c k v | c -> k v where
74     keysOf :: c -> [k]
75     entriesOf :: c -> [(k,v)]
76     valuesOf :: c _> [v]
77     (!) :: c -> k -> v
78
79 // Instances
80
81 instance Indexable [a] Integer a
82 instance Indexable (Array a) Integer a
83 instance Indexable (BoxedArray a) Integer a
84 instance Indexable (List a) Integer a
85 instance Indexable (Map a b) a b
86
87 // ideas:
88 - sequence
89 - map
90 - set