Commit Graph

808 Commits

Author SHA1 Message Date
sorki
7f9c7fb2eb remote: add/derive instances for StoreRequest 2023-12-06 16:25:38 +01:00
sorki
e0456e3bc9 remote: prefix WorkerOp, add workerOp Serializer, test 2023-12-06 16:25:38 +01:00
sorki
c5f3c1e4f6 remote: generalize error in sockPutS, sockGetS, add Types.WorkerMagic, workerMagic serializer, HandshakeSError 2023-12-06 16:25:38 +01:00
sorki
2c46d342b0 remote, LoggerOpCode Int -> Word64 2023-12-06 16:25:38 +01:00
sorki
78639b8396 remote: NixSerializer, rename mapError to mapErrorST, add mapErrorS, mapReaderS
for transforming `NixSerializer`(s)
2023-12-06 16:25:38 +01:00
sorki
e57397b99f remote: move ourProtoVersion near type, elaborate Types imports in Client 2023-12-06 16:25:38 +01:00
sorki
ec79cfe1ce remote: NixSerializer, move maybePath from where clause, expose 2023-12-06 16:25:38 +01:00
sorki
936fdf85f5 remote: Data.Serializer, expand signature of mapIso/mapPrism* 2023-12-06 16:25:38 +01:00
sorki
cbbc731519 remote: fix mapStoreConfig import 2023-12-06 16:25:38 +01:00
sorki
aaf0567554 remote: add Remote.GADT
Closes #149

Co-Authored-By: John Ericson <John.Ericson@Obsidian.Systems>
2023-12-06 16:25:38 +01:00
sorki
3e135c1105 remote: neaten MonadStore 2023-12-06 16:25:38 +01:00
sorki
e700c7255c remote: Remote.Protocol -> Remote.Client 2023-12-06 16:25:38 +01:00
sorki
a3c9530198 remote: heavy lifting
- By layus
  - `RemoteStoreT`, `RemoteStoreState` from #72

- By Ericson2314
  - Reorg, `MonadRemoteStore0`, `MonadRemoteStoreHandshake`,
    `PreStoreConfig`, better `greet`

- By ryantrinkle
  - Correctly detect when other side has hung up, throws
    `RemoteStoreError_Disconnected`

Co-Authored-By: Guillaume Maudoux <layus.on@gmail.com>
Co-Authored-By: John Ericson <John.Ericson@Obsidian.Systems>
Co-Authored-By: Ryan Trinkle <ryan@trinkle.org>
2023-12-06 16:25:38 +01:00
Richard Marko
1bc4d0575d
Merge pull request #275 from andreabedini/patch-1
Fix typo in cabal.project
2023-12-06 06:13:27 +01:00
Andrea Bedini
23721d9110
Fix typo in cabal.project 2023-12-06 12:02:30 +08:00
Richard Marko
c6dd6c35b1
Merge pull request #274 from haskell-nix/docs
docs: cabal.project.local.ci
2023-12-02 13:13:39 +01:00
sorki
8d7a26a11d docs: cabal.project.local.ci 2023-12-02 11:30:44 +01:00
Richard Marko
5666b68575
Merge pull request #273 from haskell-nix/srk/ci
ci: disable haddock step
2023-12-02 11:23:37 +01:00
sorki
15f77e8f4b ci: disable haddock step
takes too long and it runs in nix-build anyway.

Ideally we would do `cabal haddock-project` but that
is not yet available everywhere (due to older haddock).

Maybe revisit later.
2023-12-02 10:25:46 +01:00
Richard Marko
70eb0d35fb
Merge pull request #255 from haskell-nix/srk/daemon
cereal remote, server side integration
2023-11-30 08:37:45 +01:00
sorki
556e0a9e51 remote: fix GC haddock, add more 2023-11-30 07:45:34 +01:00
sorki
40e057bc45 remote: PrimError -> SError, LoggerError -> LoggerSError 2023-11-30 07:17:38 +01:00
sorki
c8bbf5fdd1 Update CI, no on: pull_request by default 2023-11-30 07:11:27 +01:00
sorki
849f7e7ed6 remote: cabal, sort exposed modules 2023-11-30 07:09:06 +01:00
sorki
9cd7d3597a remote, add Types.GC, use in deleteSpecific 2023-11-30 06:59:59 +01:00
sorki
598cb89fbd remote: storeMetadata, add signature Serializer 2023-11-30 06:59:59 +01:00
sorki
90984fd4a1 remote: add remaining Serializers
* storePathHashPart
* storePathName
* pathMetadata
* someHashAlgo
* digest
2023-11-30 06:59:59 +01:00
sorki
ee4049d36e tests: shave off other hashes todo for StorePathHashPart 2023-11-30 06:59:59 +01:00
sorki
a9be986781 tests: add Arbitrary StorePathTrust, Arbitrary (Metadata StorePath) 2023-11-30 06:59:59 +01:00
sorki
2e4e83c578 tests: add Arbitrary (Some HashAlgo) 2023-11-30 06:59:59 +01:00
sorki
9b16abbac7 tests: add Arbitrary BaseEncoding 2023-11-30 06:59:59 +01:00
sorki
2e54e33bed core: add unsafeMakeStorePathHashPart 2023-11-30 06:59:59 +01:00
sorki
b3a77eaf4a core: Cryptonite -> Crypton in error message 2023-11-30 06:59:59 +01:00
sorki
1702fa0abf core: derive classics for BaseEncoding enum 2023-11-30 06:59:59 +01:00
sorki
e950c84408 remote: rest of the Prim/Serialize -> Serializer 2023-11-30 06:59:59 +01:00
Cale Gibbard
c8a329ba6e remote: add derivedPath Serializer
Co-Authored-By: sorki <srk@48.io>
2023-11-30 06:59:59 +01:00
sorki
5ebe47db03 remote: replace protoVersion, use new toys 2023-11-30 06:59:59 +01:00
sorki
69135ed504 remote: port the rest to Serializer 2023-11-30 06:59:59 +01:00
sorki
c853163346 remote: more error handling, port rest of the logger to Serializer 2023-11-30 06:59:59 +01:00
squalus
922f5bbf8c remote: add deleteSpecific
- add the gcDeleteSpecific action of the CollectGarbage operation.
- add deleteSpecific test
2023-11-30 06:59:59 +01:00
sorki
da8eb42367 remote: better errors for bool and enum serializers 2023-11-30 06:59:59 +01:00
sorki
2e9ab694fa remote: add build-derivation executable 2023-11-30 06:59:59 +01:00
sorki
edace0445c remote: add path serializer, start wiring errors 2023-11-30 06:59:59 +01:00
Richard Marko
a2c5065b36 remote: bark if parsing leftover isn't empty 2023-11-30 06:59:59 +01:00
Richard Marko
bb5f116a51 remote: handle both error types in logger 2023-11-30 06:59:59 +01:00
Richard Marko
d15f0075f4 remote: set ourProtoVersion minor to what we currently advertise 2023-11-30 06:59:59 +01:00
Richard Marko
14b739aaed remote: getError -> getErrors 2023-11-30 06:59:59 +01:00
Richard Marko
76a8632d9c remote: thread ProtoVersion into logger 2023-11-30 06:59:59 +01:00
Richard Marko
241fa58737 remote: add Trace, BasicError, ErrorInfo 2023-11-30 06:59:59 +01:00
Richard Marko
8b9eb48b40 remote: switch Logger_Next from ByteString to Text 2023-11-30 06:59:59 +01:00