mlton-commit — [MLton-commit] Code commits

[MLton-commit] r4963

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/thunk.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/thunk.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/thunk.sig	2006-12-10 19:16:50 UTC (rev 4962)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/thunk.sig	2006-12-10 19:17:04 UTC (rev 4963)
@@ -1,14 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Utilities for dealing with thunks. *)
-signature THUNK = sig
-   type 'a t = Unit.t -> 'a
-   (** The type of thunks or suspended computations (e.g. {fn () => exp}). *)
-
-   val mk : 'a -> 'a t
-   (** Constant thunk ({thunk x = let val x = x in fn () => x end}). *)
-end

[MLton-commit] r4962

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/fix.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fix.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/fix.sig	2006-12-10 19:16:45 UTC (rev 4961)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/fix.sig	2006-12-10 19:16:50 UTC (rev 4962)
@@ -1,14 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Utilities for dealing with fixpoints. *)
-signature FIX = sig
-   type 'a t = 'a UnOp.t -> 'a
-   (** The type of fixpoint combinators. *)
-
-   exception Fix
-   (** Exception for reporting errors in computing fixpoints. *)
-end

[MLton-commit] r4961

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/bin-op.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/bin-op.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/bin-op.sig	2006-12-10 19:16:40 UTC (rev 4960)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/bin-op.sig	2006-12-10 19:16:45 UTC (rev 4961)
@@ -1,14 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Utilities for dealing with binary operators. *)
-signature BIN_OP = sig
-   type 'a t = 'a Sq.t -> 'a
-   (** Type of binary operators (e.g. {+, -, @, ...}). *)
-
-   val map : ('b, 'a) Iso.t -> 'a t -> 'b t
-   (** Change the sort of a binary operator. *)
-end

[MLton-commit] r4960

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig	2006-12-10 19:16:35 UTC (rev 4959)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig	2006-12-10 19:16:40 UTC (rev 4960)
@@ -1,94 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Extended {MONO_ARRAY} signature. *)
-signature MONO_ARRAY = sig
-   include MONO_ARRAY
-
-   type t = array
-   (** Convenience alias. *)
-
-   val duplicate : t -> t
-   (**
-    * Makes a fresh duplicate of the given array.  {duplicate a} is
-    * equivalent to {tabulate (length a, fn i => sub (a, i))}.
-    *)
-
-   val unfoldi : (Int.t * 'a -> elem * 'a) -> Int.t * 'a -> t * 'a
-   (**
-    * {unfoldi f (n, b)} constructs an array a of length {n}, whose
-    * elements {ai} are determined by the equations {b0 = b} and {(ai,
-    * bi+1) = f (i, bi)}.
-    *)
-
-   (** == Conversions == *)
-
-   val fromPoly : elem Array.t -> t
-   (**
-    * Creates a new monomorphic array from the given polymorphic array.
-    * Specifically, the expression {fromPoly a} is equivalent to the
-    * expression
-    *
-    *> tabulate (Array.length a, fn i => Array.sub (a, i))
-    *)
-
-   val fromVector : vector -> t
-   (**
-    * Creates a new array from the given vector.  Specifically, the
-    * expression {fromVector v} is equivalent to the expression
-    *
-    *> tabulate (Vector.length v, fn i => Vector.sub (v, i))
-    *)
-
-   val toList : t -> elem List.t
-   (**
-    * Generates a list from the given array.  Specifically, the result of
-    * {toList a} is equivalent to {foldr op :: [] a}.
-    *)
-
-   val toPoly : t -> elem Array.t
-   (**
-    * Creates a new polymorphic array from the given monomorphic array.
-    * Specifically, the expression {toPoly a} is equivalent to the
-    * expression
-    *
-    *> Array.tabulate (length a, fn i => Array.sub (a, i))
-    *)
-
-   val toVector : t -> vector
-   (**
-    * Generates a vector from the given array.  Specifically, the result
-    * of {toVector a} is equivalent to
-    *
-    *> MonoVector.tabulate (length a, fn i => sub (a, i))
-    *
-    * where {MonoVector} refers to the home structure of the monomorphic
-    * {vector} type.
-    *)
-
-   (** == Isomorphisms == *)
-
-   val isoList : (t, elem List.t) Iso.t
-   (**
-    * An isomorphism between arrays and lists.  It is always equivalent to
-    * {(toList, fromList)}.  Note that the isomorphism does not preserve
-    * identity.
-    *)
-
-   val isoPoly : (t, elem Array.t) Iso.t
-   (**
-    * An isomorphism between monomorphic and polymorphic arrays.  It is
-    * always equivalent to {(toPoly, fromPoly)}.  Note that the
-    * isomorphism does not preserve identity.
-    *)
-
-   val isoVector : (t, vector) Iso.t
-   (**
-    * An isomorphism between arrays and vectors.  It is always equivalent
-    * to {(toVector, fromVector)}.  Note that the isomorphism does not
-    * preserve identity.
-    *)
-end

[MLton-commit] r4959

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/tie.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/tie.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/tie.sig	2006-12-10 19:16:30 UTC (rev 4958)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/tie.sig	2006-12-10 19:16:35 UTC (rev 4959)
@@ -1,89 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(**
- * A framework for computing fixpoints.
- *
- * In a strict language you sometimes want to provide a fixpoint
- * combinator for an abstract type {t} to make it possible to write
- * recursive definitions.  Unfortunately, a single combinator {fix} of the
- * type {(t -> t) -> t} does not support mutual recursion.  To support
- * mutual recursion, you would need to provide a family of fixpoint
- * combinators having types of the form {(u -> u) -> u} where {u} is a
- * type of the form {t * ... * t}.  Unfortunately, even such a family of
- * fixpoint combinators does not support mutual recursion over different
- * abstract types.
- *
- * See also: http://mlton.org/Fixpoints
- *)
-signature TIE = sig
-   type 'a t_domain
-   type 'a t_range
-   type 'a t = 'a t_domain -> 'a t_range
-   (**
-    * The type of fixpoint tiers.
-    *
-    * The type constructors {t_domain} and {t_range} are used to expose
-    * the arrow {->} type constructor (to allow eta-expansion) while
-    * preventing clients from actually applying tiers.
-    *)
-
-   val fix : 'a t -> 'a Fix.t
-   (**
-    * Produces a fixpoint combinator from the given tier.  For example,
-    * given a module {Fn} implementing a tier {Fn.Y} for functions, one
-    * could make a mutually recursive definition of functions:
-    *
-    *> val isEven & isOdd =
-    *>     let open Tie in fix (Fn *` Fn) end
-    *>        (fn isEven & isOdd =>
-    *>            (fn 0w0 => true
-    *>              | 0w1 => false
-    *>              | n => isOdd (n-0w1)) &
-    *>            (fn 0w0 => false
-    *>              | 0w1 => true
-    *>              | n => isEven (n-0w1)))
-    *)
-
-   val pure : ('a * 'a UnOp.t) Thunk.t -> 'a t
-   (**
-    * {pure} is a more general version of {tier}.  It is mostly useful for
-    * computing fixpoints in a non-imperative manner.
-    *)
-
-   val tier : ('a * 'a Effect.t) Thunk.t -> 'a t
-   (**
-    * {tier} is used to define fixpoint tiers for new abstract types by
-    * providing a thunk whose instantiation allocates a fresh "knot" and a
-    * procedure for "tying" it.
-    *)
-
-   val iso : 'b t -> ('a, 'b) Iso.t -> 'a t
-   (**
-    * Given an isomorphism between {'a} and {'b} and a tier for {'b},
-    * produces a tier for {'a}.  This is useful when you have a new type
-    * that is isomorphic to some old type for which you already have a
-    * tier.
-    *)
-
-   val *` : 'a t * 'b t -> ('a, 'b) Product.t t
-   (**
-    * Given tiers for {'a} and {'b} produces a tier for the product {('a,
-    * 'b) Product.t}.  This is used when mutual recursion is needed.
-    *)
-
-   val tuple2 : 'a t * 'b t -> ('a * 'b) t
-   (**
-    * Given tiers for {'a} and {'b} produces a tier for the product {'a *
-    * 'b}.
-    *)
-
-   val option : 'a Option.t t
-   (** Tier for options. *)
-
-   val function : ('a -> 'b) t
-   (** Tier for functions. *)
-end

[MLton-commit] r4958

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array-slice.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array-slice.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array-slice.sig	2006-12-10 19:16:21 UTC (rev 4957)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array-slice.sig	2006-12-10 19:16:30 UTC (rev 4958)
@@ -1,13 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Extended {MONO_ARRAY_SLICE} signature. *)
-signature MONO_ARRAY_SLICE = sig
-   include MONO_ARRAY_SLICE
-
-   type t = slice
-   (** Convenience alias. *)
-end

[MLton-commit] r4957

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlton.sml

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlton.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlton.sml	2006-12-10 19:16:14 UTC (rev 4956)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlton.sml	2006-12-10 19:16:21 UTC (rev 4957)
@@ -1,142 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** == MLton specific extensions == *)
-
-structure BoolArray : MONO_ARRAY = BoolArray
-structure BoolArraySlice : MONO_ARRAY_SLICE = BoolArraySlice
-structure BoolVector : MONO_VECTOR = BoolVector
-structure BoolVectorSlice : MONO_VECTOR_SLICE = BoolVectorSlice
-structure FixedInt : INTEGER = FixedInt
-structure Int1 : INTEGER = Int1
-structure Int10 : INTEGER = Int10
-structure Int11 : INTEGER = Int11
-structure Int12 : INTEGER = Int12
-structure Int13 : INTEGER = Int13
-structure Int14 : INTEGER = Int14
-structure Int15 : INTEGER = Int15
-structure Int16 : INTEGER = Int16
-structure Int16Array : MONO_ARRAY = Int16Array
-structure Int16ArraySlice : MONO_ARRAY_SLICE = Int16ArraySlice
-structure Int16Vector : MONO_VECTOR = Int16Vector
-structure Int16VectorSlice : MONO_VECTOR_SLICE = Int16VectorSlice
-structure Int17 : INTEGER = Int17
-structure Int18 : INTEGER = Int18
-structure Int19 : INTEGER = Int19
-structure Int2 : INTEGER = Int2
-structure Int20 : INTEGER = Int20
-structure Int21 : INTEGER = Int21
-structure Int22 : INTEGER = Int22
-structure Int23 : INTEGER = Int23
-structure Int24 : INTEGER = Int24
-structure Int25 : INTEGER = Int25
-structure Int26 : INTEGER = Int26
-structure Int27 : INTEGER = Int27
-structure Int28 : INTEGER = Int28
-structure Int29 : INTEGER = Int29
-structure Int3 : INTEGER = Int3
-structure Int30 : INTEGER = Int30
-structure Int31 : INTEGER = Int31
-structure Int32 : INTEGER = Int32
-structure Int32Array : MONO_ARRAY = Int32Array
-structure Int32ArraySlice : MONO_ARRAY_SLICE = Int32ArraySlice
-structure Int32Vector : MONO_VECTOR = Int32Vector
-structure Int32VectorSlice : MONO_VECTOR_SLICE = Int32VectorSlice
-structure Int4 : INTEGER = Int4
-structure Int5 : INTEGER = Int5
-structure Int6 : INTEGER = Int6
-structure Int64 : INTEGER = Int64
-structure Int64Array : MONO_ARRAY = Int64Array
-structure Int64ArraySlice : MONO_ARRAY_SLICE = Int64ArraySlice
-structure Int64Vector : MONO_VECTOR = Int64Vector
-structure Int64VectorSlice : MONO_VECTOR_SLICE = Int64VectorSlice
-structure Int7 : INTEGER = Int7
-structure Int8 : INTEGER = Int8
-structure Int8Array : MONO_ARRAY = Int8Array
-structure Int8ArraySlice : MONO_ARRAY_SLICE = Int8ArraySlice
-structure Int8Vector : MONO_VECTOR = Int8Vector
-structure Int8VectorSlice : MONO_VECTOR_SLICE = Int8VectorSlice
-structure Int9 : INTEGER = Int9
-structure IntArray : MONO_ARRAY = IntArray
-structure IntArraySlice : MONO_ARRAY_SLICE = IntArraySlice
-structure IntInf : INT_INF = IntInf
-structure IntVector : MONO_VECTOR = IntVector
-structure IntVectorSlice : MONO_VECTOR_SLICE = IntVectorSlice
-structure LargeIntArray : MONO_ARRAY = LargeIntArray
-structure LargeIntArraySlice : MONO_ARRAY_SLICE = LargeIntArraySlice
-structure LargeIntVector : MONO_VECTOR = LargeIntVector
-structure LargeIntVectorSlice : MONO_VECTOR_SLICE = LargeIntVectorSlice
-structure LargeRealArray : MONO_ARRAY = LargeRealArray
-structure LargeRealArraySlice : MONO_ARRAY_SLICE = LargeRealArraySlice
-structure LargeRealVector : MONO_VECTOR = LargeRealVector
-structure LargeRealVectorSlice : MONO_VECTOR_SLICE = LargeRealVectorSlice
-structure LargeWordArray : MONO_ARRAY = LargeWordArray
-structure LargeWordArraySlice : MONO_ARRAY_SLICE = LargeWordArraySlice
-structure LargeWordVector : MONO_VECTOR = LargeWordVector
-structure LargeWordVectorSlice : MONO_VECTOR_SLICE = LargeWordVectorSlice
-structure Real32 : REAL = Real32
-structure Real32Array : MONO_ARRAY = Real32Array
-structure Real32ArraySlice : MONO_ARRAY_SLICE = Real32ArraySlice
-structure Real32Vector : MONO_VECTOR = Real32Vector
-structure Real32VectorSlice : MONO_VECTOR_SLICE = Real32VectorSlice
-structure Real64 : REAL = Real64
-structure Real64Array : MONO_ARRAY = Real64Array
-structure Real64ArraySlice : MONO_ARRAY_SLICE = Real64ArraySlice
-structure Real64Vector : MONO_VECTOR = Real64Vector
-structure Real64VectorSlice : MONO_VECTOR_SLICE = Real64VectorSlice
-structure RealArray : MONO_ARRAY = RealArray
-structure RealArraySlice : MONO_ARRAY_SLICE = RealArraySlice
-structure RealVector : MONO_VECTOR = RealVector
-structure RealVectorSlice : MONO_VECTOR_SLICE = RealVectorSlice
-structure SysWord : WORD = SysWord
-structure Word1 : WORD = Word1
-structure Word10 : WORD = Word10
-structure Word11 : WORD = Word11
-structure Word12 : WORD = Word12
-structure Word13 : WORD = Word13
-structure Word14 : WORD = Word14
-structure Word15 : WORD = Word15
-structure Word16 : WORD = Word16
-structure Word16Array : MONO_ARRAY = Word16Array
-structure Word16ArraySlice : MONO_ARRAY_SLICE = Word16ArraySlice
-structure Word16Vector : MONO_VECTOR = Word16Vector
-structure Word16VectorSlice : MONO_VECTOR_SLICE = Word16VectorSlice
-structure Word17 : WORD = Word17
-structure Word18 : WORD = Word18
-structure Word19 : WORD = Word19
-structure Word2 : WORD = Word2
-structure Word20 : WORD = Word20
-structure Word21 : WORD = Word21
-structure Word22 : WORD = Word22
-structure Word23 : WORD = Word23
-structure Word24 : WORD = Word24
-structure Word25 : WORD = Word25
-structure Word26 : WORD = Word26
-structure Word27 : WORD = Word27
-structure Word28 : WORD = Word28
-structure Word29 : WORD = Word29
-structure Word3 : WORD = Word3
-structure Word30 : WORD = Word30
-structure Word31 : WORD = Word31
-structure Word32 : WORD = Word32
-structure Word32Array : MONO_ARRAY = Word32Array
-structure Word32ArraySlice : MONO_ARRAY_SLICE = Word32ArraySlice
-structure Word32Vector : MONO_VECTOR = Word32Vector
-structure Word32VectorSlice : MONO_VECTOR_SLICE = Word32VectorSlice
-structure Word4 : WORD = Word4
-structure Word5 : WORD = Word5
-structure Word6 : WORD = Word6
-structure Word64 : WORD = Word64
-structure Word64Array : MONO_ARRAY = Word64Array
-structure Word64ArraySlice : MONO_ARRAY_SLICE = Word64ArraySlice
-structure Word64Vector : MONO_VECTOR = Word64Vector
-structure Word64VectorSlice : MONO_VECTOR_SLICE = Word64VectorSlice
-structure Word7 : WORD = Word7
-structure Word9 : WORD = Word9
-structure WordArray : MONO_ARRAY = WordArray
-structure WordArraySlice : MONO_ARRAY_SLICE = WordArraySlice
-structure WordVector : MONO_VECTOR = WordVector
-structure WordVectorSlice : MONO_VECTOR_SLICE = WordVectorSlice

[MLton-commit] r4956

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig	2006-12-10 19:16:04 UTC (rev 4955)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig	2006-12-10 19:16:14 UTC (rev 4956)
@@ -1,19 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Extended {SUBSTRING} signature. *)
-signature SUBSTRING = sig
-   include SUBSTRING
-
-   type t = substring
-   (** Convenience alias. *)
-
-   val length : t -> Int.t
-   (**
-    * Returns the size of the given substring.  This is equivalent to
-    * {size}.
-    *)
-end

[MLton-commit] r4955

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/product.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/product.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/product.sig	2006-12-10 19:15:55 UTC (rev 4954)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/product.sig	2006-12-10 19:16:04 UTC (rev 4955)
@@ -1,18 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(**
- * A general purpose product datatype.
- *
- * A product datatype is useful for reducing the inconvenience of matching
- * nested products in combinator libraries (e.g. parser combinators).
- *)
-signature PRODUCT = sig
-   datatype ('a, 'b) product = & of 'a * 'b
-
-   include PRODUCT_TYPE
-      where type ('a, 'b) t = ('a, 'b) product
-end

[MLton-commit] r4954

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

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

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml	2006-12-10 19:14:55 UTC (rev 4953)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml	2006-12-10 19:15:55 UTC (rev 4954)
@@ -1,50 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** == 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

[MLton-commit] r4953

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/cmp.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/cmp.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/cmp.sig	2006-12-10 19:14:43 UTC (rev 4952)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/cmp.sig	2006-12-10 19:14:55 UTC (rev 4953)
@@ -1,34 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Utilities for dealing with compare functions or orderings. *)
-signature CMP = sig
-   type 'a t = 'a Sq.t -> Order.t
-   (**
-    * Type of compare functions or orderings (e.g. {Int.compare,
-    * String.compare, ...}).
-    *)
-
-   val map : ('b -> 'a) -> 'a t -> 'b t
-   (** Changes the domain of an ordering. *)
-
-   val mkRelOps : 'a t -> {<  : 'a BinPr.t, <= : 'a BinPr.t,
-                           >  : 'a BinPr.t, >= : 'a BinPr.t,
-                           == : 'a BinPr.t, != : 'a BinPr.t}
-   (** Given an ordering, returns a record of relational operators. *)
-
-   val max : 'a t -> 'a BinOp.t
-   (**
-    * Given an ordering, returns a function that returns the greater of
-    * its arguments.
-    *)
-
-   val min : 'a t -> 'a BinOp.t
-   (**
-    * Given an ordering, returns a function that returns the lesser of its
-    * arguments.
-    *)
-end

[MLton-commit] r4952

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig	2006-12-10 19:14:29 UTC (rev 4951)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig	2006-12-10 19:14:43 UTC (rev 4952)
@@ -1,39 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Extended {CHAR} signature. *)
-signature CHAR = sig
-   include CHAR
-
-   type t = char
-   (** Convenience alias. *)
-
-   (** == Bounds == *)
-
-   val minOrd : Int.t
-   (** The least character code.  It always equals {0}. *)
-
-   val boundsChar : t Sq.t
-   (**
-    * Pair of the least and greatest characters.  It always equals
-    * {(minChar, maxChar)}.
-    *)
-
-   val boundsOrd : Int.t Sq.t
-   (**
-    * Pair of the least and greatest character codes.  It always equals
-    * {(minOrd, maxOrd)}.
-    *)
-
-   (** == Isomorphisms == *)
-
-   val isoInt : (t, Int.t) Iso.t
-   (**
-    * An isomorphism between characters and character codes.  It always
-    * equals {(ord, chr)}.  Note that the projection part of the
-    * isomorphism, namely {chr}, is likely to be a partial function.
-    *)
-end

[MLton-commit] r4951

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/ref.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/ref.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/ref.sig	2006-12-10 19:14:20 UTC (rev 4950)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/ref.sig	2006-12-10 19:14:29 UTC (rev 4951)
@@ -1,61 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Utilities for dealing with references. *)
-signature REF = sig
-   type 'a t
-   (**
-    * The type of references.  This is left abstract to allow for
-    * different types of references.  In particular, in addition to the
-    * built-in references of SML, one could implement, in a suitable
-    * extension to SML, a type of references whose various operations
-    * would be guaranteed to be atomic.
-    *)
-
-   val new : 'a -> 'a t
-   (** Creates a new reference to the given value. *)
-
-   val ! : 'a t -> 'a
-   (** Returns the value referred to by the given reference. *)
-
-   val := : ('a t * 'a) Effect.t
-   (** {r := v} makes the reference {r} refer to the value {v}.  *)
-
-   val :=: : 'a t Sq.t Effect.t
-   (**
-    * Swaps the values referred to by the given references.  Ignoring
-    * concurrency, {r1 :=: r2} is equivalent to
-    *
-    *> let
-    *>    val v1 = !r1
-    *>    val v2 = !r2
-    *> in
-    *>    r1 := v2
-    *>  ; r2 := v1
-    *> end
-    *)
-
-   val exchange : 'a t * 'a -> 'a
-   (**
-    * Ignoring concurrency, {exchange (r, v)} is equivalent to {!r before
-    * r := v}.
-    *)
-
-   val app : 'a Effect.t -> 'a t Effect.t
-   (** {app ef r} is equivalent to {ef (!r)}. *)
-
-   val map : ('a -> 'b) -> 'a t -> 'b t
-   (** {map f r} is equivalent to {new (f (!r))}. *)
-
-   val modify : 'a UnOp.t -> 'a t Effect.t
-   (** Ignoring concurrency, {modify f r} is equivalent to {r := f (!r)}. *)
-
-   val equal : 'a t BinPr.t
-   (**
-    * Returns true if the given references were, in fact, created by a
-    * single call to {new}.  This is equivalent to {op =}.
-    *)
-end

[MLton-commit] r4950

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig	2006-12-10 19:14:13 UTC (rev 4949)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig	2006-12-10 19:14:20 UTC (rev 4950)
@@ -1,120 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Extended {LIST} signature. *)
-signature LIST = sig
-   include LIST
-
-   type 'a t = 'a list
-   (** Convenience alias. *)
-
-   (** == Basic == *)
-
-   val sub : 'a t * Int.t -> 'a
-   (**
-    * {sub (l, i)} returns the {i}th element of the list {l}.  This is
-    * equivalent to {nth}.
-    *)
-
-   val init : 'a t UnOp.t
-   (**
-    * Return all the elements of a list except the last one.  Raises
-    * {Empty} if the list is empty.
-    *)
-
-   (** == Transformations == *)
-
-   val intersperse : 'a -> 'a t UnOp.t
-   (**
-    * {intersperse d l} forms the list {[sub (l, 0), d, sub (l, 1), d,
-    * ..., d, sub (l, n-1)]} where {n = length l}.
-    *)
-
-   val transpose : 'a t t UnOp.t
-   (** Transposes the rows and columns of its argument. *)
-
-   val index : 'a t -> (Int.t * 'a) t
-   (**
-    * {index l} returns the list {[(0, sub (l, 0)), (1, sub (l, 1)), ...,
-    * (n-1, sub (l, n-1))]} where {n = length l} is the length of the
-    * given list.
-    *)
-
-   (** == Stack == *)
-
-   val push : ('a t Ref.t * 'a) Effect.t
-   val pop : 'a t Ref.t -> 'a Option.t
-
-   (** == HOFs == *)
-
-   val foldl1 : 'a BinOp.t -> 'a t -> 'a
-   val foldr1 : 'a BinOp.t -> 'a t -> 'a
-
-   val appr : 'a Effect.t -> 'a t Effect.t
-   (** {appr f l} applies {f} to the elements of {l}, from right to left. *)
-
-   val concatMap : ('a -> 'b t) -> 'a t -> 'b t
-
-   (** == Indexed HOFs == *)
-
-   val appi : (Int.t * 'a) Effect.t -> 'a t Effect.t
-   val appri : (Int.t * 'a) Effect.t -> 'a t Effect.t
-   val concatMapi : (Int.t * 'a -> 'b t) -> 'a t -> 'b t
-   val mapi : (Int.t * 'a -> 'b) -> 'a t -> 'b t
-   val mapiPartial : (Int.t * 'a -> 'b Option.t) -> 'a t -> 'b t
-   val foldli : (Int.t * 'a * 'b -> 'b) -> 'b -> 'a t -> 'b
-   val foldri : (Int.t * 'a * 'b -> 'b) -> 'b -> 'a t -> 'b
-   val alli : (Int.t * 'a) UnPr.t -> 'a t UnPr.t
-   val existsi : (Int.t * 'a) UnPr.t -> 'a t UnPr.t
-   val findi : (Int.t * 'a) UnPr.t -> 'a t -> (Int.t * 'a) Option.t
-
-   (** == Special Folds == *)
-
-   val maximum : 'a Cmp.t -> 'a t -> 'a
-   val minimum : 'a Cmp.t -> 'a t -> 'a
-
-   (** == Unfolding == *)
-
-   val unfoldl : ('a -> ('b * 'a) Option.t) -> 'a -> 'b list
-   val unfoldl' : ('a -> ('b * 'a) Option.t) -> 'a -> 'b list * 'a
-   val unfoldr : ('a -> ('b * 'a) Option.t) -> 'a -> 'b list
-   val unfoldr' : ('a -> ('b * 'a) Option.t) -> 'a -> 'b list * 'a
-
-   (** == Extracting sublists == *)
-
-   val split : 'a t * Int.t -> 'a t Sq.t
-   (**
-    * {split (l, i)} returns a pair f the first {i} and last {length l -
-    * i} elements of the list {l}.  Raises {Subscript} if {i < 0 orelse
-    * length l < i}.  Specifically, {split (l, n) = (take (l, n), drop (l,
-    * n))}.
-    *)
-
-   val takeWhile : 'a UnPr.t -> 'a t UnOp.t
-   (**
-    * {takeWhile p xs} returns the longest prefix of {xs} of elements that
-    * satisfy {p}.
-    *)
-
-   val dropWhile : 'a UnPr.t -> 'a t UnOp.t
-   (** {dropWhile p xs} returns the suffix remaining after {takeWhile p xs}. *)
-
-   val span : 'a UnPr.t -> 'a t -> 'a t Sq.t
-   (** {span p xs = (takeWhile p xs, dropWhile p xs)}. *)
-
-   (** == Set Operations == *)
-
-   val contains : ''a t -> ''a UnPr.t
-   (** {contains l x = exists (x <\ op =) l} *)
-
-   (** == Equality == *)
-
-   val equal : 'a BinPr.t -> 'a t BinPr.t
-   (**
-    * Given an equality predicate on an element type returns an equality
-    * predicate on lists of the element type.
-    *)
-end

[MLton-commit] r4949

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-smlnj.sml

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-smlnj.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-smlnj.sml	2006-12-10 19:14:00 UTC (rev 4948)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-smlnj.sml	2006-12-10 19:14:13 UTC (rev 4949)
@@ -1,26 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** == SML/NJ specific extensions == *)
-
-structure FixedInt : INTEGER = FixedInt
-structure Int31 : INTEGER = Int31
-structure Int32 : INTEGER = Int32
-structure Int64 : INTEGER = Int64
-structure IntInf : INT_INF = IntInf
-structure Real64 : REAL = Real64
-structure Real64Array : MONO_ARRAY = Real64Array
-structure Real64ArraySlice : MONO_ARRAY_SLICE = Real64ArraySlice
-structure Real64Vector : MONO_VECTOR = Real64Vector
-structure Real64VectorSlice : MONO_VECTOR_SLICE = Real64VectorSlice
-structure RealArray : MONO_ARRAY = RealArray
-structure RealArraySlice : MONO_ARRAY_SLICE = RealArraySlice
-structure RealVector : MONO_VECTOR = RealVector
-structure RealVectorSlice : MONO_VECTOR_SLICE = RealVectorSlice
-structure SysWord : WORD = SysWord
-structure Word31 : WORD = Word31
-structure Word32 : WORD = Word32
-structure Word64 : WORD = Word64

[MLton-commit] r4948

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/word.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/word.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/word.sig	2006-12-10 19:13:48 UTC (rev 4947)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/word.sig	2006-12-10 19:14:00 UTC (rev 4948)
@@ -1,189 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Extended {WORD} signature. *)
-signature WORD = sig
-   include WORD
-
-   type t = word
-   (** Convenience alias. *)
-
-   (** == Bounds == *)
-
-   val numBytes : Int.t
-   (**
-    * The number of bytes (8-bit words) it takes to store a {word}.  This
-    * is always equal to {(wordSize + 7) quot 8}.
-    *)
-
-   val maxWord : t
-   (**
-    * The maximal representable {word}.  This is always equal to {fromInt
-    * ~1}.
-    *)
-
-   val minWord : t
-   (** The minimal representable {word}.  This is always {0w0}. *)
-
-   val bounds : t Sq.t
-   (**
-    * Pair of the minimal and maximal representable {word}s.  This is
-    * always equal to {(minWord, maxWord)}.
-    *)
-
-   (** == Conversions == *)
-
-   val fromBigBytes : Word8Vector.t -> t
-   (**
-    * Converts a vector of bytes in big-endian order to a word.  Raises
-    * {Subscript} if the length of the given vector is not equal to
-    * {numBytes}.  Extra bits, if any, in the most significant byte are
-    * ignored.
-    *)
-
-   val fromLittleBytes : Word8Vector.t -> t
-   (**
-    * Converts a vector of bytes in little-endian order to a word.  Raises
-    * {Subscript} if the length of the given vector is not equal to
-    * {numBytes}.  Extra bits, if any, in the most significant byte are
-    * ignored.
-    *)
-
-   val fromWord : Word.t -> t
-   (**
-    * Converts the given word {w : Word.t} to the value {w(mod
-    * (2^wordSize))} of type {word}.  This has the effect of taking the
-    * low-order {wordSize} bits of the 2's complement representation of
-    * {w}.
-    *)
-
-   val fromWordX : Word.t -> t
-   (**
-    * Converts the given word {w : Word.t} to a value of type {word}.
-    * {w} is ``sign-extended,'' i.e., the {min (Word.wordSize, wordSize)}
-    * low-order bits of {w} and {fromWordX w} are the same, and the
-    * remaining bits of {fromWordX w} are all equal to the most
-    * significant bit of {w}.
-    *)
-
-   val toBigBytes : t -> Word8Vector.t
-   (**
-    * Converts the given word to a vector of bytes in big-endian order.
-    * Extra bits, if any, in the most significant byte will be set to
-    * zeroes.
-    *)
-
-   val toLittleBytes : t -> Word8Vector.t
-   (**
-    * Converts the given word to a vector of bytes in little-endian order.
-    * Extra bits, if any, in the most significant byte will be set to
-    * zeroes.
-    *)
-
-   val toWord : t -> Word.t
-   (**
-    * Converts the given word {w : word} to the value {w(mod
-    * (2^Word.wordSize))} of type {Word.t}.  This has the effect of
-    * taking the low-order {Word.wordSize} bits of the 2's complement
-    * representation of {w}.
-    *)
-
-   val toWordX : t -> Word.t
-   (**
-    * Converts the given word {w : word} to a value of type {Word.t}.
-    * {w} is ``sign-extended,'' i.e., the {min (Word.wordSize, wordSize)}
-    * low-order bits of {w} and {toWordX w} are the same, and the
-    * remaining bits of {toWordX w} are all equal to the most significant
-    * bit of {w}.
-    *)
-
-   (** == Embeddings == *)
-
-   val embString : (t, String.t) Emb.t
-   (**
-    * An embedding of words into strings.  It is always equivalent to
-    * {(toString, fromString)}.
-    *)
-
-   (** == Isomorphisms == *)
-
-   val isoBigBytes : (t, Word8Vector.t) Iso.t
-   (**
-    * An isomorphism between words and byte vectors.  It is always
-    * equivalent to {(toBigBytes, fromBigBytes)}.
-    *)
-
-   val isoInt : (t, Int.t) Iso.t
-   (**
-    * An isomorphism between words of type {word} and the default integer
-    * type.  It is always equivalent to {(toInt, fromInt)}.
-    *)
-
-   val isoIntX : (t, Int.t) Iso.t
-   (**
-    * An isomorphism between words of type {word} and the default integer
-    * type.  It is always equivalent to {(toIntX, fromInt)}.
-    *)
-
-   val isoLarge : (t, LargeWord.t) Iso.t
-   (**
-    * An isomorphism between words of type {word} and the {LargeWord.t}
-    * type.  It is always equivalent to {(toLarge, fromLarge)}.
-    *)
-
-   val isoLargeInt : (t, LargeInt.t) Iso.t
-   (**
-    * An isomorphism between words of type {word} and the {LargeInt.t}
-    * type.  It is always equivalent to {(toLargeInt, fromLargeInt)}.
-    *)
-
-   val isoLargeIntX : (t, LargeInt.t) Iso.t
-   (**
-    * An isomorphism between words of type {word} and the {LargeInt.t}
-    * type.  It is always equivalent to {(toLargeIntX, fromLargeInt)}.
-    *)
-
-   val isoLargeX : (t, LargeWord.t) Iso.t
-   (**
-    * An isomorphism between words of type {word} and the {LargeWord.t}
-    * type.  It is always equivalent to {(toLargeX, fromLarge)}.
-    *)
-
-   val isoLittleBytes : (t, Word8Vector.t) Iso.t
-   (**
-    * An isomorphism between words and byte vectors.  It is always
-    * equivalent to {(toLittleBytes, fromLittleBytes)}.
-    *)
-
-   val isoWord : (t, Word.t) Iso.t
-   (**
-    * An isomorphism between words of type {word} and the default word
-    * type.  It is always equivalent to {(toWord, fromWord)}.
-    *)
-
-   val isoWordX : (t, Word.t) Iso.t
-   (**
-    * An isomorphism between words of type {word} and the default word
-    * type.  It is always equivalent to {(toWordX, fromWordX)}.
-    *)
-
-   (** == Predicates == *)
-
-   val isEven : t -> Bool.t
-   (**
-    * Returns true if the given word is of the form {0w2*n} for some
-    * word {n}.
-    *)
-
-   val isOdd : t -> Bool.t
-   (**
-    * Returns true if the given word is of the form {0w2*n+0w1} for some
-    * word {n}.
-    *)
-
-   val isZero : t -> Bool.t
-   (** Returns true if the given word is {0w0}. *)
-end

[MLton-commit] r4947

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/buffer.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/buffer.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/buffer.sig	2006-12-10 19:13:15 UTC (rev 4946)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/buffer.sig	2006-12-10 19:13:48 UTC (rev 4947)
@@ -1,105 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Imperative dynamically growing buffer. *)
-signature BUFFER = sig
-   type 'a t
-   (** The type of buffers. *)
-
-   (** == Constructors == *)
-
-   val new : 'a t Thunk.t
-   (** Creates a new empty buffer. *)
-
-   val duplicate : 'a t UnOp.t
-   (**
-    * Creates a new duplicate of the buffer.  {duplicate b} is equivalent
-    * to {let val b' = new () in pushBuffer (b', b) end}.
-    *)
-
-   (** == Accessors == *)
-
-   val isEmpty : 'a t UnPr.t
-   (** {isEmpty b} is equivalent to {0 = length b}. *)
-
-   val length : 'a t -> Int.t
-   (** Returns the number of elements pushed into the buffer. *)
-
-   val sub : 'a t * Int.t -> 'a
-   (**
-    * {sub (b, i)} returns the {i}th element of the buffer {b}.  If {i <
-    * 0} or {length b <= i}, then the {Subscript} exception is raised.
-    *)
-
-   (** == Conversions == *)
-
-   val toArray : 'a t -> 'a Array.t
-   (**
-    * Creates a new array of the contents of the buffer.  {toArray b} is
-    * equivalent to {Array.fromList (toList b)}.
-    *)
-
-   val toList : 'a t -> 'a List.t
-   (**
-    * Returns the contents of the buffer as a list.  {toList b} is
-    * equivalent to {List.tabulate (length b, b <\ sub)}.
-    *)
-
-   val toVector : 'a t -> 'a Vector.t
-   (**
-    * Returns the contents of the buffer as a vector.  {toVector b} is
-    * equivalent to {Vector.fromList (toList b)}.
-    *)
-
-   (** == Adding Elements to a Buffer == *)
-
-   val push : ('a t * 'a) Effect.t
-   (**
-    * Adds an element to the tail of the buffer.  More precisely, after
-    *
-    *> val cb = toList b
-    *> val () = push (b, v)
-    *> val ca = toList b
-    *
-    * it holds that {cb = init ca} and {last ca = v}.
-    *)
-
-   val pushArray : ('a t * 'a Array.t) Effect.t
-   (**
-    * Adds the elements of the array to the buffer.  {pushArray (b, a)} is
-    * equivalent to {Array.app (b <\ push) a}.
-    *)
-
-   val pushArraySlice : ('a t * 'a ArraySlice.t) Effect.t
-   (**
-    * Adds the elements of the slice to the buffer.  {pushArraySlice (b,
-    * s)} is equivalent to {ArraySlice.app (b <\ push) s}.
-    *)
-
-   val pushBuffer : ('a t * 'a t) Effect.t
-   (**
-    * Adds the elements of the buffer to the buffer.  {pushVectorSlice (b,
-    * b')} is equivalent to {pushList (b, toList b')}.
-    *)
-
-   val pushList : ('a t * 'a List.t) Effect.t
-   (**
-    * Adds the elements of the list to the buffer.  {pushList (b, l)} is
-    * equivalent to {List.app (b <\ push) l}.
-    *)
-
-   val pushVector : ('a t * 'a Vector.t) Effect.t
-   (**
-    * Adds the elements of the vector to the buffer.  {pushVector (b, v)}
-    * is equivalent to {Vector.app (b <\ push) v}.
-    *)
-
-   val pushVectorSlice : ('a t * 'a VectorSlice.t) Effect.t
-   (**
-    * Adds the elements of the slice to the buffer.  {pushVectorSlice (b,
-    * s)} is equivalent to {VectorSlice.app (b <\ push) s}.
-    *)
-end

[MLton-commit] r4946

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml	2006-12-10 19:13:10 UTC (rev 4945)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml	2006-12-10 19:13:15 UTC (rev 4946)
@@ -1,15 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** == MLKit specific extensions == *)
-
-structure Int31 : INTEGER = Int31
-structure Int32 : INTEGER = Int32
-structure IntInf : INT_INF = IntInf
-structure Real64 : REAL = Real64
-structure SysWord : WORD = SysWord
-structure Word31 : WORD = Word31
-structure Word32 : WORD = Word32

[MLton-commit] r4945

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig	2006-12-10 19:13:05 UTC (rev 4944)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig	2006-12-10 19:13:10 UTC (rev 4945)
@@ -1,16 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Extended {OPTION} signature. *)
-signature OPTION = sig
-   include OPTION
-
-   type 'a t = 'a option
-   (** Convenience alias. *)
-
-   val isNone : 'a t UnPr.t
-   (** Returns {true} if given option is {NONE}; otherwise returns {false}. *)
-end

[MLton-commit] r4944

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/int-inf.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/int-inf.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/int-inf.sig	2006-12-10 19:13:00 UTC (rev 4943)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/int-inf.sig	2006-12-10 19:13:05 UTC (rev 4944)
@@ -1,64 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Extended {INT_INF} signature. *)
-signature INT_INF = sig
-   include INT_INF
-
-   type t = int
-   (** Convenience alias. *)
-
-   (** == Bounds == *)
-
-   val bounds : t Sq.t Option.t
-   (**
-    * Pair of the minimal and maximal integers, respectively,
-    * representable by {int}.  If {minInt = NONE} and {maxInt = NONE},
-    * this is also {NONE}.  Otherwise this is {SOME (valOf minInt, valOf
-    * maxInt)}.
-    *)
-
-   (** == Embeddings == *)
-
-   val embString : (t, String.t) Emb.t
-   (**
-    * An embedding of integers into strings.  It is always equivalent to
-    * {(toString, fromString)}.
-    *)
-
-   (** == Isomorphisms == *)
-
-   val isoInt : (t, Int.t) Iso.t
-   (**
-    * An isomorphism between integers of type {int} and the default
-    * integer type.  It is always equivalent to {(toInt, fromInt)}.  Note
-    * that one of the injection and projection parts may be partial.
-    *)
-
-   val isoLarge : (t, LargeInt.t) Iso.t
-   (**
-    * An isomorphism between integers of type {int} and integers of type
-    * {LargeInt.int}.  It is always equivalent to {(toLarge, fromLarge)}.
-    * Note that the projection part may be partial.
-    *)
-
-   (** == Predicates == *)
-
-   val isEven : t UnPr.t
-   (**
-    * Returns true if the given integer is of the form {2*n} for some
-    * integer {n}.
-    *)
-
-   val isOdd : t UnPr.t
-   (**
-    * Returns true if the given integer is of the form {2*n+1} for some
-    * integer {n}.
-    *)
-
-   val isZero : t UnPr.t
-   (** Returns true if the given integer is {0}. *)
-end

[MLton-commit] r4943

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn.sig	2006-12-10 19:12:55 UTC (rev 4942)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn.sig	2006-12-10 19:13:00 UTC (rev 4943)
@@ -1,71 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Utilities for dealing with functions. *)
-signature FN = sig
-   type ('a, 'b) t = 'a -> 'b
-   (** The type of functions. *)
-
-   val map : ('c -> 'a) * ('b -> 'd) -> ('a -> 'b) -> 'c -> 'd
-   (** {map (f, g) h = g o h o f}. *)
-
-   val const : 'a -> 'b -> 'a
-   (** K-combinator ({const x y = x}). *)
-
-   val curry : ('a * 'b -> 'c) -> 'a -> 'b -> 'c
-   (** Currying ({curry f x y = f (x, y)}). *)
-
-   val failing : exn -> 'a -> 'b
-   (**
-    * A failing function; {failing e} is equivalent to {fn _ => raise e},
-    * assuming {e} is a variable.
-    *)
-
-   val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
-   (** Flip the order of arguments ({flip f x y = f y x}). *)
-
-   val id : 'a -> 'a
-   (** I-combinator ({id x = x}). *)
-
-   val uncurry : ('a -> 'b -> 'c) -> 'a * 'b -> 'c
-   (** Uncurrying ({uncurry f (x, y) = f x y}). *)
-
-   val o : ('a -> 'b) * ('c -> 'a) -> 'c -> 'b
-   (** Function composition ({(g o f) x = f (g x)}). *)
-
-   val pass : 'a -> ('a -> 'b) -> 'b
-   (** Pass to continuation ({pass x f = f x}). *)
-
-   val undefined : 'a -> 'b
-   (**
-    * An undefined function.  This is equivalent to {failing (Fail
-    * "undefined")}.
-    *)
-
-   val <\ : 'a * ('a * 'b -> 'c) -> 'b -> 'c
-   (** Left section ({(x <\ f) y = f (x, y)}). *)
-
-   val \> : ('a -> 'b) * 'a -> 'b
-   (**
-    * Left application ({f \> x1 \> ... \> xN = f x1 ... xN}) and infix
-    * ({x0 <\f1\> x1 ... <\fN\> xN = fN (... f1 (x0, x1) ..., xN)}).
-    *)
-
-   val /> : ('a * 'b -> 'c) * 'b -> 'a -> 'c
-   (** Right section ({(f /> y) x = f (x, y)}). *)
-
-   val </ : 'a * ('a -> 'b) -> 'b
-   (**
-    * Right application ({xN </ ... </ x1 </ f = f x1 ... xN}) and infix
-    * ({xN </fN/> ... x1 </f1/> x0 = fN (xN, ... f1 (x1, x0) ...)}).
-    *)
-
-   val >| : 'a * ('a -> 'b) -> 'b
-   (** Left pipe ({x >| f1 >| ... >| fN = (fN o ... o f1) x}). *)
-
-   val |< : ('a -> 'b) * 'a -> 'b
-   (** Right pipe ({fN |< ... |< f1 |< x = (fN o ... o f1) x}). *)
-end

[MLton-commit] r4942

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/emb.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/emb.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/emb.sig	2006-12-10 19:12:49 UTC (rev 4941)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/emb.sig	2006-12-10 19:12:55 UTC (rev 4942)
@@ -1,23 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Signature for the {Emb} structure for embeddings. *)
-signature EMB = sig
-   type ('a, 'b) t = ('a -> 'b) * ('b -> 'a Option.t)
-   (** Witness to an embedding of {'a} into {'b}. *)
-
-   val id : ('a, 'a) t
-   (** The identity embedding.  This is always equivalent to {(id, SOME)}. *)
-
-   val to : ('a, 'b) t -> 'a -> 'b
-   (** Extracts the injection part of the given embedding. *)
-
-   val from : ('a, 'b) t -> 'b -> 'a Option.t
-   (** Extracts the projection part of the given embedding. *)
-
-   val <--> : ('a, 'b) t * ('c, 'a) t -> ('c, 'b) t
-   (** Embedding composition. *)
-end

[MLton-commit] r4941

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig	2006-12-10 19:12:40 UTC (rev 4940)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig	2006-12-10 19:12:49 UTC (rev 4941)
@@ -1,36 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Extended {VECTOR} signature. *)
-signature VECTOR = sig
-   include VECTOR
-
-   type 'a t = 'a vector
-   (** Convenience alias. *)
-
-   val unfoldi : (Int.t * 'b -> 'a * 'b) -> Int.t * 'b -> 'a t * 'b
-   (**
-    * {unfoldi f (n, b)} constructs a vector {v} of a length {n}, whose
-    * elements {vi} are determined by the equations {b0 = b} and {(vi,
-    * bi+1) = f (i, bi)}.
-    *)
-
-   (** == Conversions == *)
-
-   val toList : 'a t -> 'a List.t
-   (**
-    * Generates a list from the given vector.  Specifically, the result of
-    * {toList v} is equivalent to {foldr op :: [] v}.
-    *)
-
-   (** == Isomorphisms == *)
-
-   val isoList : ('a t, 'a List.t) Iso.t
-   (**
-    * An isomorphism between vectors and lists.  It is always equivalent
-    * to {(toList, fromList)}.
-    *)
-end

[MLton-commit] r4940

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig	2006-12-10 19:12:34 UTC (rev 4939)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig	2006-12-10 19:12:40 UTC (rev 4940)
@@ -1,13 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Extended {VECTOR_SLICE} signature. *)
-signature VECTOR_SLICE = sig
-   include VECTOR_SLICE
-
-   type 'a t = 'a slice
-   (** Convenience alias. *)
-end

[MLton-commit] r4939

[Vesa K. <ve...@ml...>]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/un-op.sig

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/un-op.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/un-op.sig	2006-12-10 19:12:24 UTC (rev 4938)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/un-op.sig	2006-12-10 19:12:34 UTC (rev 4939)
@@ -1,11 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Utilities for dealing with unary operators. *)
-signature UN_OP = sig
-   type 'a t = 'a -> 'a
-   (** Type of unary operators (e.g. {~, rev, ...}). *)
-end