Index🔗ℹ

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 

!
#%module-begin
#%top-interaction
->
->*
:
:kind
:print-type
:query-type/args
:query-type/result
:type
All
ann
Anonymous Functions
Any
AnyValues
assert
assert-typecheck-fail
Async-Channelof
Async-ChannelTop
augment
Base Type Constructors and Supertypes
Base Types
Binding Forms
Boolean
Bot
Boxof
BoxTop
Byte
Byte-PRegexp
Byte-Regexp
Bytes
Bytes-Converter
case->
case-lambda
case-lambda:
case→
cast
Channelof
ChannelTop
Char
Char-Set
Checking Functions that Cross Multiple Boundaries
Checking Immutable Data: Importing a List
Checking Mutable Data: Importing a Vector
Class
class
ClassTop
Compatibility Languages
Compiled-Expression
Compiled-Module-Expression
Complex
compound-unit
compound-unit/infer
Continuation-Mark-Keyof
Continuation-Mark-KeyTop
Continuation-Mark-Set
Contract Optimization
Contracts and Unit Static Information
Control
Cookie
Cursor
Custodian
Custodian-Boxof
Date
Datum
declare-refinement
Deep types
Deep, Shallow, and Optional Semantics
default-continuation-prompt-tag
define
define-compound-unit
define-compound-unit/infer
define-new-subtype
define-predicate
define-signature
define-struct
define-struct/exec
define-struct/exec:
define-struct:
define-type
define-type-alias
define-typed-struct
define-typed-struct/exec
define-typed/untyped-identifier
define-unit
define-unit-from-context
define-values/invoke-unit
define-values/invoke-unit/infer
define/augment
define/override
define/private
define/public
define/pubment
define:
defined?
Definitions
Dependent Function Types
do
do:
Draw-Caret
Edit-Op
Environment-Variables
EOF
Ephemeronof
Evtof
Exact-Complex
Exact-Imaginary
Exact-Nonnegative-Integer
Exact-Number
Exact-Positive-Integer
Exact-Rational
Example Interactions
Example: Casts in Deep, Shallow, and Optional
existential type result
Experimental Features
Exploring Types
ExtFlonum
ExtFlonum-Nan
ExtFlonum-Negative-Zero
ExtFlonum-Positive-Zero
ExtFlonum-Zero
ExtFlVector
False
field
File-Format
Fixnum
Float
Float-Complex
Float-Nan
Float-Negative-Zero
Float-Positive-Zero
Float-Zero
Flonum
Flonum-Nan
Flonum-Negative-Zero
Flonum-Positive-Zero
Flonum-Zero
FlVector
for
for*
for*/and
for*/and:
for*/extflvector
for*/extflvector:
for*/first
for*/first:
for*/flvector
for*/flvector:
for*/fold
for*/fold:
for*/foldr
for*/foldr:
for*/hash
for*/hash:
for*/hashalw
for*/hashalw:
for*/hasheq
for*/hasheq:
for*/hasheqv
for*/hasheqv:
for*/last
for*/last:
for*/list
for*/list:
for*/lists
for*/lists:
for*/or
for*/or:
for*/product
for*/product:
for*/set
for*/set:
for*/sum
for*/sum:
for*/vector
for*/vector:
for*:
for/and
for/and:
for/extflvector
for/extflvector:
for/first
for/first:
for/flvector
for/flvector:
for/fold
for/fold:
for/foldr
for/foldr:
for/hash
for/hash:
for/hashalw
for/hashalw:
for/hasheq
for/hasheq:
for/hasheqv
for/hasheqv:
for/last
for/last:
for/list
for/list:
for/lists
for/lists:
for/or
for/or:
for/product
for/product:
for/set
for/set:
for/sum
for/sum:
for/vector
for/vector:
for:
Forms that Depend on the Behavior of Types
FSemaphore
FTP-Connection
Futureof
FxVector
General Tips
Generating Predicates Automatically
GIF-Colormap
GIF-Stream
Has-Struct-Property
HashTable
HashTableTop
How to Choose Between Deep, Shallow, and Optional
HTTP-Connection
Identifier
Ignoring type information
Image-Kind
Imaginary
IMAP-Connection
Immutable-HashTable
Immutable-Vector
Immutable-Vectorof
Imp
Impersonator-Property
Index
index?
Inexact-Complex
Inexact-Imaginary
Inexact-Real
Inexact-Real-Nan
Inexact-Real-Negative-Zero
Inexact-Real-Positive-Zero
Inexact-Real-Zero
inherit
inherit-field
init
init-field
init-rest
Input-Port
Inspector
inst
Instance
Integer
Interacting with Untyped Code
Internal-Definition-Context
Intersection
invoke-unit
invoke-unit/infer
JSExpr
Keyword
lambda
lambda:
Legacy Forms
let
let*
let*-values
let*-values:
let*:
let-values
let-values:
let/cc
let/cc:
let/ec
let/ec:
let:
letrec
letrec-values
letrec-values:
letrec:
Libraries Provided With Typed Racket
Limitations
List
List*
Listof
LoadFileKind
Log-Level
Log-Receiver
Logger
Logical Refinements and Linear Integer Reasoning
Loops
make-predicate
MListof
Module-Path
Module-Path-Index
MPairof
MPairTop
mu
Mutable-HashTable
Mutable-HashTableTop
Mutable-Vector
Mutable-Vectorof
Mutable-VectorTop
Names for Types
Namespace
Namespace-Anchor
Natural
Negative-Exact-Rational
Negative-ExtFlonum
Negative-Fixnum
Negative-Float
Negative-Flonum
Negative-Inexact-Real
Negative-Integer
Negative-Real
Negative-Single-Flonum
Nonnegative-Exact-Rational
Nonnegative-ExtFlonum
Nonnegative-Fixnum
Nonnegative-Float
Nonnegative-Flonum
Nonnegative-Inexact-Real
Nonnegative-Integer
Nonnegative-Real
Nonnegative-Single-Flonum
Nonpositive-Exact-Rational
Nonpositive-ExtFlonum
Nonpositive-Fixnum
Nonpositive-Float
Nonpositive-Flonum
Nonpositive-Inexact-Real
Nonpositive-Integer
Nonpositive-Real
Nonpositive-Single-Flonum
Nothing
Null
Number
Numeric Types
Object
One
Opaque
opaque
opaque type
opt-lambda:
Optimization in Typed Racket
Option
Optional types
Other Base Types
Other Forms
Other Type Constructors
Other Types
Output-Port
override
Pair
Pairof
Parameter
Parameterization
Parameterof
Path
Path-For-Some-System
Path-String
Path/Param
pcase-lambda:
pdefine:
Place
Place-Channel
plambda:
plet:
PLT_TR_NO_CONTRACT_OPTIMIZE
popt-lambda:
Port
Porting Untyped Modules to Typed Racket
PortT
PortT/Bytes
Positive-Byte
Positive-Exact-Rational
Positive-ExtFlonum
Positive-Fixnum
Positive-Float
Positive-Flonum
Positive-Index
Positive-Inexact-Real
Positive-Integer
Positive-Real
Positive-Single-Flonum
pred
Prefab
PrefabTop
PRegexp
Pretty-Print-Style-Table
private
Procedure
Promise
Prompt-Tagof
Prompt-TagTop
prop:procedure
provide:
Pseudo-Random-Generator
public
pubment
Read-Table
Read/Write-Format
Real
Real-Zero
Rec
Refine
Refinement
Regexp
Related Gradual Typing Work
Require
require-typed-struct
require-typed-struct
require-typed-struct/provide
require/opaque-type
require/typed
require/typed
require/typed/provide
require/untyped-contract
Resolved-Module-Path
Row
row-inst
Security-Guard
Self
Semaphore
Sequenceof
SequenceTop
Setof
Sexp
Sexpof
Shallow types
signature
Signature Forms
Signatures and Internal Definition Contexts
Single-Flonum
Single-Flonum-Complex
Single-Flonum-Nan
Single-Flonum-Negative-Zero
Single-Flonum-Positive-Zero
Single-Flonum-Zero
Singleton Types
Some
Special Form Reference
Special forms
Special forms
Special Structure Type Properties
Special-Comment
SSL-Client-Context
SSL-Context
SSL-Listener
SSL-Protocol
SSL-Server-Context
SSL-Verify-Source
String
struct
Struct
struct
Struct-Property
Struct-Type
Struct-Type-Property
Struct-TypeTop
struct:
Structural Matching and Other Unit Forms
Structure Definitions
Subprocess
Symbol
Syntax
Syntax Objects
Syntax-E
syntax-local-typed-context?
Syntaxof
Tagged Signatures
TCP-Listener
The Typed Racket Reference
Thread
Thread-Cellof
Thread-CellTop
Thread-Group
Threshold
Time
Top
True
Tuple
Type Annotation and Instantiation
Type Reference
typecheck-fail
Typed Classes
Typed Racket Syntax Without Type Checking
Typed Regions
Typed Units
typed-scheme
typed/db
typed/db/base
typed/db/sqlite3
typed/file/gif
typed/file/md5
typed/file/sha1
typed/file/tar
typed/framework
typed/images/compile-time
typed/images/icons
typed/images/logos
typed/json
typed/mred/mred
typed/net/base64
typed/net/cgi
typed/net/cookie
typed/net/cookies
typed/net/cookies/common
typed/net/cookies/server
typed/net/dns
typed/net/ftp
typed/net/gifwrite
typed/net/git-checkout
typed/net/head
typed/net/http-client
typed/net/imap
typed/net/mime
typed/net/nntp
typed/net/pop3
typed/net/qp
typed/net/sendmail
typed/net/sendurl
typed/net/smtp
typed/net/uri-codec
typed/net/url
typed/net/url-connect
typed/net/url-structs
typed/openssl
typed/openssl/md5
typed/openssl/sha1
typed/pict
typed/racket
typed/racket/async-channel
typed/racket/base
typed/racket/base/deep
typed/racket/base/no-check
typed/racket/base/optional
typed/racket/base/shallow
typed/racket/class
typed/racket/date
typed/racket/deep
typed/racket/draw
typed/racket/extflonum
typed/racket/flonum
typed/racket/gui
typed/racket/gui/no-check
typed/racket/no-check
typed/racket/optional
typed/racket/random
typed/racket/sandbox
typed/racket/shallow
typed/racket/snip
typed/racket/system
typed/racket/unit
typed/racket/unsafe
typed/rackunit
typed/rackunit/docs-complete
typed/rackunit/gui
typed/rackunit/text-ui
typed/scheme
typed/scheme/base
typed/srfi/14
typed/srfi/19
typed/syntax/stx
typed/untyped-utils
typed/web-server/configuration/responders
typed/web-server/http
Types
Types
U
UDP-Socket
Un
Undefined
Union
Unit
unit
unit-from-context
UnitTop
Unquoted-Printing-String
Unsafe Typed Racket operations
unsafe-provide
unsafe-require/typed
unsafe-require/typed/provide
Untyped Utilities
URL
URL-Exception
Utilities
values
Values
Variable-Reference
Vector
Vectorof
VectorTop
Void
Weak-Boxof
Weak-BoxTop
Weak-HashTable
Weak-HashTableTop
When to Use Deep Types
When to Use Optional Types
When to Use Shallow Types
Will-Executor
with-asserts
with-handlers
with-handlers*
with-type
Zero
λ
λ:

→*