PLaneT Package Repository : PLaneT > cce

Package equiv.plt contributed by cce [docs]

To load: (require (planet cce/equiv:1:2/equiv))

Old style: (require (planet "equiv.ss" ("cce" "equiv.plt" 1 2)))

Package description:

Extensible Recursive Equivalence Relations.

Downloads this week: 0

Total downloads: 432

Tickets: 0

Open tickets: 0

Primary files:

Name	Contract
`equiv-rules/c`	flat-contract?
`equiv-rules?`	predicate/c
`default-equiv-rules`	equiv-rules/c
`add-equiv-rule`	(-> predicate/c node-equality/c equiv-rules/c equiv-rules/c)
`add-binary-equiv-rule`	(-> binary-predicate/c node-equality/c equiv-rules/c equiv-rules/c)
`add-equiv-rule/leaf`	(-> predicate/c equality/c equiv-rules/c equiv-rules/c)
`make-equiv`	(-> equiv-rules/c equality/c)
`current-equiv-rules`	parameter?
`equiv?`	equality/c

Current version

PLaneT version	External version	Source	DLs	Docs	Req. PLT	Date added
(1 2)	—	[browse]	134	[docs]	[none]	2007-05-24
To load: `(require (planet cce/equiv:1:2/equiv))`
Available in repositories: 3xx
1.2: Added equivalence rules with binary predicates. 1.1: Fixed a contract error. 1.0: Initial release.

No Tickets Currently open for this Package [New Ticket]

Old versions

PLaneT version	External version	Source	DLs	Docs	Req. PLT	Date added
(1 1)	—	[browse]	281	[docs]	[none]	2007-04-01
To load: `(require (planet "equiv.ss" ("cce" "equiv.plt" 1 (= 1))))`
Available in repositories: 3xx
[no release notes]
(1 0)	—	[browse]	17	[docs]	[none]	2007-04-01
To load: `(require (planet "equiv.ss" ("cce" "equiv.plt" 1 (= 0))))`
Available in repositories: 3xx
[no release notes]