Commit 21d48c32 authored by Vincent Zweije's avatar Vincent Zweije
Browse files

This commit was generated by cvs2svn to compensate for changes in r601,

which included commits to RCS files with non-trunk default branches.
parent ff069c68
......@@ -45,3 +45,5 @@ instance toString Pfun dom ran | toString dom & toString ran
on the nodes in `dom' for which it is defined.
*/
idpfun :: !.[dom] .(Pfun dom dom) -> Bool | == dom
instance == (Pfun dom ran) | == dom & == ran
......@@ -82,3 +82,11 @@ idpfun :: !.[dom] .(Pfun dom dom) -> Bool | == dom
idpfun domain pfun
= all idelem domain
where idelem x = total True (postcomp ((==) x) pfun) x
instance == (Pfun dom ran) | == dom & == ran
where (==) EmptyPfun EmptyPfun = True
(==) (Extend x1 y1 pf1) (Extend x2 y2 pf2)
= x1==x2 && y1==y2 && pf1==pf2
(==) (Restrict x1 pf1) (Restrict x2 pf2)
= x1==x2 && pf1==pf2
(==) _ _ = False
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment