Skip to content

Add more base types and type aliases. #1254

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Add more base types and type aliases. #1254

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
83 changes: 79 additions & 4 deletions typed-racket-doc/typed-racket/scribblings/reference/types.scrbl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -53,7 +53,7 @@ several fixed-width integers types, detailed later in this section.
numeric type, including all Racket numbers, both exact and inexact, including
complex numbers.

@defnums[(Integer)]
@defnums[(Integer Exact-Integer)]
Includes Racket's exact integers and corresponds to the
@racket[exact-integer?] predicate. This is the most general type that is still
valid for indexing and other operations that require integral values.
Expand All @@ -63,7 +63,7 @@ Includes Racket's double-precision (default) floating-point numbers and
corresponds to the @racket[flonum?] predicate. This type excludes
single-precision floating-point numbers.

@defnums[(Single-Flonum)]
@defnums[(Single-Flonum Single-Float)]
Includes Racket's single-precision floating-point numbers and corresponds to
the @racket[single-flonum?] predicate. This type excludes double-precision
floating-point numbers.
Expand All @@ -72,7 +72,7 @@ floating-point numbers.
Includes all of Racket's floating-point numbers, both single- and
double-precision.

@defnums[(Exact-Rational)]
@defnums[(Rational Exact-Rational)]
Includes Racket's exact rationals, which include fractions and exact integers.

@defnums[(Real)]
Expand All @@ -82,15 +82,29 @@ all floating-point numbers. This is the most general type for which comparisons

@defnums[(
Exact-Number
Flonum-Complex
Float-Complex
Single-Flonum-Complex
Single-Float-Complex
Inexact-Complex
Imaginary
Flonum-Imaginary
Float-Imaginary
Single-Flonum-Imaginary
Single-Float-Imaginary
Exact-Complex
Exact-Imaginary
Inexact-Imaginary)]
These types correspond to Racket's complex numbers.

@ex[
(ann 1+1i Exact-Number)
(ann 1+1i Exact-Complex)
(ann 1+0i Exact-Number)
(eval:error (ann 1+0i Exact-Complex))
(ann 0+1i Exact-Number)
(eval:error (ann 0+1i Exact-Complex))]

@history[#:changed "1.7"]{@elem{Added @racket[Imaginary],
@racket[Inexact-Complex],
@racket[Exact-Complex],
Expand All @@ -103,20 +117,32 @@ negative, non-negative and non-positive subsets of the above types (where
applicable).

@defnums[(
Natural
Positive-Integer
Positive-Exact-Integer
Exact-Positive-Integer
Nonnegative-Integer
Exact-Nonnegative-Integer
Natural
Nonnegative-Exact-Integer
Negative-Integer
Negative-Exact-Integer
Exact-Negative-Integer
Negative-Integer-Not-Fixnum
Nonpositive-Integer
Nonpositive-Exact-Integer
Exact-Nonpositive-Integer
Positive-Integer-Not-Fixnum
Zero
Positive-Float
Positive-Flonum
Positive-Float-Not-Nan
Positive-Flonum-Not-Nan
Nonnegative-Float
Nonnegative-Flonum
Negative-Float
Negative-Flonum
Negative-Float-Not-Nan
Negative-Flonum-Not-Nan
Nonpositive-Float
Nonpositive-Flonum
Float-Negative-Zero
Expand All @@ -128,13 +154,25 @@ Flonum-Zero
Float-Nan
Flonum-Nan
Positive-Single-Flonum
Positive-Single-Float
Positive-Single-Flonum-Not-Nan
Positive-Single-Float-Not-Nan
Nonnegative-Single-Flonum
Nonnegative-Single-Float
Negative-Single-Flonum
Negative-Single-Float
Negative-Single-Flonum-Not-Nan
Negative-Single-Float-Not-Nan
Nonpositive-Single-Flonum
Nonpositive-Single-Float
Single-Flonum-Negative-Zero
Single-Float-Negative-Zero
Single-Flonum-Positive-Zero
Single-Float-Positive-Zero
Single-Flonum-Zero
Single-Float-Zero
Single-Flonum-Nan
Single-Float-Nan
Positive-Inexact-Real
Nonnegative-Inexact-Real
Negative-Inexact-Real
Expand All @@ -143,10 +181,20 @@ Inexact-Real-Negative-Zero
Inexact-Real-Positive-Zero
Inexact-Real-Zero
Inexact-Real-Nan
Positive-Rational
Positive-Exact-Rational
Exact-Positive-Rational
Positive-Rational-Not-Integer
Nonnegative-Rational
Nonnegative-Exact-Rational
Exact-Nonnegative-Rational
Negative-Rational
Negative-Exact-Rational
Exact-Negative-Rational
Negative-Rational-Not-Integer
Nonpositive-Rational
Nonpositive-Exact-Rational
Exact-Nonpositive-Rational
Positive-Real
Nonnegative-Real
Negative-Real
Expand Down Expand Up @@ -175,10 +223,13 @@ diagram are subtypes of its containing types.
One
Byte
Positive-Byte
Byte>1
Index
Positive-Index
Positive-Index-Not-Byte
Fixnum
Positive-Fixnum
Positive-Fixnum-Not-Index
Nonnegative-Fixnum
Negative-Fixnum
Nonpositive-Fixnum
Expand All @@ -204,14 +255,27 @@ needed to check the desired bounds at runtime.

@defnums[(
ExtFlonum
ExtFloat
Positive-ExtFlonum
Positive-ExtFloat
Positive-ExtFlonum-Not-Nan
Positive-ExtFloat-Not-Nan
Nonnegative-ExtFlonum
Nonnegative-ExtFloat
Negative-ExtFlonum
Negative-ExtFloat
Negative-ExtFlonum-Not-Nan
Negative-ExtFloat-Not-Nan
Nonpositive-ExtFlonum
Nonpositive-ExtFloat
ExtFlonum-Negative-Zero
ExtFloat-Negative-Zero
ExtFlonum-Positive-Zero
ExtFloat-Positive-Zero
ExtFlonum-Zero
ExtFloat-Zero
ExtFlonum-Nan
ExtFloat-Nan
)]
80-bit @rtech{extflonum} types, for the values operated on by
@racketmodname[racket/extflonum] exports.
Expand All @@ -235,8 +299,10 @@ These are not part of the numeric tower.
@deftype[Path]
@deftype[Path-For-Some-System]
@deftype[Regexp]
@deftype[Base-Regexp]
@deftype[PRegexp]
@deftype[Byte-Regexp]
@deftype[Byte-Base-Regexp]
@deftype[Byte-PRegexp]
@deftype[Bytes]
@deftype[Namespace]
Expand All @@ -249,7 +315,9 @@ These are not part of the numeric tower.
@deftype[Module-Path]
@deftype[Module-Path-Index]
@deftype[Resolved-Module-Path]
@deftype[Other-System-Path]
@deftype[Compiled-Module-Expression]
@deftype[Compiled-Non-Module-Expression]
@deftype[Compiled-Expression]
@deftype[Internal-Definition-Context]
@deftype[Pretty-Print-Style-Table]
Expand All @@ -272,6 +340,7 @@ These are not part of the numeric tower.
@deftype[Subprocess]
@deftype[Place]
@deftype[Place-Channel]
@deftype[Base-Place-Channel]
@deftype[Semaphore]
@deftype[FSemaphore]
@deftype[Will-Executor]
Expand Down Expand Up @@ -1030,9 +1099,15 @@ prefab types with the (implicitly quoted) prefab-key
}

@defalias[Union U "type constructor"]
@defalias[∪ U "type constructor"]
@defalias[Intersection ∩ "type constructor"]
@defalias[→ -> "type constructor"]
@defalias[case→ case-> "type constructor"]
@defalias[Box Boxof "type constructor"]
@defalias[Weak-Box Weak-Boxof "type constructor"]
@defalias[Custodian-Box Custodian-Boxof "type constructor"]
@defalias[MPair MPairof "type constructor"]
@defalias[None Nothing "type"]
@defalias[∀ All "type"]

@section{Other Types}
Expand Down
Loading