clojure.core.contracts.constraints — org.clojure/core.contracts 0.0.6

<- clj

(<- p q)

Converse implication

<=> clj

(<=> p q)

Logical equality

= clj

(= l__2007__auto__)

(= l__2007__auto__ r__2008__auto__)

Curried version of #'clojure.core/=

== clj

(== l__2007__auto__)

(== l__2007__auto__ r__2008__auto__)

Curried version of #'clojure.core/==

all-negative? clj

all-numbers? clj

all-positive? clj

anything clj

(anything & _)

defconstrainedfn clj macro

(defconstrainedfn name & body)

Defines a function using the contract vector appearing after the arguments.

(defconstrainedfn sqr
  [n] [number? (not= 0 n) => pos? number?]
  (* n n))

Like the contract macro, multiple arity functions can be defined where each argument vector is immediately followed by the relevent arity expectations. This macro will also detect if a map is in that constraints position and use that instead under the assumption that Clojure's :pre/:post map is used instead.

defconstrainedrecord clj macro

(defconstrainedrecord name slots inv-description invariants & etc)

except clj

(except p q)

P except Q

falsey clj

implies clj

(implies p q)

Logical implication

in clj

(in e & args)

Takes an item and determines if it falls in the listed args. This can be used most effectively for numbers since any numbers in a vector represent a range of values determined by the same arguments as given to range.

not= clj

(not= l__2007__auto__)

(not= l__2007__auto__ r__2008__auto__)

Curried version of #'clojure.core/not=

truthy clj

whitelist clj

(whitelist wl things)

Takes a thing with keys (i.e. maps or sets) and checks if it contains only the keys listed in the given whitelist.

xor clj

(xor p q)

Exclusive or