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
PartialFunctionsfandgwith no side effects, we compose them into another partial functionhsuch thath.isDefinedAt(x)iff.isDefinedAt(x)andg.isDefinedAt(f(x))a
PartialFunctioncomposed fromfandg