idris2-tutorial icon indicating copy to clipboard operation
idris2-tutorial copied to clipboard

Missing syntax

Open stefan-hoeck opened this issue 3 years ago • 2 comments

This is a non-comprehensive list of syntactic utilities I haven't yet explained in the tutorials. I'll update this whenever something else comes to mind.

  • [ ] Tuple sections
  • [ ] Qualified idiom brackets
  • [ ] Monad comprehensions
  • [ ] Lambda case
  • [ ] using for named implementations
  • [x] Raw string literals, multiline strings, and string interpolation
  • [x] Auto implicits
  • [x] Hexadecimal, octal, and binary integer literals
  • [x] %name pragmas
  • [x] failing blocks

stefan-hoeck avatar Feb 02 '22 06:02 stefan-hoeck

Hi,

What are tuple sections?

Do they go by another name?

jgarte avatar May 18 '24 14:05 jgarte

What are tuple sections?

Here’s a brief explanation: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/tuple_sections.html

ehamberg avatar May 19 '24 08:05 ehamberg