diff options
Diffstat (limited to 'sucl/pfun.icl')
| -rw-r--r-- | sucl/pfun.icl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/sucl/pfun.icl b/sucl/pfun.icl index 14df397..c303b7d 100644 --- a/sucl/pfun.icl +++ b/sucl/pfun.icl @@ -54,6 +54,11 @@ total def (Restrict x p) arg | arg==x = def = total def p arg +// Apply partial function with a default value +foldpfun :: (.ran1 -> .ran2) .ran2 !(Pfun dom .ran1) dom -> .ran2 | == dom +foldpfun found notfound pfun arg + = total notfound (postcomp found pfun) arg + domres :: !.[dom] .(Pfun dom ran) -> Pfun dom ran | == dom domres domain oldpfun = foldr adddom emptypfun domain |