[ check ] collection update

https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/12148178769
stefan-hoeck · Dec 3, 2024 · ecf0f88 · ecf0f88
1 parent d28492c
commit ecf0f88
Show file tree

Hide file tree

Showing 2 changed files with 1,181 additions and 7 deletions.
diff --git a/STATUS.md b/STATUS.md
@@ -19,11 +19,13 @@
 | [base64](https://git.sr.ht/~janus/base64) | Base64 decoding/encoding, based on C. Provides `Data.String.Base64`. Used in e.g. the `scram` package. | BSD-3-Clause | [886d939](https://git.sr.ht/~janus/base64/commit/886d93952ac87f3a091765d2680fa731624d0ef3) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/base64/docs/index.html) |
 | [best-alternative](https://github.com/buzden/idris2-best-alternative) | Utilities for types implementing `Alternative` interface | Apache-2.0 | [923d820](https://github.com/buzden/idris2-best-alternative/commit/923d8209600ef70fe98cba313e8a07f401c897d5) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/best-alternative/docs/index.html) |
 | [bounded-doubles](https://github.com/buzden/idris2-bounded-doubles) | Doubles with type-level bounds | Apache-2.0 | [42be301](https://github.com/buzden/idris2-bounded-doubles/commit/42be3013ede7aad9807b0b3ecc759deeb1f0c658) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/bounded-doubles/docs/index.html) |
+| [bounded-doubles-hedgehog-generators](https://github.com/buzden/idris2-bounded-doubles) | Hedgehog generators for bounded doubles | Apache-2.0 | [42be301](https://github.com/buzden/idris2-bounded-doubles/commit/42be3013ede7aad9807b0b3ecc759deeb1f0c658) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/bounded-doubles-hedgehog-generators/docs/index.html) |
 | [buf-conn](https://git.sr.ht/~janus/buf-conn) | Buffered connection (as in TCP). Based on continuations. Let's you only read the amount of bytes you want. |  | [7fca8ab](https://git.sr.ht/~janus/buf-conn/commit/7fca8ab3e57bd8c743ad0682c5b7c5206845b067) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/buf-conn/docs/index.html) |
 | [bytestring](https://github.com/stefan-hoeck/idris2-bytestring) | Immutable byte vectors for Idris2 |  | [5d32a5b](https://github.com/stefan-hoeck/idris2-bytestring/commit/5d32a5bce0ab0fb248d6799845112bcf703be2cb) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/bytestring/docs/index.html) |
 | [c-ffi](https://github.com/joelberkeley/c-ffi) | Generic C FFI utilities for Idris | Apache License, Version 2.0 | [6c54ca8](https://github.com/joelberkeley/c-ffi/commit/6c54ca867a124b3fa291b2ac3acdf54cd0f30110) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/c-ffi/docs/index.html) |
 | [cheerio](https://github.com/running-grass/idris2-playground) | A cheerio binding for nodejs. provide css selector and attr getter. |  | [0dacfd8](https://github.com/running-grass/idris2-playground/commit/0dacfd81b49749d68a5fd905e95c860fdab072ab) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cheerio/docs/index.html) |
 | [chem](https://github.com/stefan-hoeck/idris2-chem) | Pure functional cheminformatics in Idris |  | [7965b0f](https://github.com/stefan-hoeck/idris2-chem/commit/7965b0f61d16fcfbb958e90ae27dfe7b83b9ef88) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/chem/docs/index.html) |
+| [chem-generators](https://github.com/stefan-hoeck/idris2-chem) | Hedgehog generators for data types in the chem library |  | [7965b0f](https://github.com/stefan-hoeck/idris2-chem/commit/7965b0f61d16fcfbb958e90ae27dfe7b83b9ef88) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/chem-generators/docs/index.html) |
 | [collection-utils](https://github.com/buzden/idris2-collection-utils) | Non-standard functions for standard Idris 2 collections | Apache-2.0 | [48a3300](https://github.com/buzden/idris2-collection-utils/commit/48a3300dad6082b8aa28aab3dcafe3ff7073dd5d) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/collection-utils/docs/index.html) |
 | [collie](https://github.com/ohad/collie) |  |  | [a35498d](https://github.com/ohad/collie/commit/a35498d8d5d24ae677458aa0b54afeea0c8b7198) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/collie/docs/index.html) |
 | [comonad](https://github.com/stefan-hoeck/idris2-comonad) | Comonads for Idris2 |  | [154292a](https://github.com/stefan-hoeck/idris2-comonad/commit/154292a389edd7496bd4f41465bcba6844cede52) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/comonad/docs/index.html) |
@@ -64,6 +66,7 @@
 | [hash](https://git.sr.ht/~janus/hash) | Abstract record data type for cryptographic hashing algorithms using e.g. Merkle-Damgård or sponge constructions. Provides `Data.Cryptography.Hash`. See `sha` for implementations. | BSD-3 Clause | [8e2ea1b](https://git.sr.ht/~janus/hash/commit/8e2ea1bcba720a47fca30fb81c896f7464633149) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hash/docs/index.html) |
 | [hashable](https://github.com/Z-snails/Idris2-hashable) |  |  | [5615bd4](https://github.com/Z-snails/Idris2-hashable/commit/5615bd4627fedcb6122e902ea3d4d18575459ceb) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hashable/docs/index.html) |
 | [hashmap](https://github.com/Z-snails/idris2-hashmap) |  |  | [5c3e42c](https://github.com/Z-snails/idris2-hashmap/commit/5c3e42ce1a85b04dca1105c2513299404c8427e3) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hashmap/docs/index.html) |
+| [hedgehog](https://github.com/stefan-hoeck/idris2-hedgehog) | A property based testing library with integrated shrinking |  | [3dd9beb](https://github.com/stefan-hoeck/idris2-hedgehog/commit/3dd9beb4e6c569ec21fac034991ef8dd49971d5e) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hedgehog/docs/index.html) |
 | [hmac](https://git.sr.ht/~janus/hmac) | Hashed Message Authentication Code (HMAC). Provides `Data.Cryptography.HMAC`. Used in e.g. the `scram` package. | BSD-3 Clause | [5c754a9](https://git.sr.ht/~janus/hmac/commit/5c754a914294b389a8cec2b5da4d7602bcc7b3b4) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hmac/docs/index.html) |
 | [http](https://github.com/idris-community/idris2-http) | A http client implementation in idris2 | ISC (refer to LICENSE file) | [0ff06cf](https://github.com/idris-community/idris2-http/commit/0ff06cf2c831cc9283d2e539978fedf599df2b17) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/http/docs/index.html) |
 | [http2](https://git.sr.ht/~janus/http2) | Continuation based HTTP2 server. No IO. Used in `web-server-racket`. | BSD-3 Clause | [fea2612](https://git.sr.ht/~janus/http2/commit/fea2612948335cf00ddda29181fcc18daeaa03e4) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/http2/docs/index.html) |
@@ -98,6 +101,7 @@
 | [ncurses-idris](https://github.com/mattpolzin/ncurses-idris) | NCurses support for Idris 2 apps compiled with the Chez Scheme backend. | MIT | [e4faae7](https://github.com/mattpolzin/ncurses-idris/commit/e4faae7df3867d2d546d220dd9f9889ecda3cf6e) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ncurses-idris/docs/index.html) |
 | [nested](https://gitlab.com/bss03/nested) | nested (or non-uniform) recursion schemes | AGPLv3 | [6752469](https://gitlab.com/bss03/nested/commit/67524695bf949e83c2c419e94d173a46558fd2bd) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/nested/docs/index.html) |
 | [network](https://github.com/idris-lang/Idris2) |  |  | [ec74792](https://github.com/idris-lang/Idris2/commit/ec74792a49bf4d22509172d1f03d153ffca1b95c) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/network/docs/index.html) |
+| [node](https://github.com/kbertalan/idris2-node) | Node JS API bindings for Idris2 |  | [03a7a07](https://github.com/kbertalan/idris2-node/commit/03a7a070d2063122190a580341e6c57017be5554) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/node/docs/index.html) |
 | [numidr](https://github.com/kiana-S/numidr) | Linear algebra and data science library | MIT | [bd1eee1](https://github.com/kiana-S/numidr/commit/bd1eee136662ef638628bca9907ae64f1b7538f9) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/numidr/docs/index.html) |
 | [okasaki-pfds](https://gitlab.com/bss03/idris2-okasaki-pfds) | Purely Functional Data Structures ala Okasaki |  | [a8dd0b8](https://gitlab.com/bss03/idris2-okasaki-pfds/commit/a8dd0b89dc307ef621f35e59216b11aadb128ade) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/okasaki-pfds/docs/index.html) |
 | [pack](https://github.com/stefan-hoeck/idris2-pack) | A package manager for Idris2 with curated package collections |  | [3fd992d](https://github.com/stefan-hoeck/idris2-pack/commit/3fd992ddbc6f4acbd6340064c99f1dc2b58917d5) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pack/docs/index.html) |
@@ -120,6 +124,7 @@
 | [prelude](https://github.com/idris-lang/Idris2) |  |  | [ec74792](https://github.com/idris-lang/Idris2/commit/ec74792a49bf4d22509172d1f03d153ffca1b95c) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prelude/docs/index.html) |
 | [prettier](https://github.com/Z-snails/prettier) |  |  | [572ba6e](https://github.com/Z-snails/prettier/commit/572ba6eec87e30127fb59341093d5588081428f7) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prettier/docs/index.html) |
 | [prettier-ansi](https://github.com/idris-community/idris2-ansi) | Colored terminal output for the Bernardy-style pretty printer | BSD-3 Clause | [f3cac49](https://github.com/idris-community/idris2-ansi/commit/f3cac49b50561c0182ce2d7d9bdc4de8000f5a3e) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prettier-ansi/docs/index.html) |
+| [pretty-show](https://github.com/stefan-hoeck/idris2-pretty-show) | Pretty printing of values with a Show instance |  | [a739e83](https://github.com/stefan-hoeck/idris2-pretty-show/commit/a739e838047327dd75b98715f65a755961f79dd8) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pretty-show/docs/index.html) |
 | [prim](https://github.com/stefan-hoeck/idris2-prim) | Laws and utilities for working with primitives in Idris2 | BSD-3 Clause | [a875bbe](https://github.com/stefan-hoeck/idris2-prim/commit/a875bbe1f11638946383b80eaf27bc471e56e341) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prim/docs/index.html) |
 | [profiler](https://github.com/stefan-hoeck/idris2-profiler) | A simple profiling utility for Idris 2 | BSD-3 Clause | [2f7982c](https://github.com/stefan-hoeck/idris2-profiler/commit/2f7982cb061e9b8807fc5dba90a462b97d5d3ad6) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/profiler/docs/index.html) |
 | [profunctors](https://github.com/kiana-S/idris2-profunctors) | Profunctors for Idris2 | MIT | [e862ef8](https://github.com/kiana-S/idris2-profunctors/commit/e862ef887f9dcdf90eacb1ca1c0a997d7a251135) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/profunctors/docs/index.html) |
@@ -159,6 +164,8 @@
 | [typelevel-emptiness-collections](https://github.com/buzden/idris2-typelevel-emptiness-collections) | Collections with type-level control of emptiness, e.g. generalisation of List and List1 | Apache-2.0 | [9da2575](https://github.com/buzden/idris2-typelevel-emptiness-collections/commit/9da25759d51ec042a4edfac089098c65f47ef246) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/typelevel-emptiness-collections/docs/index.html) |
 | [tyre](https://github.com/kasiaMarek/TyRE) | A typed regex parser |  | [5ad08fe](https://github.com/kasiaMarek/TyRE/commit/5ad08fedd515d42058387a73c513abe996677c39) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tyre/docs/index.html) |
 | [tyttp](https://github.com/kbertalan/tyttp) | An experimental web server framework targeting NodeJS |  | [f159dfa](https://github.com/kbertalan/tyttp/commit/f159dfa6a44991528ccd8ed971fdd0d8c3a18a06) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tyttp/docs/index.html) |
+| [tyttp-adapter-node](https://github.com/kbertalan/tyttp) | An experimental web server framework targeting NodeJS |  | [f159dfa](https://github.com/kbertalan/tyttp/commit/f159dfa6a44991528ccd8ed971fdd0d8c3a18a06) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tyttp-adapter-node/docs/index.html) |
+| [tyttp-json](https://github.com/kbertalan/tyttp) | JSON payload consumer and producer for TyTTP web framework |  | [f159dfa](https://github.com/kbertalan/tyttp/commit/f159dfa6a44991528ccd8ed971fdd0d8c3a18a06) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tyttp-json/docs/index.html) |
 | [uniplate](https://github.com/Z-snails/uniplate-idr) |  | MIT and BSD-3 | [caac354](https://github.com/Z-snails/uniplate-idr/commit/caac354759a62a52596b6f77971327e17ff81c0f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/uniplate/docs/index.html) |
 | [url](https://github.com/running-grass/idris2-url) | A url library for idris2 | MIT | [4587b14](https://github.com/running-grass/idris2-url/commit/4587b14fbe7752c4aad5aac045e19088ec2e4108) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/url/docs/index.html) |
 | [utf8](https://git.sr.ht/~janus/utf8) | UTF-8 encoding and decoding for Racket/Chez (contributions welcome) | BSD-3 Clause | [c52080f](https://git.sr.ht/~janus/utf8/commit/c52080fb4630a699e3f1977b39c7dcd790033f5d) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/utf8/docs/index.html) |
@@ -174,13 +181,6 @@
 
 | Package | Dependencies | Commit |
 | --- | --- | --- |
-| [bounded-doubles-hedgehog-generators](https://github.com/buzden/idris2-bounded-doubles) | pretty-show | [42be301](https://github.com/buzden/idris2-bounded-doubles/commit/42be3013ede7aad9807b0b3ecc759deeb1f0c658) |
-| [chem-generators](https://github.com/stefan-hoeck/idris2-chem) | pretty-show | [7965b0f](https://github.com/stefan-hoeck/idris2-chem/commit/7965b0f61d16fcfbb958e90ae27dfe7b83b9ef88) |
-| [hedgehog](https://github.com/stefan-hoeck/idris2-hedgehog) | pretty-show | [3dd9beb](https://github.com/stefan-hoeck/idris2-hedgehog/commit/3dd9beb4e6c569ec21fac034991ef8dd49971d5e) |
-| [node](https://github.com/kbertalan/idris2-node) |  | [baf9f01](https://github.com/kbertalan/idris2-node/commit/baf9f01935b52aacfc2f76549d43f59822d3ad10) |
-| [pretty-show](https://github.com/stefan-hoeck/idris2-pretty-show) |  | [b8b0c2e](https://github.com/stefan-hoeck/idris2-pretty-show/commit/b8b0c2ec665bbe1c114fe150a6be7ade96a7e838) |
-| [tyttp-adapter-node](https://github.com/kbertalan/tyttp) | node | [f159dfa](https://github.com/kbertalan/tyttp/commit/f159dfa6a44991528ccd8ed971fdd0d8c3a18a06) |
-| [tyttp-json](https://github.com/kbertalan/tyttp) | node | [f159dfa](https://github.com/kbertalan/tyttp/commit/f159dfa6a44991528ccd8ed971fdd0d8c3a18a06) |
 
 
 ## Unresolved Packages