mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-09 23:23:00 -04:00
81746b9c4a
Closes: https://github.com/gentoo/guru/pull/141 Signed-off-by: Julien Roy <julien@jroy.ca>
21 lines
862 B
XML
21 lines
862 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
|
<pkgmetadata>
|
|
<!-- maintainer-needed -->
|
|
<longdescription lang="en">Gmap exposes the functor `Make` which takes a key type (a
|
|
[GADT](https://en.wikipedia.org/wiki/Generalized_algebraic_data_type) 'a key)
|
|
and outputs a type-safe Map where each 'a key is associated with a 'a value.
|
|
This removes the need for additional packing. It uses OCaml's stdlib
|
|
[Map](http://caml.inria.fr/pub/docs/manual-ocaml/libref/Map.html) data
|
|
structure.</longdescription>
|
|
<upstream>
|
|
<doc>https://hannesm.github.io/gmap/doc</doc>
|
|
<bugs-to>https://github.com/hannesm/gmap/issues</bugs-to>
|
|
<remote-id type="github">hannesm/gmap</remote-id>
|
|
<maintainer>
|
|
<name>Hannes Mehnert</name>
|
|
<email>hannes@mehnert.org</email>
|
|
</maintainer>
|
|
</upstream>
|
|
</pkgmetadata>
|