[MLton-commit] r6484

Vesa Karvonen vesak at mlton.org
Sat Mar 15 19:33:23 PST 2008


Some fairly frequently used additions to the top level.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml	2008-03-15 20:04:25 UTC (rev 6483)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml	2008-03-16 03:32:10 UTC (rev 6484)
@@ -24,6 +24,10 @@
    val repeat = Basic.repeat
    val undefined = Basic.undefined
 
+   (** == Effect == *)
+
+   val obs = Effect.obs
+
    (** == Exn == *)
 
    val after = Exn.after
@@ -59,6 +63,10 @@
 
    val U = FRU.U
 
+   (** == Iso == *)
+
+   val op <--> = Iso.<-->
+
    (** == Lazy == *)
 
    type 'a lazy = 'a Lazy.t
@@ -68,10 +76,19 @@
    val lazy = Lazy.lazy
    val memo = Lazy.memo
 
+   (** == List == *)
+
+   val pop = List.pop
+   val push = List.push
+
    (** == Option == *)
 
    val isNone = Option.isNone
 
+   (** == Pair == *)
+
+   val swap = Pair.swap
+
    (** == Phantom == *)
 
    type yes = Phantom.yes




More information about the MLton-commit mailing list