7 Commits

Author	SHA1	Message	Date
Michael Daniels	18e82c4591	lib: remove unused let bindings and args@{} uses	2026-04-30 18:43:56 -04:00
İlkecan Bozdoğan	e394a579b0	lib: update type signatures ... - concrete types start with uppercase: Int, String, Bool, Derivation, etc. - type variables start with lowercase: a, b, etc. - list: - use `[x]` for homogeneous lists instead of `List x` or `[ x ]` - use `List` for heterogeneous lists (not that common in `lib`) - attr: - use `AttrSet` for a generic attribute set type - use `{ key1 :: Type1; key2 :: Type2; ... }` for adding signatures for known attribute names and types - use `{ key1 = value1; key2 = value2; ... }` for adding attributes with known literals - end with an ellipsis (`...`) if the set can contain unknown attributes - use `{ [String] :: x }` if all the attributes has the same type `x` - prefer `Any` over `a` if the latter is not reused	2026-03-04 00:10:00 +03:00
nukdokplex	d24f103572	lib.mkEUI64Suffix: fix syntax errors and tests	2025-09-11 00:01:53 +05:00
nukdokplex	68253aae9b	lib.mkEUI64Suffix: bring @hsjobeki suggestions ... renamed `mac` to `octets` in hextets combining step for better var naming; rephrased error message to provide a hint of expected format; replaced `Arguments` with `Inputs` in docstring; added more test cases for invalid hex digits; added comments in hextets combining step;	2025-09-10 23:41:18 +05:00
nukdokplex	2a31d7e083	lib.mkEUI64Suffix: init	2025-09-09 12:23:38 +05:00
Johannes Kirschbauer	88f912da48	Docs: migrate format of comments to doc-comments	2025-02-12 15:01:43 +07:00
woojiq	d559eed93a	lib.network: ipv6 parser from string ... Add a library function to parse and validate an IPv6 address from a string. It can parse the first two versions of an IPv6 address according to https://datatracker.ietf.org/doc/html/rfc4291#section-2.2. The third form "x:x:x:x:x:x.d.d.d.d" is not yet implemented. Optionally parser can accept prefix length (128 is default). Add shell script network.sh to test IPv6 parser functionality.	2024-06-29 10:02:00 +03:00