/
package.lisp
20 lines (20 loc) · 1002 Bytes
/
package.lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
(defpackage quid-pro-quo
(:use #:closer-common-lisp #:closer-mop
#:method-combination-utilities
#:alexandria)
(:nicknames #:qpq)
(:export #:contract #:contracted-class #:funcallable-contracted-class
#:results #:old #:implies
#:defrequirement #:defguarantee
#:enable-contracts #:disable-contracts
#:with-contracts-enabled #:with-contracts-disabled
#:contract-violation-error
#:precondition-error #:postcondition-error
#:invariant-error #:creation-invariant-error
#:before-invariant-error #:after-invariant-error
#:malformed-contract-warning #:overly-strict-precondition-warning
#:*verify-preconditions-p*
;; These are for extending invariant support to alternative object
;; systems or other extensions (see loom-slot-value-invariants.lisp
;; for an example).
#:*invariant-initializers* #:add-invariant #:passes-invariants-p))