Revision bf7ee7ad
| ID | bf7ee7ad54a1e13e7d4ff863ba08b559ae6e09ed |
| Parent | cef3f99f |
| Child | a716edba |
Provide function to obtain the unique element of a list
This version of 'the' properly lives in the 'Result' monad,
as opposed to traditional one calling 'error'. The reason
why it is 'Bad' that not precisely one element is returned
is given as argument.
Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Michele Tartara <mtartara@google.com>
Files
- added
- modified
- copied
- renamed
- deleted