typed-racket-lib

implementation (no documentation) part of "typed-racket"

Build status: valid license

Authors

Documentation

Tags

main-distribution

License

(Apache-2.0 OR MIT)

Last updated

Monday, April 15th, 2024 10:41:47am (UTC)

Ring

Conflicts

None

Dependencies

Most recent build results

Version Exceptions

Version	Source	Checksum
default	git://github.com/racket/typed-racket/?path=typed-racket-lib	7eb48906e16ccf4e65c7695110188ce72bb76047

Last checked

Saturday, April 27th, 2024 10:11:02am (UTC)

Last edited

Thursday, December 4th, 2014 2:19:43am (UTC)

Date added

N/A

Modules

typed-racket/rep/base-type-rep.rkt
typed-racket/typecheck/tc-if.rkt
typed-racket/tc-setup.rkt
typed-racket/utils/promise-not-name-contract.rkt
typed-racket/infer/infer-unit.rkt
typed/untyped-utils.rkt
typed-racket/logic/ineq.rkt
typed-racket/static-contracts/kinds.rkt
typed-racket/typecheck/tc-lambda-unit.rkt
typed-racket/utils/any-wrap.rkt
typed-racket/utils/struct-type-c.rkt
typed/racket/class.rkt
typed-racket/static-contracts/combinators/function.rkt
typed-racket/base-env/type-name-error.rkt
typed-racket/typecheck/tc-app/tc-app-lambda.rkt
typed-racket/env/lexical-env.rkt
typed-racket/types/current-seen.rkt
typed-racket/optimizer/sequence.rkt
typed-racket/env/init-envs.rkt
typed-racket/static-contracts/combinators.rkt
typed-racket/env/signature-env.rkt
typed-racket/static-contracts/combinators/proposition.rkt
typed-racket/base-env/type-env-lang.rkt
typed/file/md5.rkt
typed-racket/base-env/class-prims.rkt
typed-racket/static-contracts/combinators/derived.rkt
typed-racket/types/resolve.rkt
typed/racket/base/optional/lang/reader.rkt
typed-racket/env/type-env-structs.rkt
typed-racket/typecheck/tc-app/tc-app-apply.rkt
typed/racket/base/deep/lang/reader.rkt
typed-racket/utils/timing.rkt
typed-racket/infer/dmap.rkt
typed-racket/typed-reader.rkt
typed-racket/typecheck/tc-metafunctions.rkt
typed-racket/static-contracts/terminal.rkt
typed-racket/utils/print-struct.rkt
typed-racket/static-contracts/combinators/case-lambda.rkt
typed-racket/env/row-constraint-env.rkt
typed-racket/static-contracts/combinators/lengths.rkt
typed-racket/utils/literal-syntax-class.rkt
typed-racket/optimizer/optimizer.rkt
typed-racket/utils/hash-contract.rkt
typed-racket/typecheck/check-class-unit.rkt
typed-racket/infer/infer.rkt
typed-racket/utils/struct-info.rkt
typed-racket/base-env/top-interaction.rkt
typed-racket/static-contracts/combinators/structural.rkt
typed-racket/typecheck/tc-app/utils.rkt
typed-racket/private/with-types.rkt
typed-racket/optimizer/pair.rkt
typed-racket/typecheck/tc-app/tc-app-eq.rkt
typed-racket/utils/arm.rkt
typed-racket/rep/type-constr.rkt
typed-racket/typed-racket.rkt
typed-racket/utils/identifier.rkt
typed-racket/utils/class-utils.rkt
typed/racket/deep.rkt
typed/racket/base/no-check/lang/reader.rkt
typed-racket/utils/typed-method-property.rkt
typed-racket/env/env-req.rkt
typed-racket/types/numeric-tower.rkt
typed-racket/env/type-name-env.rkt
typed-racket/utils/eq-contract.rkt
typed-racket/typecheck/tc-app/tc-app-special.rkt
typed-racket/optimizer/numeric-utils.rkt
typed-racket/typecheck/tc-funapp.rkt
typed-racket/env/global-env.rkt
typed-racket/rep/filter-rep.rkt
typed/racket/no-check/lang/reader.rkt
typed-racket/types/generalize.rkt
typed-racket/core.rkt
typed-racket/utils/shallow-contract.rkt
typed-racket/static-contracts/parametric-check.rkt
typed-racket/env/scoped-tvar-env.rkt
typed-racket/env/struct-name-env.rkt
typed-racket/private/shallow-rewrite.rkt
typed-racket/utils/early-return.rkt
typed-racket/typecheck/tc-literal.rkt
typed-racket/rep/prop-rep.rkt
typed-racket/types/utils.rkt
typed-racket/utils/disappeared-use.rkt
typed-racket/static-contracts/combinators/any.rkt
typed-racket/logic/proves.rkt
typed-racket/typecheck/tc-app/tc-app-contracts.rkt
typed-racket/types/subtract.rkt
typed/private/utils.rkt
typed-racket/optimizer/struct.rkt
typed-racket/static-contracts/combinators/simple.rkt
typed-racket/base-env/prims-contract.rkt
typed-racket/utils/opaque-object.rkt
typed-racket/static-contracts/combinators/dep-function.rkt
typed-racket/rep/numeric-base-types.rkt
typed/racket/deep/lang/reader.rkt
typed-racket/typecheck/tc-app/tc-app-objects.rkt
typed-racket/base-env/ann-inst.rkt
typed-racket/rep/free-variance.rkt
typed-racket/rep/rep-utils.rkt
typed-racket/utils/plambda-utils.rkt
typed-racket/typecheck/internal-forms.rkt
typed-racket/base-env/unit-prims.rkt
typed/file/sha1.rkt
typed/racket/base/shallow/lang/reader.rkt
typed-racket/typecheck/find-annotation.rkt
typed/racket/unsafe.rkt
typed/racket/optional/lang/reader.rkt
typed-racket/static-contracts/combinators/control.rkt
typed-racket/typecheck/tc-envops.rkt
typed/racket/shallow.rkt
typed-racket/private/parse-classes.rkt
typed-racket/base-env/for-clauses.rkt
typed-racket/static-contracts/combinators/object.rkt
typed-racket/typecheck/tc-apply.rkt
typed-racket/types/substitute.rkt
typed-racket/infer/constraints.rkt
typed-racket/utils/mutated-vars.rkt
typed-racket/minimal.rkt
typed/racket.rkt
typed-racket/private/type-contract.rkt
typed-racket/utils/redirect-contract.rkt
typed-racket/optimizer/hidden-costs.rkt
typed-racket/typecheck/tc-app/tc-app-list.rkt
typed-racket/typecheck/integer-refinements.rkt
typed-racket/base-env/class-clauses.rkt
typed-racket/typecheck/tc-expression.rkt
typed-racket/utils/lift.rkt
typed-racket/static-contracts/combinators/parametric.rkt
typed-racket/typecheck/error-message.rkt
typed-racket/optimizer/fixnum.rkt
typed-racket/optimizer/logging.rkt
typed-racket/base-env/prims-lambda.rkt
typed/racket/base/optional.rkt
typed-racket/typecheck/tc-subst.rkt
typed-racket/private/class-literals.rkt
typed-racket/optimizer/number.rkt
typed-racket/base-env/base-structs.rkt
typed-racket/types/kw-types.rkt
typed-racket/static-contracts/structures.rkt
typed-racket/types/struct-table.rkt
typed-racket/typecheck/provide-handling.rkt
typed-racket/env/index-env.rkt
typed-racket/base-env/base-env.rkt
typed-racket/types/path-type.rkt
typed-racket/infer/intersect.rkt
typed-racket/utils/prefab-c.rkt
typed/racket/optional.rkt
typed-racket/typecheck/tc-let-unit.rkt
typed/racket/no-check.rkt
typed-racket/base-env/signature-prims.rkt
typed/private/no-check-helper.rkt
typed-racket/utils/vector-contract.rkt
typed-racket/env/tvar-env.rkt
typed/racket/base/lang/reader.rkt
typed-racket/private/parse-type.rkt
typed-racket/typecheck/def-binding.rkt
typed/private/rewriter.rkt
typed-racket/rep/base-types.rkt
typed/racket/system.rkt
typed-racket/base-env/base-env-uncontracted.rkt
typed-racket/typecheck/toplevel-trampoline.rkt
typed-racket/minimal/lang/reader.rkt
typed-racket/types/classes.rkt
typed-racket/static-contracts/combinators/unit.rkt
typed-racket/types/overlap.rkt
typed-racket/rep/object-rep.rkt
typed-racket/typecheck/tc-app/tc-app-main.rkt
typed-racket/env/env-utils.rkt
typed-racket/types/printer.rkt
typed-racket/typecheck/check-below.rkt
typed-racket/optimizer/string.rkt
typed/racket/base/no-check.rkt
typed-racket/typecheck/signatures.rkt
typed-racket/types/signatures.rkt
typed-racket/typecheck/tc-toplevel.rkt
typed-racket/typecheck/possible-domains.rkt
typed-racket/optimizer/apply.rkt
typed-racket/typecheck/tc-expr-unit.rkt
typed-racket/static-contracts/combinators/prefab.rkt
typed-racket/optimizer/float-complex.rkt
typed-racket/private/syntax-properties.rkt
typed-racket/rep/free-ids.rkt
typed-racket/optimizer/unboxed-let.rkt
typed-racket/utils/tc-utils.rkt
typed-racket/language-info.rkt
typed-racket/types/match-expanders.rkt
typed-racket/static-contracts/combinators/struct.rkt
typed-racket/infer/promote-demote.rkt
typed-racket/optimizer/unboxed-tables.rkt
typed-racket/typecheck/check-subforms-unit.rkt
typed-racket/base-env/env-lang.rkt
typed-racket/rep/core-rep.rkt
typed-racket/typecheck/tc-send.rkt
typed-racket/utils/sealing-contract.rkt
typed/racket/unit.rkt
typed-racket/static-contracts/instantiate.rkt
typed-racket/utils/simple-result-arrow.rkt
typed-racket/base-env/base-special-env.rkt
typed-racket/rep/rep-switch.rkt
typed-racket/utils/shallow-utils.rkt
typed-racket/base-env/extra-procs.rkt
typed-racket/base-env/base-contracted.rkt
typed-racket/base-env/prims.rkt
typed-racket/typecheck/renamer.rkt
typed-racket/base-env/base-env-numeric.rkt
typed-racket/rep/type-rep.rkt
typed/racket/base.rkt
typed-racket/static-contracts/equations.rkt
typed-racket/types/numeric-predicates.rkt
typed-racket/types/abbrev.rkt
typed-racket/base-env/base-env-indexing.rkt
typed-racket/optimizer/extflonum.rkt
typed-racket/static-contracts/combinators/symbolic-object.rkt
typed-racket/rep/fme-utils.rkt
typed-racket/typecheck/tc-app/tc-app-values.rkt
typed-racket/static-contracts/combinators/name.rkt
typed-racket/env/signature-helper.rkt
typed-racket/optimizer/dead-code.rkt
typed-racket/utils/tarjan.rkt
typed-racket/types/union.rkt
typed-racket/rep/type-mask.rkt
typed-racket/base-env/prims-struct.rkt
typed-racket/optimizer/list.rkt
typed-racket/typecheck/tc-app/signatures.rkt
typed-racket/optimizer/box.rkt
typed-racket/static-contracts/optimize.rkt
typed-racket/infer/fail.rkt
typed-racket/env/type-constr-env.rkt
typed-racket/rep/values-rep.rkt
typed-racket/utils/require-contract.rkt
typed-racket/base-env/annotate-classes.rkt
typed-racket/utils/prefab.rkt
typed-racket/private/type-annotation.rkt
typed-racket/typecheck/tc-app/tc-app-keywords.rkt
typed/racket/lang/reader.rkt
typed/racket/date.rkt
typed-racket/base-env/colon.rkt
typed-racket/utils/utils.rkt
typed-racket/static-contracts/constraints.rkt
typed-racket/infer/signatures.rkt
typed/racket/base/shallow.rkt
typed-racket/typecheck/tc-app-combined.rkt
typed-racket/utils/stxclass-util.rkt
typed/racket/base/deep.rkt
typed-racket/types/tc-result.rkt
typed-racket/optimizer/vector.rkt
typed-racket/typecheck/typechecker.rkt
typed-racket/private/cast-table.rkt
typed-racket/env/mvar-env.rkt
typed-racket/env/type-alias-helper.rkt
typed-racket/optimizer/utils.rkt
typed-racket/static-contracts/combinators/exist.rkt
typed-racket/typecheck/check-unit-unit.rkt
typed-racket/utils/unit-utils.rkt
typed/racket/shallow/lang/reader.rkt
typed-racket/base-env/base-types.rkt
typed-racket/base-env/base-env-indexing-abs.rkt
typed-racket/base-env/extra-env-lang.rkt
typed-racket/standard-inits.rkt
typed-racket/rep/base-union.rkt
typed-racket/typecheck/tc-app/tc-app-hetero.rkt
typed-racket/utils/evt-contract.rkt
typed-racket/utils/disarm.rkt
typed-racket/optimizer/float.rkt
typed-racket/types/base-abbrev.rkt
typed-racket/types/tc-error.rkt
typed/private/wrap.rkt
typed-racket/typecheck/tc-structs.rkt
typed-racket/types/prop-ops.rkt
typed/file/tar.rkt
typed-racket/base-env/base-types-extra.rkt
typed-racket/types/update.rkt
typed-racket/static-contracts/combinators/none.rkt
typed-racket/types/subtype.rkt
typed-racket/infer/constraint-structs.rkt
typed-racket/types/type-table.rkt
typed-racket/env/type-alias-env.rkt
typed-racket/typecheck/tc-app-helper.rkt
typed-racket/private/user-defined-type-constr.rkt
typed-racket/utils/inspector.rkt