sorki
d7101a7981
treewide: deadname
2024-07-31 17:06:46 +02:00
sorki
1bda8fd1fe
add derivationOutput(Parser|Builder), prop
2023-12-07 16:35:16 +01:00
sorki
25778c1dcd
core: add System.Nix.Realisation
2023-12-07 16:35:16 +01:00
sorki
2f73cd9aef
core: add System.Nix.OutputName
2023-12-07 16:35:16 +01:00
sorki
cc931dde1e
tests: custom Arbitrary UTCTime instance, drop quickcheck-instances
...
in favor of our own small set of required instances.
2023-12-06 16:25:38 +01:00
sorki
4e224c3f43
tests: custom Arbitrary OutputsSpec producing nonempty OutputsSpec_Names
2023-12-06 16:25:38 +01:00
sorki
91befa2a3c
core: fix parseDerivedPath breaking when StoreDir contains exclamation mark
2023-12-06 16:25:38 +01:00
sorki
a9be986781
tests: add Arbitrary StorePathTrust, Arbitrary (Metadata StorePath)
2023-11-30 06:59:59 +01:00
sorki
9b16abbac7
tests: add Arbitrary BaseEncoding
2023-11-30 06:59:59 +01:00
squalus
7850a38b3a
core: add signatureToText function and tests
...
- make NarSignature's Show instance more legible
- add Arbitrary instance for NarSignature
- add roundtrip quickcheck tests for NarSignature encoding
2023-11-24 12:55:54 -08:00
squalus
c6a579273f
switch to crypton
...
cryptonite is unmaintained. Replace it with crypton.
Closes #239 .
2023-11-23 10:22:19 -08:00
Richard Marko
8ac46de0bd
Recursive -> FileIngestionMethod, remove Bools
...
Actually the same thing, now with prefixed constructors
for extra clarity.
Closes #238
2023-11-22 09:07:14 +01:00
Richard Marko
ee40d47a67
tests: add Test.Hspec.Nix.roundtrip
2023-11-20 09:22:05 +01:00
Richard Marko
49dc678060
bump core version to 0.8, add lower bound to db & test
...
bump for remote
2023-11-20 09:22:05 +01:00
Richard Marko
42f56f504f
hnix-store-tests: init
...
Split from `-core` so it doesn't depend on quickcheck,
generic-arbitrary and quickcheck-instances that could propagate downstrem.
Also allows users to defined their own.
With all roundtrip property tests.
Later this should also absorb test nix-store/daemon harness from
`-remote` so it can be reused by others.
2023-11-20 09:22:05 +01:00
