idris2-tutorial
idris2-tutorial copied to clipboard
Missing syntax
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
Hi,
What are tuple sections?
Do they go by another name?
What are tuple sections?
Here’s a brief explanation: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/tuple_sections.html