mirror of
https://github.com/haskell-nix/hnix-store.git
synced 2024-10-26 21:56:29 +03:00
remote: NarSource not in GADT pans out
This commit is contained in:
parent
a5dac6da5f
commit
5aa62fd8da
@ -36,15 +36,6 @@ data StoreRequest :: Type -> Type where
|
|||||||
:: StorePathName -- ^ Name part of the newly created @StorePath@
|
:: StorePathName -- ^ Name part of the newly created @StorePath@
|
||||||
-> FileIngestionMethod -- ^ Add target directory recursively
|
-> FileIngestionMethod -- ^ Add target directory recursively
|
||||||
-> Some HashAlgo -- ^ Nar hashing algorithm
|
-> Some HashAlgo -- ^ Nar hashing algorithm
|
||||||
-- -> (forall m . MonadIO m => NarSource m) -- ^ provide nar stream
|
|
||||||
-- Not part of StoreRequest
|
|
||||||
-- as it would require StoreRequest (m :: Type -> Type) :: Type -> Type
|
|
||||||
-- for which we cannot derive anything
|
|
||||||
--
|
|
||||||
-- Also the thing is the only special case
|
|
||||||
-- and it is always sent *after* the other
|
|
||||||
-- information so it can be handled
|
|
||||||
-- separately after that. Hopefully.
|
|
||||||
-> RepairMode -- ^ Only used by local store backend
|
-> RepairMode -- ^ Only used by local store backend
|
||||||
-> StoreRequest StorePath
|
-> StoreRequest StorePath
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user