com.actian.spark_vector
Having two PartialFunctions f and g with no side effects, we compose them into another partial function h such that h.isDefinedAt(x) if f.isDefinedAt(x) and g.isDefinedAt(f(x))
PartialFunctions
f
g
h
h.isDefinedAt(x)
f.isDefinedAt(x)
g.isDefinedAt(f(x))
a PartialFunction composed from f and g
PartialFunction
Having two
PartialFunctions
f
andg
with no side effects, we compose them into another partial functionh
such thath.isDefinedAt(x)
iff.isDefinedAt(x)
andg.isDefinedAt(f(x))
a
PartialFunction
composed fromf
andg