X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;ds=sidebyside;f=bundles%2Forg.simantics.scl.runtime%2Fscl%2FSet.scl;fp=bundles%2Forg.simantics.scl.runtime%2Fscl%2FSet.scl;h=2bf2911c5631cc4e33938711b3a1f6ea86c16007;hb=969bd23cab98a79ca9101af33334000879fb60c5;hp=0000000000000000000000000000000000000000;hpb=866dba5cd5a3929bbeae85991796acb212338a08;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.runtime/scl/Set.scl b/bundles/org.simantics.scl.runtime/scl/Set.scl new file mode 100644 index 000000000..2bf2911c5 --- /dev/null +++ b/bundles/org.simantics.scl.runtime/scl/Set.scl @@ -0,0 +1,23 @@ +import "Iterator" as Iterator + +importJava "java.util.Set" where + data T a + + contains :: T a -> a -> Boolean + size :: T a -> Integer + isEmpty :: T a -> Boolean + + @private + iterator :: T a -> Iterator.T a + +@inline +iter :: (a -> ()) -> T a -> () +iter f s = runProc (Iterator.iter f (iterator s)) + +@inline +iterB :: (a -> Boolean) -> T a -> Boolean +iterB f s = runProc (Iterator.iterB f (iterator s)) + +@inline +fold :: (a -> b -> a) -> a -> T b -> a +fold f init s = runProc (Iterator.fold f init (iterator s))