[PROPOSAL] !-notation from idris2

Change Proposals
#1

https://idris2.readthedocs.io/en/latest/tutorial/interfaces.html#notation

useful notation

instead of

foo = do
  x' <- bar
  case x' of
     Nothing -> ...
     Just x'' -> ...

one can write

foo = do
  case !bar of
     Nothing -> ...
     Just x'' -> ...
2 Likes
#2

For reference: Monadic Bang: A plugin for more concise do-block notation, inspired by Idris - Announcements - Haskell Community

#3

More tempting exclamations to make less readable notations.