defs): add monadic versions of list.{find,any,all,bor,band} (#3679)

Commit

5 years ago

feat(data/list/defs): add monadic versions of list.{find,any,all,bor,band} (#3679) Also universe-generalise `mfind` while I'm at it.

Author

JLimperg

Parents