CrossClj

org.clojure/core.typed clojure.core.typed.check.utils 0.5.3

SourceDocs


project

docs index

NAMESPACES
clojure.core.typed
collect
test
CTYP-234
ann-qualify
ctyp-294
fail
gradual
succeed

RECENT
    VARS
    add-cast
    already-checked?
    check-deps
    check-ns-and-deps*
    checked-ns!
    Constructor->Function
    DataType-ctor-type
    datatype-method-expected
    default-defmethod?
    error-ret
    expected-error
    expr-ns
    extend-method-expected
    Field->Type
    FieldExpr->Field
    find-updated-locals
    fn-self-name
    get-demunged-protocol-method
    hvec->rets
    instance-method->Function
    Java-symbol->Type
    KeyPE->Type
    map->TCResult
    Method->symbol
    Method->Type
    method-map?
    method-nilable-param?
    method-nonnilable-return?
    MethodExpr->Method
    MethodExpr->qualsym
    NewExpr->Ctor
    not-special
    protocol-implementation-type
    record-hidden-fields
    record-implicits
    relevant-Fns
    rewrap-poly
    should-rewrite?
    symbol->PArray
    TCResult->map
    Type->Class
    unwrap-datatype
    unwrap-poly