Liking cljdoc? Tell your friends :D
Clojure only.

dhall-clj.ast

Annotclj

source

Appclj

source

Bindingclj

source

BoolAndclj

source

BoolEQclj

source

BoolIfclj

source

BoolLitclj

source

BoolNEclj

source

BoolOrclj

source

BoolTclj

source

Combineclj

source

CombineTypesclj

source

compact-chunksclj

(compact-chunks chunks)
source

Constclj

source

Constructorsclj

source

DoubleLitclj

source

DoubleShowclj

source

DoubleTclj

source

Envclj

source

Fieldclj

source

Importclj

source

ImportAltclj

source

IntegerLitclj

source

IntegerShowclj

source

IntegerTclj

source

IntegerToDoubleclj

source

IShiftcljprotocol

shiftclj

(shift this diff var)

shift is used by both normalization and type-checking to avoid variable capture by shifting variable indices. (shift e diff {:keys [i x]}) modifies the expression e by adding diff to the indices of all variables named x whose indices are greater than (+ n m), where m is the number of bound variables of the same name within that scope. diff is always +1 or -1, because we either:

  • increment variables by 1 to avoid variable capture during substitution
  • decrement variables by 1 when deleting lambdas after substitution
`shift` is used by both normalization and type-checking to avoid variable
capture by shifting variable indices.
`(shift e diff {:keys [i x]})` modifies the expression `e` by adding `diff`
to the indices of all variables named `x` whose indices are greater than
`(+ n m)`, where `m` is the number of bound variables of the same name
within that scope.
`diff` is always +1 or -1, because we either:
* increment variables by `1` to avoid variable capture during substitution
* decrement variables by `1` when deleting lambdas after substitution
source

ISubstcljprotocol

substclj

(subst this var e)

Substitute all occurrences of a variable with an expression E.g. (subst this var e) ~ this[var := e]

Substitute all occurrences of a variable with an expression
E.g. (subst this var e)  ~  this[var := e]
source

Lamclj

source

Letclj

source

ListAppendclj

source

ListBuildclj

source

ListFoldclj

source

ListHeadclj

source

ListIndexedclj

source

ListLastclj

source

ListLengthclj

source

ListLitclj

source

ListReverseclj

source

ListTclj

source

Localclj

source

map-chunksclj

(map-chunks this f)
source

Mergeclj

source

Missingclj

source

NaturalBuildclj

source

NaturalEvenclj

source

NaturalFoldclj

source

NaturalIsZeroclj

source

NaturalLitclj

source

NaturalOddclj

source

NaturalPlusclj

source

NaturalShowclj

source

NaturalTclj

source

NaturalTimesclj

source

NaturalToIntegerclj

source

Noneclj

source

OptionalBuildclj

source

OptionalFoldclj

source

OptionalLitclj

source

OptionalTclj

source

Piclj

source

Preferclj

source

Projectclj

source

RecordLitclj

source

RecordTclj

source

Remoteclj

source

Someclj

source

TextAppendclj

source

TextLitclj

source

TextTclj

source

UnionLitclj

source

UnionTclj

source

Varclj

source

cljdoc is a website building & hosting documentation for Clojure/Script libraries

Keyboard shortcutsReport a problemcljdoc on GitHub
× close