Commit Graph

785 Commits

Author SHA1 Message Date
squalus
5225bb53df remote: add NarFromPath client 2023-12-14 00:49:04 -08:00
Richard Marko
b57f69b7ec
Merge pull request #278 from haskell-nix/srk/daemon
add Arbitrary Eq for SuccessCodeReply, CI: re-enable on.pull_request
2023-12-13 10:47:39 +01:00
sorki
083dfd8044 CI: re-enable on.pull_request 2023-12-13 09:26:30 +01:00
sorki
e20463df19 remote: add Arbitrary Eq for SuccessCodeReply 2023-12-13 09:26:08 +01:00
Richard Marko
c1f7666e03
Merge pull request #277 from squalus/addtostorenar2
remote: add AddToStoreNar operation
2023-12-13 08:17:47 +01:00
squalus
5494cc3edd remote: add AddToStoreNar client 2023-12-12 19:05:07 -08:00
squalus
d3408a60b4 remote: add SuccessCodeReply
Add SuccessCodeReply to replace instances of the () reply type.

The serialization behavior is more clear with the more explicit type.
2023-12-12 14:58:39 -08:00
Richard Marko
21040fb589
Merge pull request #276 from haskell-nix/srk/daemon
Some more server
2023-12-12 11:54:28 +01:00
sorki
619687b446 remote: fix flaky collectGarbage for MITM test 2023-12-12 07:09:17 +01:00
sorki
e374687467 remote/server: add note that proxyNarSource is a hack 2023-12-11 15:29:13 +01:00
sorki
fbc55992fa core: fix Wildcard spec haddock 2023-12-11 15:27:54 +01:00
sorki
b754f3aa6d remote: NixDaemonSpec, shell -> proc for nix-daemon so it gets terminated 2023-12-10 19:23:23 +01:00
sorki
6840a2d905 Add danbornside to contributors
Contributed to daemon-server-side branch
but not listed as author or co-author in any of the commits. Fixed!
2023-12-10 19:22:37 +01:00
sorki
29f58f46e7 remote: fix pretty TODO failing to parse on old GHC 2023-12-10 18:53:47 +01:00
sorki
3eb346699b remote: fix roots test for MITM vs Direct 2023-12-10 18:48:50 +01:00
sorki
dea03e0f72 remote/server: propagate errors from proxy handler 2023-12-10 18:05:59 +01:00
sorki
4aeee1ee33 remote/server: tidy 2023-12-10 18:05:56 +01:00
sorki
3d774b8187 remote/server: add proxyNarSource 2023-12-10 18:05:53 +01:00
sorki
e2381c89d5 remote: less chatty server 2023-12-10 17:11:16 +01:00
sorki
3dc7ab6f06 remote: add postGreet so we setStoreDir in Server as well 2023-12-10 17:11:16 +01:00
sorki
4651980047 remote: NixDaemonSpec MITM 2023-12-10 17:11:16 +01:00
sorki
30baaf3db2 remote: NixDaemonSpec pass StoreConnection, StoreDir 2023-12-10 17:11:16 +01:00
sorki
8eb0059576 remote: neaten NixDaemonSpec, silence nix-store and daemon with grep -v 2023-12-10 17:11:16 +01:00
sorki
bb9bc1705a server: -funroll-gadt 2023-12-10 17:11:16 +01:00
sorki
960407b0a1 remote: add StoreConnection, reclaim runStoreSocket, now greetServer 2023-12-10 17:11:16 +01:00
sorki
1f1d437a40 remote: align record field naming 2023-12-10 17:11:16 +01:00
sorki
656d4dd72d remote: TestStoreConfig no longer needed 2023-12-10 17:11:16 +01:00
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