X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.runtime%2Fscl%2FMList.scl;fp=bundles%2Forg.simantics.scl.runtime%2Fscl%2FMList.scl;h=6cafe6bf4426b6091f8b28488008a451cface46b;hb=969bd23cab98a79ca9101af33334000879fb60c5;hp=0000000000000000000000000000000000000000;hpb=866dba5cd5a3929bbeae85991796acb212338a08;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.scl.runtime/scl/MList.scl b/bundles/org.simantics.scl.runtime/scl/MList.scl
new file mode 100644
index 000000000..6cafe6bf4
--- /dev/null
+++ b/bundles/org.simantics.scl.runtime/scl/MList.scl
@@ -0,0 +1,58 @@
+import "Prelude" as Prelude
+import "JavaBuiltin" as Java
+import "Iterator" as Iterator
+
+importJava "java.util.List" where
+    data T a
+    
+    contains :: T a -> a -> <Proc> Boolean
+    size :: T a -> <Proc> Integer
+    isEmpty :: T a -> <Proc> Boolean
+    get :: T a -> Integer -> <Proc> a
+    
+    add :: T a -> a -> <Proc> ()
+    addAll :: T a -> [a] -> <Proc> ()
+    remove :: T a -> Integer -> <Proc> a
+    clear :: T a -> <Proc> ()
+    
+    @private
+    iterator :: T a -> <Proc> Iterator.T a
+
+removeLast :: T a -> <Proc> Maybe a
+removeLast l = if isEmpty l
+               then Nothing
+               else Just (remove l (Java.isub (size l) 1))
+
+@inline
+iter :: (a -> <e> ()) -> T a -> <e,Proc> ()
+iter f s = Iterator.iter f (iterator s)
+
+@inline
+iterB :: (a -> <e> Boolean) -> T a -> <e,Proc> Boolean
+iterB f s = Iterator.iterB f (iterator s)
+
+@inline
+fold :: (a -> b  -> <e> a) -> a -> T b -> <Proc,e> a
+fold f init s = Iterator.fold f init (iterator s)
+
+importJava "java.util.ArrayList" where
+    @JavaName "<init>"
+    create :: () -> <Proc> T a
+    @JavaName "<init>"
+    createC :: Integer -> <Proc> T a
+
+fromList :: [a] -> <Proc> T a
+fromList l = do
+    result = createC (Prelude.length l)
+    Prelude.iter (\x -> Prelude.ignore (add result x)) l
+    result
+
+singleton :: a -> <Proc> T a
+singleton v = do
+    result = createC 2
+    add result v
+    result
+
+@inline
+freeze :: T a -> <Proc> [a]
+freeze = Java.unsafeCoerce
\ No newline at end of file