Liking cljdoc? Tell your friends :D

skeptic.analysis.narrowing


apply-truthy-localclj

(apply-truthy-local type polarity)

Inputs: [type :- ats/SemanticType polarity :- s/Bool] Returns: ats/SemanticType

Inputs: [type :- ats/SemanticType polarity :- s/Bool]
Returns: ats/SemanticType
raw docstring

can-be-falsy-type?clj

(can-be-falsy-type? t)

Inputs: [t :- ats/SemanticType] Returns: s/Any

Inputs: [t :- ats/SemanticType]
Returns: s/Any
raw docstring

classify-leaf-for-predicate?clj

(classify-leaf-for-predicate? pred-info t)

Inputs: [pred-info :- s/Any t :- ats/SemanticType] Returns: s/Keyword

Inputs: [pred-info :- s/Any t :- ats/SemanticType]
Returns: s/Keyword
raw docstring

integral-ground-classesclj


partition-type-for-predicateclj

(partition-type-for-predicate type pred-info polarity)

Inputs: [type :- ats/SemanticType pred-info :- s/Any polarity :- s/Bool] Returns: ats/SemanticType

Inputs: [type :- ats/SemanticType pred-info :- s/Any polarity :- s/Bool]
Returns: ats/SemanticType
raw docstring

partition-type-for-valuesclj

(partition-type-for-values type values polarity)

Inputs: [type :- ats/SemanticType values :- [s/Any] polarity :- s/Bool] Returns: ats/SemanticType

Inputs: [type :- ats/SemanticType values :- [s/Any] polarity :- s/Bool]
Returns: ats/SemanticType
raw docstring

statically-truthy-type?clj

(statically-truthy-type? t)

Inputs: [t :- (s/maybe ats/SemanticType)] Returns: s/Any

Inputs: [t :- (s/maybe ats/SemanticType)]
Returns: s/Any
raw docstring

cljdoc builds & hosts documentation for Clojure/Script libraries

Keyboard shortcuts
Ctrl+kJump to recent docs
Move to previous article
Move to next article
Ctrl+/Jump to the search field
× close