Logo

Programming-Idioms

History of Idiom 51 > diff from v15 to v16

Edit summary for version 16 by :

Version 15

2015-09-04, 13:17:12

Version 16

2015-09-04, 18:21:49

Idiom #51 Check if map contains key

Determine whether map m contains an entry for key k

Idiom #51 Check if map contains key

Determine whether map m contains an entry for key k

Code
lookup k m /= Nothing