PLaneT Package Repository : PLaneT > cce

This package is not available in the 4.x repository. Showing package versions available for all repositories instead.

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

Packages in other repositories

These packages are not available in the 4.x repository, but they are available for other versions of Racket.

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