Index of Public Functions and Variables - Gradual Typing 0.1.8 (in development)
This page has an alphabetical index of all the documented functions and variables in Gradual Typing.A
->AndFilter function clojure.core.typed . ->AnyValue function clojure.core.typed . ->App function clojure.core.typed . ->ArrayCLJS function clojure.core.typed . abstract-many function clojure.core.typed Names Type -> Scope^n where n is (count names). add-multimethod-dispatch-type function clojure.core.typed Add the type of the dispatch function of the multi... AndFilter record clojure.core.typed AnyValue record clojure.core.typed App record clojure.core.typed ArrayCLJS record clojure.core.typed
B
->B function clojure.core.typed . ->BooleanCLJS function clojure.core.typed . ->BotFilter function clojure.core.typed . ->Bounds function clojure.core.typed . B record clojure.core.typed BooleanCLJS record clojure.core.typed BotFilter record clojure.core.typed Bounds record clojure.core.typed
C
->c function clojure.core.typed . ->ClassPE function clojure.core.typed . ->CountPE function clojure.core.typed . ->CountRange function clojure.core.typed . ->cset function clojure.core.typed . ->cset-entry function clojure.core.typed . c record clojure.core.typed cf macro clojure.core.typed Type check a Clojure form and return its type. cf-cljs macro clojure.core.typed Type check a Clojurescript form and return its typ... check-anon-fn function clojure.core.typed Check anonymous function, with annotated methods. ... check-cljs-ns* function clojure.core.typed Type check a CLJS namespace. If not provided defau... check-fn function clojure.core.typed Check a fn to be under expected and annotate the i... check-ns function clojure.core.typed Type check a namespace. If not provided default to... ClassPE record clojure.core.typed CountPE record clojure.core.typed CountRange record clojure.core.typed cset record clojure.core.typed cset-entry record clojure.core.typed ctor-Class->symbol function clojure.core.typed Returns a symbol representing this constructor's C...
D
->DataType function clojure.core.typed . ->dcon function clojure.core.typed . ->dcon-dotted function clojure.core.typed . ->dcon-exact function clojure.core.typed . ->dmap function clojure.core.typed . ->DottedPretype function clojure.core.typed . DataType record clojure.core.typed dcon record clojure.core.typed dcon-dotted record clojure.core.typed dcon-exact record clojure.core.typed declare-alias-kind macro clojure.core.typed Declare a kind for an alias, similar to declare bu... declare-datatypes macro clojure.core.typed Declare datatypes, similar to declare but on the t... declare-names macro clojure.core.typed Declare names, similar to declare but on the type ... declare-protocols macro clojure.core.typed Declare protocols, similar to declare but on the t... def-alias macro clojure.core.typed Define a type alias. dmap record clojure.core.typed DottedPretype record clojure.core.typed
E
EmptyObject record clojure.core.typed
F
->F function clojure.core.typed . ->FilterSet function clojure.core.typed . ->FirstPE function clojure.core.typed . ->FlowSet function clojure.core.typed . ->FnIntersection function clojure.core.typed . ->FnResult function clojure.core.typed . ->Function function clojure.core.typed . ->FunctionCLJS function clojure.core.typed . F record clojure.core.typed fi function clojure.core.typed All index variables in type (dotted bounds, etc.). FilterSet record clojure.core.typed FirstPE record clojure.core.typed FlowSet record clojure.core.typed fn> macro clojure.core.typed Define a typed anonymous function. (fn> name? :- t... FnIntersection record clojure.core.typed FnResult record clojure.core.typed free-in-scope function clojure.core.typed Find the free scoped as name. free-in-scope-bnds function clojure.core.typed Find the bounds for the free scoped as name. free-with-name function clojure.core.typed Find the free with the actual name name, as oppose... free-with-name-bnds function clojure.core.typed Find the bounds for the free with the actual name ... Function record clojure.core.typed FunctionCLJS record clojure.core.typed fv function clojure.core.typed All frees in type.
H
->HeterogeneousList function clojure.core.typed . ->HeterogeneousSeq function clojure.core.typed . ->HeterogeneousVector function clojure.core.typed . HeterogeneousList record clojure.core.typed HeterogeneousMap record clojure.core.typed HeterogeneousSeq record clojure.core.typed HeterogeneousVector record clojure.core.typed
I
->i-subst function clojure.core.typed . ->i-subst-dotted function clojure.core.typed . ->i-subst-starred function clojure.core.typed . ->Intersection function clojure.core.typed . i-subst record clojure.core.typed i-subst-dotted record clojure.core.typed i-subst-starred record clojure.core.typed idx-variances function clojure.core.typed Map of indexes to their variances. ImpFilter record clojure.core.typed inst macro clojure.core.typed Instantiate a polymorphic type with a number of ty... inst-ctor macro clojure.core.typed Instantiate a call to a constructor with a number ... instantiate-many function clojure.core.typed instantiate-many : List[Symbols] Scope^n -> Type I... Intersection record clojure.core.typed into-array> macro clojure.core.typed Make a Java array with Java class javat and Typed ...
J
K
->KeyPE function clojure.core.typed . ->KwArgs function clojure.core.typed . KeyPE record clojure.core.typed KwArgs record clojure.core.typed
L
->ListDots function clojure.core.typed . ->LTRange function clojure.core.typed . ListDots record clojure.core.typed loop> macro clojure.core.typed Define a typed loop. LTRange record clojure.core.typed
M
->Mu function clojure.core.typed . make-F function clojure.core.typed Make a free variable . make-Function function clojure.core.typed Make a function, wrap range type in a Result. Acce... make-Result function clojure.core.typed Make a result. ie. the range of a Function. manual-inst function clojure.core.typed Poly Type^n -> Type Substitute the type parameters... map->AndFilter function clojure.core.typed . map->AnyValue function clojure.core.typed . map->App function clojure.core.typed . map->ArrayCLJS function clojure.core.typed . map->B function clojure.core.typed . map->BooleanCLJS function clojure.core.typed . map->BotFilter function clojure.core.typed . map->Bounds function clojure.core.typed . map->c function clojure.core.typed . map->ClassPE function clojure.core.typed . map->CountPE function clojure.core.typed . map->CountRange function clojure.core.typed . map->cset function clojure.core.typed . map->cset-entry function clojure.core.typed . map->DataType function clojure.core.typed . map->dcon function clojure.core.typed . map->dcon-dotted function clojure.core.typed . map->dcon-exact function clojure.core.typed . map->dmap function clojure.core.typed . map->DottedPretype function clojure.core.typed . map->EmptyObject function clojure.core.typed . map->F function clojure.core.typed . map->FilterSet function clojure.core.typed . map->FirstPE function clojure.core.typed . map->FlowSet function clojure.core.typed . map->FnIntersection function clojure.core.typed . map->FnResult function clojure.core.typed . map->Function function clojure.core.typed . map->FunctionCLJS function clojure.core.typed . map->GTRange function clojure.core.typed . map->HeterogeneousList function clojure.core.typed . map->HeterogeneousMap function clojure.core.typed . map->HeterogeneousSeq function clojure.core.typed . map->HeterogeneousVector function clojure.core.typed . map->i-subst function clojure.core.typed . map->i-subst-dotted function clojure.core.typed . map->i-subst-starred function clojure.core.typed . map->ImpFilter function clojure.core.typed . map->Intersection function clojure.core.typed . map->KeyPE function clojure.core.typed . map->KwArgs function clojure.core.typed . map->ListDots function clojure.core.typed . map->LTRange function clojure.core.typed . map->Mu function clojure.core.typed . map->Name function clojure.core.typed . map->NextPE function clojure.core.typed . map->NoFilter function clojure.core.typed . map->NoObject function clojure.core.typed . map->NotType function clojure.core.typed . map->NotTypeFilter function clojure.core.typed . map->NumberCLJS function clojure.core.typed . map->ObjectCLJS function clojure.core.typed . map->OrFilter function clojure.core.typed . map->Path function clojure.core.typed . map->Poly function clojure.core.typed . map->PolyDots function clojure.core.typed . map->PrimitiveArray function clojure.core.typed . map->Projection function clojure.core.typed . map->PropEnv function clojure.core.typed . map->Protocol function clojure.core.typed . map->RClass function clojure.core.typed . map->Record function clojure.core.typed . map->RecurTarget function clojure.core.typed . map->Result function clojure.core.typed . map->Scope function clojure.core.typed . map->StringCLJS function clojure.core.typed . map->SymbolCLJS function clojure.core.typed . map->t-subst function clojure.core.typed . map->TApp function clojure.core.typed . map->TCResult function clojure.core.typed . map->Top function clojure.core.typed . map->TopFilter function clojure.core.typed . map->TopFunction function clojure.core.typed . map->TypeFilter function clojure.core.typed . map->TypeFn function clojure.core.typed . map->Union function clojure.core.typed . map->Value function clojure.core.typed . method-type function clojure.core.typed Given a method symbol, print the core.typed types ... Mu record clojure.core.typed
N
->Name function clojure.core.typed . ->NextPE function clojure.core.typed . ->NoFilter function clojure.core.typed . ->NoObject function clojure.core.typed . ->NotType function clojure.core.typed . ->NotTypeFilter function clojure.core.typed . ->NumberCLJS function clojure.core.typed . Name record clojure.core.typed NextPE record clojure.core.typed nilable-param macro clojure.core.typed Overrides which parameters in a method may accept ... NoFilter record clojure.core.typed non-nil-return macro clojure.core.typed Override the return type of method msym to be non-... NoObject record clojure.core.typed NotType record clojure.core.typed NotTypeFilter record clojure.core.typed NumberCLJS record clojure.core.typed
O
->ObjectCLJS function clojure.core.typed . ->OrFilter function clojure.core.typed . ObjectCLJS record clojure.core.typed open-Result function clojure.core.typed Substitute ids for objs in Result t. OrFilter record clojure.core.typed
P
->Path function clojure.core.typed . ->Poly function clojure.core.typed . ->PolyDots function clojure.core.typed . ->PrimitiveArray function clojure.core.typed . ->Projection function clojure.core.typed . ->PropEnv function clojure.core.typed . ->Protocol function clojure.core.typed . Path record clojure.core.typed pfn> macro clojure.core.typed Define a polymorphic typed anonymous function. (pf... Poly record clojure.core.typed PolyDots record clojure.core.typed PrimitiveArray record clojure.core.typed print-filterset function clojure.core.typed Print the filter set attached to form, and debug-s... Projection record clojure.core.typed PropEnv record clojure.core.typed Protocol record clojure.core.typed
Q
R
->RClass function clojure.core.typed . ->Record function clojure.core.typed . RClass record clojure.core.typed RClass-supers* function clojure.core.typed Return a set of ancestors to the RClass. Record record clojure.core.typed RecurTarget record clojure.core.typed relevant-Fns function clojure.core.typed Given a set of required-param exprs, rest-param ex... Result record clojure.core.typed ret function clojure.core.typed Convenience function for returning the type of an ...
S
->Scope function clojure.core.typed . ->StringCLJS function clojure.core.typed . ->SymbolCLJS function clojure.core.typed . Scope record clojure.core.typed scope-depth? function clojure.core.typed True if scope is has depth number of scopes nested. simplify-prop function clojure.core.typed Try and use atomic proposition a to simplify compo... StringCLJS record clojure.core.typed subtypes-varargs? function clojure.core.typed True if argtys are under dom. symbol->Class function clojure.core.typed Returns the Class represented by the symbol. Works... SymbolCLJS record clojure.core.typed
T
->TApp function clojure.core.typed . ->TCResult function clojure.core.typed . ->Top function clojure.core.typed . ->TopFilter function clojure.core.typed . ->TopFunction function clojure.core.typed . ->TypeFilter function clojure.core.typed . ->TypeFn function clojure.core.typed . t-subst record clojure.core.typed TApp record clojure.core.typed tc-ignore macro clojure.core.typed Ignore forms in body during type checking. TCResult record clojure.core.typed Top record clojure.core.typed TopFilter record clojure.core.typed TopFunction record clojure.core.typed TypeFilter record clojure.core.typed TypeFn record clojure.core.typed
U
->Union function clojure.core.typed . Union record clojure.core.typed unwrap-datatype function clojure.core.typed Takes a possibly polymorphic DataType and returns ... unwrap-poly function clojure.core.typed Return a pair vector of the instantiated body of t...
W
X
Y
Z
Other
Copyright 2007-2013 by Rich Hickey and the various contributors
Logo & site design by Tom Hickey.
Clojure auto-documentation system by Tom Faulhaber.
Clojure auto-documentation system by Tom Faulhaber.