diff options
Diffstat (limited to 'sucl/pfun.dcl')
| -rw-r--r-- | sucl/pfun.dcl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sucl/pfun.dcl b/sucl/pfun.dcl index 49db62d..baea62f 100644 --- a/sucl/pfun.dcl +++ b/sucl/pfun.dcl @@ -28,6 +28,9 @@ postcomp :: (.ran1 -> .ran2) !(Pfun .dom .ran1) -> Pfun .dom .ran2 // Build a total function from a partial one by supplying a default value total :: .ran !(Pfun dom .ran) dom -> .ran | == dom +// Apply partial function with a default value +foldpfun :: (.ran1 -> .ran2) .ran2 !(Pfun dom .ran1) dom -> .ran2 | == dom + // Domain restriction of a partial function domres :: !.[dom] .(Pfun dom ran) -> Pfun dom ran | == dom |