suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Document VectorTop and HashTableTop.

Browse Source
This commit is contained in:
Vincent St-Amour 2013-04-26 11:15:01 -04:00
parent 6169c5350f
commit 457ca0982f
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/typed-racket/scribblings/reference/types.scrbl
View File

@ -313,11 +313,26 @@ corresponding to @racket[trest], where @racket[bound]
@ex[(vector 1 2 3)
#(a b c)]
@defidform[VectorTop]{is the type of a @rtech{vector} with unknown length and
element types. Only read-only vector operations (e.g. @racket[vector-ref])
are allowed on values of this type. This type typically appears in programs
via the combination of occurrence typing and @racket[vector?].
@ex[(lambda: ([x : Any]) (if (vector? x) x (error "not a vector!")))]
}
@defform[(HashTable k v)]{is the type of a @rtech{hash table} with key type
@racket[k] and value type @racket[v].
@ex[#hash((a . 1) (b . 2))]
}
@defidform[HashTableTop]{is the type of a @rtech{hash table} with unknown key
and value types. Only read-only hash table operations (e.g.
@racket[hash-ref]) are allowed on values of this type. This type typically
appears in programs via the combination of occurrence typing and
@racket[hash?].
@ex[(lambda: ([x : Any]) (if (hash? x) x (error "not a hash table!")))]
}
@defform[(Setof t)]{is the type of a @rtech{set} of @racket[t].
@ex[(set 0 1 2 3)]