typed.cljc.checker.fold-rep — org.typedclojure/typed.clj.checker 1.1.4

add-default-fold-case clj macro

(add-default-fold-case ty fld-fn)

add-fold-case clj macro

(add-fold-case pname mname ty fld-fn)

all-extra-params clj

def-derived-fold clj macro

(def-derived-fold pname mname extra-params)

def-sub-functions clj macro

(def-sub-functions)

default-params clj

IFoldDefault clj protocol

fold-default* clj

(fold-default* ty
               type-rec
               type-rec+flip
               type-rec-no-simpl
               type-rec+invariant
               filter-rec
               object-rec
               pathelem-rec)

sub-f clj macro

(sub-f st14441 f14442)

sub-o clj macro

(sub-o st14443 f14444)

sub-pe clj macro

(sub-pe st14439 f14440)