Missing syntax - Githubissues

stefan-hoeck / idris2-tutorial

BSD 3-Clause "New" or "Revised" License

196 stars 28 forks source link

Missing syntax #16

Open stefan-hoeck opened 2 years ago

stefan-hoeck commented 2 years ago

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

jgarte commented 5 months ago

Hi,

What are tuple sections?

Do they go by another name?

ehamberg commented 5 months ago

What are tuple sections?

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