[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