[MLton-commit] r4916
Vesa Karvonen
vesak at mlton.org
Sun Dec 10 10:59:23 PST 2006
Reorganized public files.
----------------------------------------------------------------------
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/sigs.cm
U mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
U mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.cm
U mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
U mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/bool.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/exn.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/option.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/order.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/pair.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/product-type.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/product.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/ref.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/sq.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/sum.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/unit.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/univ.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/infixes.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/mlkit.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/mlton.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/polyml.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/smlnj.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/bin-op.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/bin-pr.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/cmp.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/effect.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/fn.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/thunk.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/un-op.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/un-pr.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/emb.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/fix.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/iso.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/tie.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/lazy/
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/lazy/promise.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/numeric/
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/numeric/int-inf.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/numeric/integer.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/numeric/real.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/numeric/word.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/array-slice.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/array.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/buffer.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/list.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-array-slice.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-array.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-vector-slice.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-vector.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/vector-slice.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/vector.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/char.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/string.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/substring.sig
A mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/text.sig
----------------------------------------------------------------------
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/sigs.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/sigs.cm 2006-12-10 08:04:42 UTC (rev 4915)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/sigs.cm 2006-12-10 18:59:08 UTC (rev 4916)
@@ -8,48 +8,48 @@
group(funs.cm)
source(-)
is
- ../../public/array-slice.sig
- ../../public/array.sig
- ../../public/bin-op.sig
- ../../public/bin-pr.sig
- ../../public/bool.sig
- ../../public/buffer.sig
- ../../public/char.sig
- ../../public/cmp.sig
- ../../public/effect.sig
- ../../public/emb.sig
+ ../../public/data/bool.sig
+ ../../public/data/exn.sig
+ ../../public/data/option.sig
+ ../../public/data/order.sig
+ ../../public/data/pair.sig
+ ../../public/data/product-type.sig
+ ../../public/data/product.sig
+ ../../public/data/ref.sig
+ ../../public/data/sq.sig
+ ../../public/data/sum.sig
+ ../../public/data/unit.sig
../../public/exit.sig
- ../../public/exn.sig
- ../../public/fix.sig
- ../../public/fn.sig
- ../../public/int-inf.sig
- ../../public/integer.sig
- ../../public/iso.sig
- ../../public/list.sig
- ../../public/mono-array-slice.sig
- ../../public/mono-array.sig
- ../../public/mono-vector-slice.sig
- ../../public/mono-vector.sig
- ../../public/option.sig
- ../../public/order.sig
- ../../public/pair.sig
- ../../public/product-type.sig
- ../../public/product.sig
+ ../../public/fn/bin-op.sig
+ ../../public/fn/bin-pr.sig
+ ../../public/fn/cmp.sig
+ ../../public/fn/effect.sig
+ ../../public/fn/fn.sig
+ ../../public/fn/thunk.sig
+ ../../public/fn/un-op.sig
+ ../../public/fn/un-pr.sig
+ ../../public/generic/emb.sig
+ ../../public/generic/fix.sig
+ ../../public/generic/iso.sig
+ ../../public/numeric/int-inf.sig
+ ../../public/numeric/integer.sig
+ ../../public/numeric/real.sig
+ ../../public/numeric/word.sig
../../public/reader.sig
- ../../public/real.sig
- ../../public/ref.sig
- ../../public/sq.sig
- ../../public/string.sig
- ../../public/substring.sig
- ../../public/sum.sig
- ../../public/text.sig
- ../../public/thunk.sig
- ../../public/un-op.sig
- ../../public/un-pr.sig
- ../../public/unit.sig
- ../../public/vector-slice.sig
- ../../public/vector.sig
+ ../../public/sequence/array-slice.sig
+ ../../public/sequence/array.sig
+ ../../public/sequence/buffer.sig
+ ../../public/sequence/list.sig
+ ../../public/sequence/mono-array-slice.sig
+ ../../public/sequence/mono-array.sig
+ ../../public/sequence/mono-vector-slice.sig
+ ../../public/sequence/mono-vector.sig
+ ../../public/sequence/vector-slice.sig
+ ../../public/sequence/vector.sig
+ ../../public/text/char.sig
+ ../../public/text/string.sig
+ ../../public/text/substring.sig
+ ../../public/text/text.sig
../../public/with.sig
- ../../public/word.sig
../../public/writer.sig
funs.cm
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm 2006-12-10 08:04:42 UTC (rev 4915)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/smlnj/unsealed.cm 2006-12-10 18:59:08 UTC (rev 4916)
@@ -8,9 +8,9 @@
group(sigs.cm)
source(-)
is
- ../../public/promise.sig
- ../../public/tie.sig
- ../../public/univ.sig
+ ../../public/data/univ.sig
+ ../../public/generic/tie.sig
+ ../../public/lazy/promise.sig
../array-slice.sml
../array.sml
../bin-op.sml
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.cm
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.cm 2006-12-10 08:04:42 UTC (rev 4915)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.cm 2006-12-10 18:59:08 UTC (rev 4916)
@@ -5,9 +5,9 @@
*)
library
- source(public/export-smlnj.sml)
- source(public/export.sml)
+ source(public/export/common.sml)
+ source(public/export/smlnj.sml)
is
detail/smlnj/unsealed.cm
- public/export-smlnj.sml
- public/export.sml
+ public/export/common.sml
+ public/export/smlnj.sml
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb 2006-12-10 08:04:42 UTC (rev 4915)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.mlb 2006-12-10 18:59:08 UTC (rev 4916)
@@ -38,17 +38,17 @@
(* Compiler specific extensions (if any). *)
basis Ext = bas detail/$(SML_COMPILER)/extensions.mlb end
- basis Fn = bas public/fn.sig detail/fn.sml end
- basis Unit = bas public/unit.sig end
- basis Sq = bas public/sq.sig detail/sq.sml end
- basis UnOp = bas public/un-op.sig detail/un-op.sml end
+ basis Fn = bas public/fn/fn.sig detail/fn.sml end
+ basis Unit = bas public/data/unit.sig end
+ basis Sq = bas public/data/sq.sig detail/sq.sml end
+ basis UnOp = bas public/fn/un-op.sig detail/un-op.sml end
basis Thunk = let
open Fn
in
- bas public/thunk.sig detail/thunk.sml end
+ bas public/fn/thunk.sig detail/thunk.sml end
end
basis Univ = bas
- public/univ.sig
+ public/data/univ.sig
local
detail/univ-common.sml
ann "warnUnused false" in
@@ -62,28 +62,28 @@
basis BinOp = let
open Fn Sq
in
- bas public/bin-op.sig detail/bin-op.sml end
+ bas public/fn/bin-op.sig detail/bin-op.sml end
end
- basis Effect = bas public/effect.sig detail/effect.sml end
- basis Fix = bas public/fix.sig detail/fix.sml end
- basis UnPr = bas public/un-pr.sig detail/un-pr.sml end
- basis Order = bas public/order.sig detail/order.sml end
- basis BinPr = bas public/bin-pr.sig detail/bin-pr.sml end
+ basis Effect = bas public/fn/effect.sig detail/effect.sml end
+ basis Fix = bas public/generic/fix.sig detail/fix.sml end
+ basis UnPr = bas public/fn/un-pr.sig detail/un-pr.sml end
+ basis Order = bas public/data/order.sig detail/order.sml end
+ basis BinPr = bas public/fn/bin-pr.sig detail/bin-pr.sml end
basis Cmp = let
open Fn Order Sq
in
- bas public/cmp.sig detail/cmp.sml end
+ bas public/fn/cmp.sig detail/cmp.sml end
end
- basis Ref = bas public/ref.sig detail/ref.sml end
- basis Bool = bas public/bool.sig detail/bool.sml end
+ basis Ref = bas public/data/ref.sig detail/ref.sml end
+ basis Bool = bas public/data/bool.sig detail/bool.sml end
basis Products = let
open Bool Effect Fn Order
in
bas
- public/product-type.sig
- public/pair.sig
+ public/data/product-type.sig
+ public/data/pair.sig
detail/pair.sml
- public/product.sig
+ public/data/product.sig
detail/product.sml
end
end
@@ -92,50 +92,54 @@
in
bas public/with.sig detail/with.sml end
end
- basis Sum = let open Fn in bas public/sum.sig detail/sum.sml end end
+ basis Sum = let
+ open Fn
+ in
+ bas public/data/sum.sig detail/sum.sml end
+ end
basis Exn = let
open Effect Ext Sum
in
- bas public/exn.sig detail/exn.sml end
+ bas public/data/exn.sig detail/exn.sml end
end
basis Emb = let
open Fn Products
in
- bas public/emb.sig detail/emb.sml end
+ bas public/generic/emb.sig detail/emb.sml end
end
basis Iso = let
open Fn Products Sum
in
- bas public/iso.sig detail/iso.sml end
+ bas public/generic/iso.sig detail/iso.sml end
end
basis Tie = let
open Fix Fn Iso Products Sq
in
- bas public/tie.sig detail/tie.sml end
+ bas public/generic/tie.sig detail/tie.sml end
end
basis Seqs = bas
detail/mk-seq-common-ext.fun
- public/array.sig
+ public/sequence/array.sig
detail/array.sml
- public/array-slice.sig
+ public/sequence/array-slice.sig
detail/array-slice.sml
- public/vector.sig
+ public/sequence/vector.sig
detail/vector.sml
- public/vector-slice.sig
+ public/sequence/vector-slice.sig
detail/vector-slice.sml
end
- basis Option = bas public/option.sig detail/option.sml end
+ basis Option = bas public/data/option.sig detail/option.sml end
basis List = let
open Cmp Fn Option Products
in
- bas public/list.sig detail/list.sml end
+ bas public/sequence/list.sig detail/list.sml end
end
basis Buffer = let
open Seqs List Fn Products
in
- bas public/buffer.sig detail/buffer.sml end
+ bas public/sequence/buffer.sig detail/buffer.sml end
end
basis Reader = let
open Fn Products Univ
@@ -154,10 +158,10 @@
detail/mk-real-ext.fun
detail/mk-word-ext.fun
- public/int-inf.sig
- public/integer.sig
- public/real.sig
- public/word.sig
+ public/numeric/int-inf.sig
+ public/numeric/integer.sig
+ public/numeric/real.sig
+ public/numeric/word.sig
detail/common-scalars.sml
detail/$(SML_COMPILER)/ints.sml
@@ -172,14 +176,14 @@
detail/mk-mono-array-slice-ext.fun
detail/mk-text-ext.fun
- public/mono-vector.sig
- public/mono-vector-slice.sig
- public/mono-array.sig
- public/mono-array-slice.sig
- public/char.sig
- public/string.sig
- public/substring.sig
- public/text.sig
+ public/sequence/mono-vector.sig
+ public/sequence/mono-vector-slice.sig
+ public/sequence/mono-array.sig
+ public/sequence/mono-array-slice.sig
+ public/text/char.sig
+ public/text/string.sig
+ public/text/substring.sig
+ public/text/text.sig
detail/common-mono-seqs.sml
detail/$(SML_COMPILER)/mono-vectors.sml
@@ -191,7 +195,7 @@
basis Promise = let
open Exn Fix Fn Products Sq Sum Tie
in
- bas public/promise.sig detail/promise.sml end
+ bas public/lazy/promise.sig detail/promise.sml end
end
open BinOp BinPr Bool Buffer
@@ -209,10 +213,10 @@
open Unit Univ UnOp UnPr
open With Writer
in
- public/export-$(SML_COMPILER).sml
- public/export.sml
- public/top-level.sml
- public/infixes.sml
+ public/export/$(SML_COMPILER).sml
+ public/export/common.sml
+ public/export/top-level.sml
+ public/export/infixes.sml
end
end
end
Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use 2006-12-10 08:04:42 UTC (rev 4915)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/extensions.use 2006-12-10 18:59:08 UTC (rev 4916)
@@ -14,44 +14,44 @@
["detail/"^compiler^"/workarounds.use",
"detail/bootstrap.sml",
"detail/"^compiler^"/extensions.use",
- "public/fn.sig", "detail/fn.sml",
- "public/unit.sig",
- "public/sq.sig", "detail/sq.sml",
- "public/un-op.sig", "detail/un-op.sml",
- "public/thunk.sig", "detail/thunk.sml",
- "public/univ.sig", "detail/univ-common.sml", "detail/univ-exn.sml",
- "public/bin-op.sig", "detail/bin-op.sml",
- "public/effect.sig", "detail/effect.sml",
- "public/fix.sig", "detail/fix.sml",
- "public/un-pr.sig", "detail/un-pr.sml",
- "public/order.sig", "detail/order.sml",
- "public/bin-pr.sig", "detail/bin-pr.sml",
- "public/cmp.sig", "detail/cmp.sml",
- "public/ref.sig", "detail/ref.sml",
- "public/bool.sig", "detail/bool.sml",
- "public/product-type.sig",
- "public/pair.sig",
+ "public/fn/fn.sig", "detail/fn.sml",
+ "public/data/unit.sig",
+ "public/data/sq.sig", "detail/sq.sml",
+ "public/fn/un-op.sig", "detail/un-op.sml",
+ "public/fn/thunk.sig", "detail/thunk.sml",
+ "public/data/univ.sig", "detail/univ-common.sml", "detail/univ-exn.sml",
+ "public/fn/bin-op.sig", "detail/bin-op.sml",
+ "public/fn/effect.sig", "detail/effect.sml",
+ "public/generic/fix.sig", "detail/fix.sml",
+ "public/fn/un-pr.sig", "detail/un-pr.sml",
+ "public/data/order.sig", "detail/order.sml",
+ "public/fn/bin-pr.sig", "detail/bin-pr.sml",
+ "public/fn/cmp.sig", "detail/cmp.sml",
+ "public/data/ref.sig", "detail/ref.sml",
+ "public/data/bool.sig", "detail/bool.sml",
+ "public/data/product-type.sig",
+ "public/data/pair.sig",
"detail/pair.sml",
- "public/product.sig",
+ "public/data/product.sig",
"detail/product.sml",
"public/with.sig", "detail/with.sml",
- "public/sum.sig", "detail/sum.sml",
- "public/exn.sig", "detail/exn.sml",
- "public/emb.sig", "detail/emb.sml",
- "public/iso.sig", "detail/iso.sml",
- "public/tie.sig", "detail/tie.sml",
+ "public/data/sum.sig", "detail/sum.sml",
+ "public/data/exn.sig", "detail/exn.sml",
+ "public/generic/emb.sig", "detail/emb.sml",
+ "public/generic/iso.sig", "detail/iso.sml",
+ "public/generic/tie.sig", "detail/tie.sml",
"detail/mk-seq-common-ext.fun",
- "public/array.sig",
+ "public/sequence/array.sig",
"detail/array.sml",
- "public/array-slice.sig",
+ "public/sequence/array-slice.sig",
"detail/array-slice.sml",
- "public/vector.sig",
+ "public/sequence/vector.sig",
"detail/vector.sml",
- "public/vector-slice.sig",
+ "public/sequence/vector-slice.sig",
"detail/vector-slice.sml",
- "public/option.sig", "detail/option.sml",
- "public/list.sig", "detail/list.sml",
- "public/buffer.sig", "detail/buffer.sml",
+ "public/data/option.sig", "detail/option.sml",
+ "public/sequence/list.sig", "detail/list.sml",
+ "public/sequence/buffer.sig", "detail/buffer.sml",
"public/reader.sig", "detail/reader.sml",
"public/writer.sig", "detail/writer.sml",
"public/exit.sig", "detail/exit.sml",
@@ -59,10 +59,10 @@
"detail/mk-int-inf-ext.fun",
"detail/mk-real-ext.fun",
"detail/mk-word-ext.fun",
- "public/int-inf.sig",
- "public/integer.sig",
- "public/real.sig",
- "public/word.sig",
+ "public/numeric/int-inf.sig",
+ "public/numeric/integer.sig",
+ "public/numeric/real.sig",
+ "public/numeric/word.sig",
"detail/common-scalars.sml",
"detail/"^compiler^"/ints.sml",
"detail/"^compiler^"/reals.sml",
@@ -73,24 +73,24 @@
"detail/mk-mono-array-ext.fun",
"detail/mk-mono-array-slice-ext.fun",
"detail/mk-text-ext.fun",
- "public/mono-vector.sig",
- "public/mono-vector-slice.sig",
- "public/mono-array.sig",
- "public/mono-array-slice.sig",
- "public/char.sig",
- "public/string.sig",
- "public/substring.sig",
- "public/text.sig",
+ "public/sequence/mono-vector.sig",
+ "public/sequence/mono-vector-slice.sig",
+ "public/sequence/mono-array.sig",
+ "public/sequence/mono-array-slice.sig",
+ "public/text/char.sig",
+ "public/text/string.sig",
+ "public/text/substring.sig",
+ "public/text/text.sig",
"detail/common-mono-seqs.sml",
"detail/"^compiler^"/mono-vectors.sml",
"detail/"^compiler^"/mono-vector-slices.sml",
"detail/"^compiler^"/mono-arrays.sml",
"detail/"^compiler^"/mono-array-slices.sml",
"detail/"^compiler^"/texts.sml",
- "public/promise.sig", "detail/promise.sml",
+ "public/lazy/promise.sig", "detail/promise.sml",
"detail/"^compiler^"/forget.use",
- "public/export-"^compiler^".sml",
- "public/export.sml",
- "public/top-level.sml",
- "public/infixes.sml"]
+ "public/export/"^compiler^".sml",
+ "public/export/common.sml",
+ "public/export/top-level.sml",
+ "public/export/infixes.sml"]
end
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/bool.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/bool.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/exn.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/exn.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/option.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/option.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/order.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/order.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/pair.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/pair.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/product-type.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/product-type.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/product.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/product.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/ref.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/ref.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/sq.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/sq.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/sum.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/sum.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/unit.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/unit.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/data/univ.sig (from rev 4913, mltonlib/trunk/com/ssh/extended-basis/unstable/public/univ.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/common.sml (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/export.sml)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/infixes.sml (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/infixes.sml)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/mlkit.sml (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlkit.sml)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/mlton.sml (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-mlton.sml)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/polyml.sml (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-polyml.sml)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/smlnj.sml (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/export-smlnj.sml)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/top-level.sml)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/bin-op.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/bin-op.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/bin-pr.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/bin-pr.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/cmp.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/cmp.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/effect.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/effect.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/fn.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/thunk.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/thunk.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/un-op.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/un-op.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/fn/un-pr.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/un-pr.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/emb.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/emb.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/fix.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/fix.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/iso.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/iso.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/generic/tie.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/tie.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/lazy/promise.sig (from rev 4914, mltonlib/trunk/com/ssh/extended-basis/unstable/public/promise.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/numeric/int-inf.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/int-inf.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/numeric/integer.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/integer.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/numeric/real.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/real.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/numeric/word.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/word.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/array-slice.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/array-slice.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/array.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/array.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/buffer.sig (from rev 4915, mltonlib/trunk/com/ssh/extended-basis/unstable/public/buffer.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/list.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/list.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-array-slice.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array-slice.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-array.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-array.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-vector-slice.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector-slice.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/mono-vector.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/mono-vector.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/vector-slice.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector-slice.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/vector.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/char.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/char.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/string.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/string.sig)
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/string.sig 2006-12-08 22:52:19 UTC (rev 4912)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/string.sig 2006-12-10 18:59:08 UTC (rev 4916)
@@ -0,0 +1,61 @@
+(* 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 {STRING} signature. *)
+signature STRING = sig
+ include STRING
+
+ type t = string
+ (** Convenience alias. *)
+
+ (** == Embeddings == *)
+
+ val embCString : (t, t) Emb.t
+ (**
+ * An embedding of strings into C-style string literals. It is always
+ * equivalent to {(toCString, fromCString)}.
+ *)
+
+ val embString : (t, t) Emb.t
+ (**
+ * An embedding of strings into SML-style string literals. It is
+ * always equivalent to {(toString, fromString)}.
+ *)
+
+ (** == Isomorphisms == *)
+
+ val isoList : (t, Char.t List.t) Iso.t
+ (**
+ * An isomorphism between strings and lists. It is always equivalent
+ * to {(toList, fromList)}.
+ *)
+
+ (** == {MONO_VECTOR} == *)
+
+ type elem = char
+ type vector = t
+
+ val all : elem UnPr.t -> vector UnPr.t
+ val app : elem Effect.t -> vector Effect.t
+ val appi : (Int.t * elem) Effect.t -> vector Effect.t
+ val exists : elem UnPr.t -> vector UnPr.t
+ val find : elem UnPr.t -> vector -> elem Option.t
+ val findi : (Int.t * elem -> Bool.t) -> vector -> (Int.t * elem) Option.t
+ val foldl : (elem * 'a -> 'a) -> 'a -> vector -> 'a
+ val foldli : (Int.t * elem * 'a -> 'a) -> 'a -> vector -> 'a
+ val foldr : (elem * 'a -> 'a) -> 'a -> vector -> 'a
+ val foldri : (Int.t * elem * 'a -> 'a) -> 'a -> vector -> 'a
+ val fromList : elem List.t -> vector
+ val fromPoly : elem Vector.t -> vector
+ val isoPoly : (vector, elem Vector.t) Iso.t
+ val length : vector -> Int.t
+ val mapi : (Int.t * elem -> elem) -> vector UnOp.t
+ val maxLen : Int.t
+ val tabulate : Int.t * (Int.t -> elem) -> vector
+ val toList : vector -> elem List.t
+ val toPoly : vector -> elem Vector.t
+ val update : vector * Int.t * elem -> vector
+end
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/substring.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/substring.sig)
Copied: mltonlib/trunk/com/ssh/extended-basis/unstable/public/text/text.sig (from rev 4912, mltonlib/trunk/com/ssh/extended-basis/unstable/public/text.sig)
More information about the MLton-commit
mailing list