std.contract.binding — xyz.zcaudate/std.contract 4.1.0

bind clj

(bind contract)

binds the contract to its var

(defn -minus- ([x y] (- x y)))

(do (bind (contract #'-minus- [])) (bound? #'-minus-)) => true

bound? clj

(bound? obj)

checks if contract is bound to var

(bound? #'-add-) => false

(bound? #'-contract-) => false

(bound? -contract-) => false

contract clj

(contract var inputs)

(contract var inputs output)

defines a contract given var and arguments

contract-info clj

(contract-info {:keys [var] :as contract})

returns the contract info

(-> (contract #'-add- [] nil) (contract-info)) => map?

contract-invoke clj

(contract-invoke contract & args)

invokes the contract

(-> (contract #'-add- [] nil) (contract-invoke 1 2)) => 3

contract-var? clj

(contract-var? var)

checks if var contains a contract

(contract-var? #'-add-) => false

(contract-var? #'-contract-) => true

contract? clj

(contract? obj)

checks if object is a contract

defcontract clj macro

(defcontract sym & body)

defines a contract

(type/defspec <int> integer?)

(defcontract -add- :inputs [<int> <int>])

(-add- 0.5 0.5) => (throws)

parse-arg clj

(parse-arg obj)

parses an input/output arg

(type/defspec <number> number?)

(parse-arg {<number> :strict})

unbind clj

(unbind obj)

unbinds the contract to its var

(do (unbind #'-minus-) (bound? #'-minus-)) => false