haskell-nix/hnix-store
1
1
Fork 0
mirror of https://github.com/haskell-nix/hnix-store.git synced 2024-08-17 13:51:21 +03:00
Code Issues Projects Releases Wiki Activity
808 Commits 14 Branches 22 Tags 2.3 MiB
master
Commit Graph

808 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
sorki
7b41967cc8 remote: monadic collapse 2023-12-10 17:11:16 +01:00
sorki
4562922d7e remote: neaten readme 2023-12-09 17:05:32 +01:00
sorki
5e909dbbd5 remote: fix verison/version typo 2023-12-09 12:35:12 +01:00
sorki
696f9e8421 remote: simplify buildDerivation 2023-12-08 13:26:49 +01:00
sorki
da9b46cdc3 core: add some haddocks to OutputSpec, DerivedPath 2023-12-08 13:16:34 +01:00
sorki
3576273c8a core,json: wrap (DerivationOutput OutputName, Realisation) tuple into newtype 2023-12-08 12:41:08 +01:00
sorki
2bdd171d22 wip/remote: add daemon runners, simplify server using StoreReply 2023-12-08 12:18:10 +01:00
sorki
8078f0f07f remote: drop common tests cabal stanza 2023-12-08 11:56:18 +01:00
Richard Marko
11da925989
Merge pull request #272 from haskell-nix/srk/daemon 
Server side
 2023-12-07 18:42:13 +01:00
sorki
e5c1492a64 remote: tests-io cleanup 2023-12-07 17:57:45 +01:00
sorki
b7a9f91fc0 remote: sort Serializer imports 2023-12-07 16:45:41 +01:00
sorki
4123d963b6 remote: delete obsolete serialization prims and instances 2023-12-07 16:35:16 +01:00
sorki
28d279b614 remote: delete obsolete funs from Socket 2023-12-07 16:35:16 +01:00
sorki
523e490137 remote: port all operations to GADT based ones 2023-12-07 16:35:16 +01:00
sorki
ddfdb893a6 remote: add GCRoot type, serializer, prop 2023-12-07 16:35:16 +01:00
sorki
774590eb6e remote: add StoreReply (HashSet StorePath) & StoreReply (HashSet StorePathName) 2023-12-07 16:35:16 +01:00
sorki
04a38e8c46 remote: add opSuccess serializer for StoreReply () 2023-12-07 16:35:16 +01:00
sorki
48697e1efe remote: add maybePathMetadata serializer 2023-12-07 16:35:16 +01:00
sorki
d18a014103 remote: add Query.Missing serializer 2023-12-07 16:35:16 +01:00
sorki
c841f93b69 remote: align GC(Options|Result) record field naming 2023-12-07 16:35:16 +01:00
sorki
77fe9f9acd remote: add gcResult serializer 2023-12-07 16:35:16 +01:00
sorki
5aa62fd8da remote: NarSource not in GADT pans out 2023-12-07 16:35:16 +01:00
sorki
a5dac6da5f remote: shuffle reply serializers, extend ReplySError 2023-12-07 16:35:16 +01:00
sorki
7bdbab9c53 remote: move enum tests to EnumSpec 2023-12-07 16:35:16 +01:00
sorki
428a61a538 remote: split runStoreSocket, doReq into Remote.Client.Core 2023-12-07 16:35:16 +01:00
sorki
7dc5c596aa tests: add/move Test.Hspec.Nix.forceRight from json 2023-12-07 16:35:16 +01:00
sorki
aa94d3c3da remote: separate (Client|Server)Handshake(Input|Output) types 2023-12-07 16:35:16 +01:00
sorki
bdce1a3035 tests: enable TypeFamilies for Realisation 2023-12-07 16:35:16 +01:00
sorki
c8d97899e7 overlay.nix: dependent-sum-template 0.2.0.1 2023-12-07 16:35:16 +01:00
sorki
0323bf06a5 drop dependent-sum-template source-repository-package, add >= 0.2.0.1 lower bound 2023-12-07 16:35:16 +01:00
sorki
69060eca76 docs/contributors: add andreabedini 2023-12-07 16:35:16 +01:00
sorki
496fb3284e make DerivationOutput explicitely generic 
It is already parametrized, but `name` field is too specific
to accommodate i.e. `DerivationOutput StorePath` which is
used by `Derivation` type. So we call it `output` instead
and turn the type variable to just `a`.

So
* for `Realisation`s this is `DerivationOutput OutputName`
* for `Derivation`s this is `DerivatonOutput StorePath`
* for content addressed derivations this might be `DerivationOutput Void` as the path isn't known ahead of time.

So only its shape is important.

Related to https://github.com/Gabriella439/Haskell-Nix-Derivation-Library/pull/24
 2023-12-07 16:35:16 +01:00
sorki
e6d21c15bc remote: deal with Realisation.id (required for the server side and qc prop) 2023-12-07 16:35:16 +01:00
sorki
f79effe092 remote: fix handling of BuildResult.builtOutputs 2023-12-07 16:35:16 +01:00
sorki
9c407cbf8a init hnix-store-json 2023-12-07 16:35:16 +01:00
sorki
1bda8fd1fe add derivationOutput(Parser|Builder), prop 2023-12-07 16:35:16 +01:00
sorki
e6ed8f8069 single BuildResult to rule them all 2023-12-07 16:35:16 +01:00
sorki
ee4ad7b07b add builtOutputs to BuildResult, more legwork 2023-12-07 16:35:16 +01:00
sorki
225b4d3f5a tests: limit the size of list for OutputName, StorePath name generators 2023-12-07 16:35:16 +01:00
sorki
72de93d260 core: improve haddocks for Build, use trailing haddocks for records 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
b8294ffb74 core: split parseNameText from mkStorePathName 
so it can be used for `OutputName` as well
 2023-12-07 16:35:16 +01:00
sorki
70443c884b core: improve mkStorePathName and its errors, add test 2023-12-07 16:35:16 +01:00
sorki
9cf2e1aa34 core: split name part errors from InvalidPathError to InvalidNameError 2023-12-07 16:35:16 +01:00
sorki
06935815c6 core: makeStorePathName -> mkStorePathName 2023-12-07 16:35:16 +01:00
sorki
569e68fad5 remote: drop no longer needed OverloadedStrings from Client 2023-12-07 16:35:16 +01:00
sorki
f93b21c58e remote: maybe _ id -> fromMaybe _ 2023-12-07 16:35:16 +01:00
sorki
8936300fbe core,remote: add OldBuildResult as it is the one we claim to support now 2023-12-07 16:35:16 +01:00
sorki
2cd4c32b84 tests: custom Arbitrary Metadata instance with forced SHA256 metadataNarHash, w/o (Just0) metadataNarBytes 2023-12-07 16:35:16 +01:00