« Previous | Next » 

Revision bf7ee7ad

Parent cef3f99f
Child a716edba

Added by Klaus Aehlig almost 10 years ago

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 <>
Reviewed-by: Michele Tartara <>


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences