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

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
               opts
               type-rec
               type-rec+flip
               type-rec+invariant
               filter-rec
               object-rec
               pathelem-rec)

sub-f clj macro

(sub-f st13738 f13739 opts13740)

sub-o clj macro

(sub-o st13741 f13742 opts13743)

sub-pe clj macro

(sub-pe st13735 f13736 opts13737)