Idiom to check whether monad runs without error?

Stream: metaprogramming / tactics

[Heather Macbeth]

I wrote some code which, in a convoluted way, returns "true" if a certain MetaM call works, and "false" if it throws an error:

try
  let _ ← [metaprogram]
  pure true
catch _ => pure false

Is there a shorter idiom for this?

[Eric Wieser]

There is docs#observing and docs#Lean.observing?

[Eric Wieser]

Or maybe docs#succeeds

[Heather Macbeth]

Thanks, succeeds is nice!