Partial of partial values. See the [Teaser] and [Solution] blog
- : http://conal-elliott.blogspot.com/2007/07/type-for-partial-values.html [Solution]: http://conal-elliott.blogspot.com/2007/07/implementing-type-for-partial-values.html
Also defines a
FunAble instance, so that
FunA Partial is an arrow.
Treat a full value as a partial one. Fully overrides any
"previous" (earlier argument to
mappend) partial value.
Force a partial value into a full one, filling in bottom for any missing parts.
Inverse to "element" access, on all elements. A way to inject some
info about every element. For
f, consider '',
Inject a partial argument-source into a partial function-sink.