From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_20,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:620a:4502:b0:6b4:6c2f:e7b7 with SMTP id t2-20020a05620a450200b006b46c2fe7b7mr891285qkp.11.1663261878666;
        Thu, 15 Sep 2022 10:11:18 -0700 (PDT)
X-Received: by 2002:ae9:e114:0:b0:6ce:33c9:5cc2 with SMTP id
 g20-20020ae9e114000000b006ce33c95cc2mr886242qkm.388.1663261878480; Thu, 15
 Sep 2022 10:11:18 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 15 Sep 2022 10:11:18 -0700 (PDT)
In-Reply-To: <jogt5kF4gf3U1@mid.individual.net>
Injection-Info: google-groups.googlegroups.com; posting-host=149.90.69.202; posting-account=3cDqWgoAAAAZXc8D3pDqwa77IryJ2nnY
NNTP-Posting-Host: 149.90.69.202
References: <tfshro$2umbi$1@dont-email.me> <d2881a83-7670-447d-9653-f8abcb294564n@googlegroups.com>
 <tfujbn$38ptt$1@dont-email.me> <f50c0ae4-2289-4c3b-86ca-7a6bfb60fbedn@googlegroups.com>
 <jogt5kF4gf3U1@mid.individual.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6a8a1468-5148-49d7-b342-327f8eaf8097n@googlegroups.com>
Subject: Re: Non-standard functions in GNAT's Ada.Containers packages?
From: Marius Amado-Alves <amado.alves@gmail.com>
Injection-Date: Thu, 15 Sep 2022 17:11:18 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1520
Xref: reader01.eternal-september.org comp.lang.ada:64334
List-Id: <comp.lang.ada>

Thanks, Niklas.

> ... There are functions First and Next ... procedure Iterate ...

Too verbose and error-prone (forget the Next and you get an endless loop).

> "for X of M loop ... end loop".

Not possible for maps.