[MLton-commit] r4888

[Vesa Karvonen]

Extended top-level.

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

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

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml	2006-11-30 15:55:18 UTC (rev 4887)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml	2006-11-30 15:56:46 UTC (rev 4888)
@@ -6,5 +6,45 @@
 
 (** == Top-Level Bindings == *)
 
+(** === Datatypes === *)
+
 datatype product = datatype Product.product
 datatype sum = datatype Sum.sum
+
+(** === Functions === *)
+
+(** ==== Exn ==== *)
+
+val finally = Exn.finally
+val try = Exn.try
+
+(** ==== Fn ==== *)
+
+val const = Fn.const
+val curry = Fn.curry
+val failing = Fn.failing
+val flip = Fn.flip
+val id = Fn.id
+val pass = Fn.pass
+val uncurry = Fn.uncurry
+val undefined = Fn.undefined
+val op /> = Fn./>
+val op </ = Fn.</
+val op <\ = Fn.<\
+val op >| = Fn.>|
+val op \> = Fn.\>
+val op |< = Fn.|<
+
+(** ==== Option ==== *)
+
+val isNone = Option.isNone
+
+(** ==== Ref ==== *)
+
+val op :=: = Ref.:=:
+
+(** ==== UnPr ==== *)
+
+val andAlso = UnPr.andAlso
+val negate = UnPr.negate
+val orElse = UnPr.orElse