Or TACkLe. Or Tomek's Ada Class Library. Everything I find useful and I think should be a part of the (extended) standard library.
This is alpha software. I'm actively working it. YMMV.
In the future, I may split it into multiple libraries.
Tested on Linux x86_64, MacOS ARM, OpenBSD x86_64 and Windows x86_64.
The best is to use it with tada.
For now, it provides these packages:
A curated MIME type database.
with Ada.Text_IO;
with Tackle.MIME
procedure Demo is
use Ada;
use Tackle;
Mime_DB : constant MIME.Database := MIME.Init;
begin
Text_IO.Put_Line (Mime_DB.Mime_Type ("txt")); -- "text/plain"
Text_IO.Put_Line (Mime_DB.Mime_Type ("foo", "foo/bar")); -- "foo/bar"
end Demo;Declarative command line arguments parser.
Options:
with Ada.Text_IO;
with Tackle.Opts;
procedure Opts_Demo is
use Ada;
use Tackle;
Options : constant Opts.Option_List := [Opts.Arg ("alpha", 'a', "Do alpha stuff"),
Opts.Arg ("beta", 'b', "Do beta stuff"),
Opts.Flag ("charlie", 'c', "Has charlie flag")];
Arguments : constant Opts.Argument_List := Opts.Consume_Arguments;
Result : constant Opts.Result := Opts.Parse (Arguments, Options);
begin
-- Help is implicit unless provided
if Result.Has_Flag ("help") then
Opts.Print_Usage ("opts_demo", Options);
return;
end if;
Text_IO.Put_Line ("Alpha: " & Result.Arg ("alpha"));
Text_IO.Put_Line ("Beta: " & Result.Arg ("beta"));
Text_IO.Put_Line ("Charlie?: " & Result.Has_Flag ("charlie")'Image);
end Opts_Demo;$ ./opts_demo --help
Usage: opts_demo [options]
Options:
--alpha, -a <alpha> Do alpha stuff
--beta, -b <beta> Do beta stuff
--charlie, -c Has charlie flag$ ./opts_demo --alpha Yes -b No --charlie
Alpha: Yes
Beta: No
Charlie?: TRUECommands:
procedure Opts_Demo is
use Ada;
use Tackle;
Commands : constant Opts.Command_List := [Opts.Cmd ("alpha", "Do alpha stuff",
[Opts.Flag ("yes", 'y', "Yes?")]),
Opts.Cmd ("beta", "Do beta stuff",
[Opts.Arg ("foo", 'f', "Foo!")], Passthrough => True)];
Arguments : constant Opts.Argument_List := Opts.Consume_Arguments;
Result : constant Opts.Result := Opts.Parse (Arguments, Commands);
begin
-- Help is implicit unless provided
if Result.Cmd = "" or else
Result.Has_Flag ("help")
then
Opts.Print_Usage (Result.Cmd, "opts_demo", Commands);
return;
end if;
if Result.Cmd = "beta" then
Text_IO.Put_Line ("Passthrough args: " & Result.Passthrough_Args'Image);
end if;
end Opts_Demo;$ ./opts_demo --help
Usage: opts_demo <command> [options]
Commands:
alpha Do alpha stuff
beta Do beta stuff
Run 'opts_demo <command> --help' for command options$ ./opts_demo beta --help
Usage: opts_demo beta [options] [-- <args>]
Options:
--foo, -f <foo> Foo!
-- <args> Passthrough arguments$ ./opts_demo beta --foo Bar -- baz qux
Passthrough args:
["baz", "qux"]Architecture and operating system information.
with Ada.Text_IO;
with Tackle.Targets
procedure Demo is
use Ada;
use Tackle;
Target_Info : constant Targets.Target := Targets.Init;
begin
Text_IO.Put_Line (Target_Info.Architecture'Image); -- "x86_64"
Text_IO.Put_Line (Target_Info.Operating_System'Image); -- "openbsd"
end Demo;UTF8 strings in Ada. Use String as a literal vehicle and for IO. UTF8_String is eagerly validated for truncated sequences, improper continuation bytes, overlong encoding, surrogate and range checks. Raises Encoding_Error if invalid. For now, read the package spec.
Ada.Containers-like Cursor API to traverse UTF8_String codepoint by codepoint. Example:
with Ada.Text_IO;
with Tackle.UTF8_Strings;
with Tackle.UTF8_Strings.Codepoint_Iterators;
procedure Demo is
use Ada;
use Tackle.UTF8_Strings;
use Tackle.UTF8_Strings.Codepoint_Iterators;
S : constant UTF8_String := From ("Cześć! 😀");
C : Cursor := First (S);
begin
while Has_Element (C) loop
declare
CP : constant Codepoint := Element (S, C);
begin
Text_IO.Put_Line (To_String (CP));
end;
C := Next (S, C);
end loop;
end Demo;tada build [--profile release|debug]tada test [--profile release|debug]This codebase is written by hand. Claude Code is used for Socratic design exploration and code review.