summaryrefslogtreecommitdiffstats
path: root/srfi-225.html
diff options
context:
space:
mode:
authorGravatar John Cowan 2021-07-29 17:34:35 -0400
committerGravatar Arthur A. Gleckler 2021-08-07 18:21:19 -0700
commit2ff502ba6bff2bba5dade8372e748d0e86325631 (patch)
tree9a96cfce787007d6ec49986c6759815ff7194f04 /srfi-225.html
parentMerge remote-tracking branch 'upstream/master' (diff)
minor errors
Diffstat (limited to '')
-rw-r--r--srfi-225.html9
1 files changed, 6 insertions, 3 deletions
diff --git a/srfi-225.html b/srfi-225.html
index e3fbb9a..c9f1a4e 100644
--- a/srfi-225.html
+++ b/srfi-225.html
@@ -64,15 +64,17 @@ Consequently, previous examples don't affect later ones.
<h3 id="constructor">Constructor</h3>
<p><code>(make-dict</code>&nbsp;<em>dtd comparator obj</em> ...<code>)</code></p>
<p>Returns an empty dictionary of the type described by the DTD using <em>comparator</em> to specify to specify the dictionary's equality predicate and its ordering predicate and/or hash function.</p>
+<p>If the contents of <em>comparator</em> are inconsistent with the dictionary type, an error satisfying
+<code>dictionary-error?</code> is signaled.
<p>The meaning of the other arguments depends on the type of dictionary being created. However, implementations which support the ability to specify the initial capacity of a hash table should interpret a non-negative exact integer as the specification of that capacity. In addition, if the symbols <code>thread-safe</code>, <code>weak-keys</code>, <code>ephemeral-keys</code>, <code>weak-values</code>, or <code>ephemeral-values</code> are present, implementations should create thread-safe hash tables, hash tables with weak keys or ephemeral keys, or hash tables with weak or ephemeral values respectively. Implementations are free to use ephemeral keys or values when weak keys or values respectively have been requested.</p>
<h3 id="predicates">Predicates</h3>
<p><code>(dictionary?</code>&nbsp;<em>dtd obj</em><code>)</code></p>
-<p>Returns <code>#t</code> if <em>obj</em> answers <code>#t</code> to some registered predicate, and <code>#f</code> otherwise.</p>
+<p>Returns <code>#t</code> if <em>obj</em> answers <code>#t</code> to the type predicate stored in the DTD, and <code>#f</code> otherwise.</p>
<blockquote><pre>(define dict (list '(1 . 2) '(3 . 4) '(5 . 6)))
(dictionary? aed dict) =&gt; #t</pre></blockquote>
-<p><code>(dict-empty?</code>&nbsp;<code>)</code></p>
+<p><code>(dict-empty?</code>&nbsp;<em>dtd dict</em><code>)</code></p>
<p>Returns <code>#t</code> if <em>dictionary</em> contains no associations and <code>#f</code> if it does contain associations.</p>
-<blockquote><pre>(dict-empty? &#39;()) =&gt; #t
+<blockquote><pre>(dict-empty? aed '()) =&gt; #t
(dict-empty? aed dict) =&gt; #f</pre></blockquote>
<p><code>(dict-contains?</code>&nbsp;<em>dtd dictionary key</em><code>)</code></p>
<blockquote><pre>(dict-contains? aed dict 1) =&gt; #t
@@ -266,6 +268,7 @@ Returns a dictionary that is similar to <em>dictionary</em> and contains the sam
and <code>dict-search</code>.
</p>
<p><code>(dict-comparator</code>&nbsp;<em>dtd dictionary</em><code>)</code></p>
+<p>Return a comparator representing the type predicate, equality predicate, ordering predicate, and hash function of <em>dict</em>. The last two may be <code>#f</code> if the dictionary does not make use of these functions.</p>
<h3 id="dictionary-type-descriptors">Dictionary type descriptors</h3>
<p><code>(dtd?</code>&nbsp;<em>obj</em><code>)</code></p>
<p>Returns <code>#t</code> if <em>obj</em> is a DTD, and <code>#f</code> otherwise.</p>
th='13' height='13' alt='Gravatar' /> John Cowan 1-2/+4 2021-07-24dtd always first argumentGravatar John Cowan 1-9/+9 2021-07-23DTO to DTDGravatar John Cowan 1-55/+52 2021-07-22typoGravatar John Cowan 1-1/+1 2021-07-22switching to explicit dtosGravatar John Cowan 1-88/+102 2021-07-22errorsGravatar John Cowan 1-1/+4 2021-07-22more MN-W reviewGravatar John Cowan 1-5/+5 2021-07-20update preview linkGravatar John Cowan 1-1/+1 2021-07-20MN-W reviewGravatar John Cowan 1-6/+6 2021-07-18Fix typo.Gravatar Arthur A. Gleckler 2-4/+4 2021-07-18Add <p> around abstract.Gravatar Arthur A. Gleckler 1-2/+2 2021-07-18Publish first draft.draft-1Gravatar Arthur A. Gleckler 3-0/+114 2021-07-18Ignore trailing whitespace.Gravatar Arthur A. Gleckler 11-129/+129 2021-07-18Ignore "Dictionaries.log".Gravatar Arthur A. Gleckler 1-1/+2 2021-07-18Fix errors reported by W3C HTML Validator.Gravatar Arthur A. Gleckler 1-27/+27 2021-07-18Eliminate unnecessary redirect by using TLS/SSL.Gravatar Arthur A. Gleckler 1-1/+1