|
Data.Partial | Portability | portable | Stability | experimental | Maintainer | conal@conal.net |
|
|
|
|
|
Description |
A monoid Partial of partial values. See the [Teaser] and [Solution] blog
posts.
- Teaser
- : 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.
|
|
Synopsis |
|
|
|
|
Partial values
|
|
|
Partial value. Represented an endomorphism, which is a Monoid
under id and '(.)'. Then mempty is the completely undefined value,
and in u `@'mappend'@` v, v selectively replaces parts of u. The
Endo instances for Pair, Unpair, Copair, Unfun, and Cofun
are all very useful on partial values.
|
|
|
|
|
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 '[]', (->) a,
Event, etc.
|
|
|
Provide in info about a function argument
|
|
|
Provide info about a function result
|
|
|
Inject a partial argument-source into a partial function-sink.
|
|
Support for arrow partial value arrow
|
|
Produced by Haddock version 2.3.0 |