skeptic.analysis.cast.support — org.clojars.nomicflux/skeptic 0.8.0

aggregate-children clj

(aggregate-children source-type target-type rule polarity reason children)

Inputs: [source-type :- s/Any target-type :- s/Any rule :- s/Any polarity :- s/Any reason :- s/Any children :- s/Any] Returns: csch/CastResult

all-ok? clj

(all-ok? results)

Inputs: [results :- [csch/CastResult]] Returns: s/Bool

cast-fail clj

(cast-fail source-type target-type rule polarity reason)

(cast-fail source-type target-type rule polarity reason children)

(cast-fail source-type target-type rule polarity reason children details)

Inputs: ([source-type :- s/Any target-type :- s/Any rule :- s/Any polarity :- s/Any reason :- s/Any] [source-type :- s/Any target-type :- s/Any rule :- s/Any polarity :- s/Any reason :- s/Any children :- s/Any] [source-type :- s/Any target-type :- s/Any rule :- s/Any polarity :- s/Any reason :- s/Any children :- s/Any details :- s/Any]) Returns: csch/CastResult

cast-ok clj

(cast-ok source-type target-type rule)

(cast-ok source-type target-type rule children)

(cast-ok source-type target-type rule children details)

Inputs: ([source-type :- s/Any target-type :- s/Any rule :- s/Any] [source-type :- s/Any target-type :- s/Any rule :- s/Any children :- s/Any] [source-type :- s/Any target-type :- s/Any rule :- s/Any children :- s/Any details :- s/Any]) Returns: csch/CastResult

cast-result clj

(cast-result {:keys [ok? source-type target-type rule polarity reason children
                     details]
              :as inputs})

Inputs: [{:keys [ok? source-type target-type rule polarity reason children details], :as inputs} :- s/Any] Returns: csch/CastResult

check-type-test clj

(check-type-test value-type ground-type)

(check-type-test value-type ground-type _opts)

Inputs: ([value-type :- s/Any ground-type :- s/Any] [value-type :- s/Any ground-type :- s/Any _opts :- s/Any]) Returns: csch/CastResult

contains-sealed-ground? clj

(contains-sealed-ground? type binder)

Inputs: [type :- s/Any binder :- s/Any] Returns: s/Bool

exit-nu-scope clj

(exit-nu-scope artifact binder)

Inputs: [artifact :- s/Any binder :- s/Any] Returns: csch/CastResult

indexed-request clj

(indexed-request kind idx source-type target-type opts)

leaked-sealed-type clj

(leaked-sealed-type cast-result binder)

Inputs: [cast-result :- csch/CastResult binder :- s/Any] Returns: s/Any

matching-source-method clj

(matching-source-method source-fun target-method)

Inputs: [source-fun :- ats/SemanticType target-method :- ats/SemanticType] Returns: (s/maybe ats/SemanticType)

method-accepts-arity? clj

(method-accepts-arity? method arity)

Inputs: [method :- ats/SemanticType arity :- s/Int] Returns: s/Bool

optional-key-inner clj

(optional-key-inner type)

Inputs: [type :- ats/SemanticType] Returns: ats/SemanticType

rule-seal-delta clj

(rule-seal-delta result binder)

Inputs: [result :- csch/CastResult binder :- s/Any] Returns: s/Int

seal-balance clj

(seal-balance cast-result binder)

Inputs: [cast-result :- csch/CastResult binder :- s/Any] Returns: s/Int

sealed-ground-name clj

(sealed-ground-name type)

Inputs: [type :- s/Any] Returns: s/Any

semantic-type-children clj

(semantic-type-children type)

Inputs: [type :- s/Any] Returns: [s/Any]

with-cast-path clj

(with-cast-path result segment)

Inputs: [result :- csch/CastResult segment :- s/Any] Returns: csch/CastResult