diff options
Diffstat (limited to 'sucl/pfun.dcl')
| -rw-r--r-- | sucl/pfun.dcl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/sucl/pfun.dcl b/sucl/pfun.dcl index 920c28c..2f68103 100644 --- a/sucl/pfun.dcl +++ b/sucl/pfun.dcl @@ -4,6 +4,7 @@ definition module pfun from StdString import toString from StdOverloaded import == +from cleanversion import String // Partial function abstract type :: Pfun dom ran @@ -42,6 +43,13 @@ apply :: !(Pfun dom .ran) dom -> (.Bool,.ran) | == dom instance toString (Pfun dom ran) | toString dom & toString ran & == dom (writepfun) infixl :: *File .(Pfun dom ran) -> .File | ==,toString dom & toString ran +showpfun :: + (dom->String) + (ran->String) + (Pfun dom ran) + -> String + | == dom + /* `Idpfun dom pfun' checks whether partial function `pfun' is the identity on the nodes in `dom' for which it is defined. */ |