« Previous | Next » 

Revision bf7ee7ad

IDbf7ee7ad54a1e13e7d4ff863ba08b559ae6e09ed
Parent cef3f99f
Child a716edba

Added by Klaus Aehlig over 7 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 <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences