Liking cljdoc? Tell your friends :D
Clojure only.

clojure.core.logic.protocols

enforceable?clj

(enforceable? x)
source

IAnswerCachecljprotocol

-addclj

(-add this x)

-cached?clj

(-cached? this x)
source

IBindcljprotocol

bindclj

(bind this g)
source

IBuildTermcljprotocol

build-termclj

(build-term u s)
source

IConstraintIdcljprotocol

-idclj

(-id c)
source

IConstraintOpcljprotocol

-randsclj

(-rands c)

-ratorclj

(-rator c)
source

IConstrainTreecljprotocol

-constrain-treeclj

(-constrain-tree t fc s)
source

IConstraintStepcljprotocol

-stepclj

(-step c s)
source

IConstraintStorecljprotocol

addcclj

(addc this a c)

constraints-forclj

(constraints-for this a x ws)

migrateclj

(migrate this x root a)

remcclj

(remc this a c)

runcclj

(runc this c state)

updatecclj

(updatec this a c)
source

IConstraintWatchedStorescljprotocol

-watched-storesclj

(-watched-stores c)
source

idclj

(id c)
source

IDisunifyTermscljprotocol

-disunify-termsclj

(-disunify-terms u v s cs)
source

IEntailedcljprotocol

-entailed?clj

(-entailed? c)
source

IEntailedVarcljprotocol

-entailed-var?clj

(-entailed-var? c x)
source

IFeaturecljprotocol

-featureclj

(-feature x)
source

IForceAnswerTermcljprotocol

-force-ansclj

(-force-ans v x)
source

IIfAcljprotocol

ifaclj

(ifa b gs c)
source

IIfUcljprotocol

ifuclj

(ifu b gs c)
source

IJonccljprotocol

-joncfclj

(-joncf this)
source

IMemberCountcljprotocol

-member-countclj

(-member-count dom)
source

IMergeDomainscljprotocol

-merge-domsclj

(-merge-doms a b)
source

IMPluscljprotocol

mplusclj

(mplus a f)
source

IOccursCheckTermcljprotocol

occurs-check-termclj

(occurs-check-term v x s)
source

IPrefixcljprotocol

-prefixclj

(-prefix c)
source

IReifiableConstraintcljprotocol

-reifycclj

(-reifyc c v r a)
source

IReifyTermcljprotocol

reify-termclj

(reify-term v s)
source

IRelcljprotocol

add-indexesclj

(add-indexes this arity index)

indexes-forclj

(indexes-for this arity)

setfnclj

(setfn this arity f)
source

IRunnablecljprotocol

-runnable?clj

(-runnable? c)
source

ISubstitutionscljprotocol

ext-no-checkclj

(ext-no-check this x v)

walkclj

(walk this x)
source

ISubstitutionsCLPcljprotocol

ext-run-csclj

(ext-run-cs this x v)

queueclj

(queue this c)

root-valclj

(root-val this x)

root-varclj

(root-var this x)

update-varclj

(update-var this x v)
source

ISuspendedStreamcljprotocol

ready?clj

(ready? this)
source

ITabledcljprotocol

-reify-tabledclj

(-reify-tabled this v)

reify-tabledclj

(reify-tabled this v)

reuseclj

(reuse this argv cache start end)

subunifyclj

(subunify this arg ans)
source

ITakecljprotocol

take*clj

(take* a)
source

IUnifyTermscljprotocol

unify-termsclj

(unify-terms u v s)
source

IUnifyWithPMapcljprotocol

unify-with-pmapclj

(unify-with-pmap pmap u s)
source

IUnifyWithRecordcljprotocol

unify-with-recordclj

(unify-with-record u v s)
source

IUninitializedcljprotocol

-uninitializedclj

(-uninitialized coll)
source

IUnwrapConstraintcljprotocol

-unwrapclj

(-unwrap c)
source

IVerifyConstraintcljprotocol

-verifyclj

(-verify c a cs)
source

IWalkTermcljprotocol

walk-termclj

(walk-term v f)
source

IWithConstraintIdcljprotocol

-with-idclj

(-with-id c id)
source

IWithPrefixcljprotocol

-with-prefixclj

(-with-prefix c p)
source

LConsPrintcljprotocol

toShortStringclj

(toShortString this)
source

LConsSeqcljprotocol

lfirstclj

(lfirst this)

lnextclj

(lnext this)
source

non-storable?clj

(non-storable? x)
source

reifiable?clj

(reifiable? x)
source

tree-constraint?clj

(tree-constraint? x)
source

with-idclj

(with-id c id)
source

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
Raise an issueBrowse cljdoc sourceChat on Slack
× close