@effekt-lang/effekt 0.2.1 → 0.3.0

package/libraries/chez/common/immutable/cslist.effekt

@@ -0,0 +1,37 @@
+module immutable/cslist
+
+import list
+import array
+
+// a chez scheme cons list
+extern type CSList[A]
+extern pure def cons[A](el: A, rest: CSList[A]): CSList[A] =
+  chez "(cons ${el} ${rest})"
+
+extern pure def nil[A](): CSList[A] =
+  chez "(list)"
+
+extern pure def isEmpty[A](l: CSList[A]): Bool =
+  chez "(null? ${l})"
+
+// unsafe!
+extern pure def head[A](l: CSList[A]): A =
+  chez "(car ${l})"
+
+// unsafe!
+extern pure def tail[A](l: CSList[A]): CSList[A] =
+  chez "(cdr ${l})"
+
+
+def toChez[A](l: List[A]): CSList[A] = l match {
+  case Nil() => nil()
+  case Cons(a, rest) => cons(a, rest.toChez)
+}
+
+def fromChez[A](l: CSList[A]): List[A] =
+  if (l.isEmpty) Nil() else Cons(l.head, l.tail.fromChez)
+
+// Old From Chez
+// -------------
+extern pure def toArray[A](l: CSList[A]): Array[A] =
+  chez "(list->vector ${l})"

package/libraries/chez/common/mutable/dict.effekt

@@ -0,0 +1,28 @@
+module mutable/dict
+
+// https://cisco.github.io/ChezScheme/csug9.5/compat.html#g148
+extern type Dict[K, V]
+
+extern io def emptyDict[K, V](): Dict[K, V] =
+    chez "(make-eq-hashtable)"
+
+extern io def emptyWeakDict[K, V](): Dict[K, V] =
+    chez "(make-hash-table #t)"
+
+extern io def put[K, V](d: Dict[K, V], key: K, value: V): Unit =
+    chez "(put-hash-table! ${d} ${key} ${value})"
+
+extern io def get[K, V](d: Dict[K, V], key: K, default: V): V =
+    chez "(hashtable-ref ${d} ${key} ${default})"
+
+extern io def unsafeGet[K, V](d: Dict[K, V], key: K): V =
+    chez "(hashtable-ref ${d} ${key} #f)"
+
+extern io def contains[K, V](d: Dict[K, V], key: K): Bool =
+    chez "(hashtable-contains? ${d} ${key})"
+
+extern io def remove[K, V](d: Dict[K, V], key: K): Unit =
+    chez "(remove-hash-table! ${d} ${key})"
+
+def get[K, V](d: Dict[K, V], key: K): Option[V] =
+    undefinedToOption(unsafeGet(d, key))