Partial of partial values. See the [Teaser] and [Solution] blog
- : http://conal.net/blog/posts/a-type-for-partial-values [Solution]: http://conal.net/blog/posts/implementing-a-type-for-partial-values
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.