www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

tr-immutable.scrbl (708B)

      1 #lang scribble/manual
      2 @require[@for-label[tr-immutable
      3                     typed/racket/base]]
      4 
      5 @title{tr-immutable}
      6 @author[@author+email["Suzanne Soy" "racket@suzanne.soy"]]
      7 
      8 @defmodule[tr-immutable]
      9 
     10 This library implements immutable wrappers for @racket[vector] and
     11 @racket[box], in a way that @racketmodname[typed/racket] is able to recognise.
     12 This makes it possible to write @racket[(make-predicate (IVectorof Integer))]
     13 in current versions of Typed/Racket.
     14 
     15 @defform[#:kind "type"
     16          (IVectorof A)]{
     17  The type for immutable vectors containing elements of type @racket[A].
     18 }
     19 
     20 @defproc[(ivector [v : A] ...) (IVectorof A)]{
     21  The type for immutable vectors containing elements of type @racket[A].
     22 }