Modulehnix-store-remote-0.7.0.0Haskell2010

System.Nix.Store.Remote.Serializer

6 types
59 values

Packagehnix-store-remote-0.7.0.0
Exports65
LanguageHaskell2010
LicenceApache-2.0
SourceSerializer.hs

NixSerializer

3 declarations

typetype NixSerializer r e = Serializer (SerialT r e)

valuemapReaderS :: (r' -> r) -> NixSerializer r e a -> NixSerializer r' e a

valuemapErrorS :: (e -> e') -> NixSerializer r e a -> NixSerializer r e' a

Errors

1 declaration

datadata SError

Instances5Eq, Ord, Show, Generic, Rep

Eq SErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Ord SErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Show SErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Generic SErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
type Rep SError = D1 ('MetaData "SError" "System.Nix.Store.Remote.Serializer" "hnix-store-remote-0.7.0.0-56neYTH6eG2Bb7RHZH54fz" 'False) ((((C1 ('MetaCons "SError" 'PrefixI 'False) U1 :+: C1 ('MetaCons "SError_BadPadding" 'PrefixI 'True) (S1 ('MetaSel ('Just "badPaddingStr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: (S1 ('MetaSel ('Just "badPaddingLen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "badPaddingPads") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Word8])))) :+: (C1 ('MetaCons "SError_ContentAddress" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "SError_DerivedPath" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParseOutputsError)))) :+: ((C1 ('MetaCons "SError_DerivationOutput" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DerivationOutputError)) :+: C1 ('MetaCons "SError_Digest" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "SError_EnumOutOfMinBound" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "SError_EnumOutOfMaxBound" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))) :+: (((C1 ('MetaCons "SError_HashAlgo" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "SError_IllegalBool" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))) :+: (C1 ('MetaCons "SError_InvalidNixBase32" 'PrefixI 'False) U1 :+: C1 ('MetaCons "SError_JSONDecoding" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))) :+: ((C1 ('MetaCons "SError_NarHashMustBeSHA256" 'PrefixI 'False) U1 :+: C1 ('MetaCons "SError_NotYetImplemented" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ForPV ProtoVersion)))) :+: (C1 ('MetaCons "SError_Name" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InvalidNameError)) :+: (C1 ('MetaCons "SError_Path" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InvalidPathError)) :+: C1 ('MetaCons "SError_Signature" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))))Defined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer

Runners

valuerunSerialT :: Monad m => r -> SerialT r e m a -> m (Either e a)

Runner for SerialT

valuerunG

:: NixSerializer r e a
-> r
-> ByteString
-> Either (GetSerializerError e) a

valuerunP :: NixSerializer r e a -> r -> a -> Either e ByteString

Primitives

6 declarations

valueint :: Integral a => NixSerializer r e a

valuebool :: NixSerializer r SError Bool

valuebyteString :: NixSerializer r SError ByteString

valueenum :: (Bounded a, Enum a) => NixSerializer r SError a

valuetext :: NixSerializer r SError Text

valuemaybeText :: NixSerializer r SError (Maybe Text)

UTCTime

1 declaration

valuetime :: NixSerializer r e UTCTime

Combinators

6 declarations

valuelist :: NixSerializer r e a -> NixSerializer r e [a]

valueset :: Ord a => NixSerializer r e a -> NixSerializer r e (Set a)

valuehashSet

:: (Eq a, Hashable a)
=> NixSerializer r e a
-> NixSerializer r e (HashSet a)

valuemapS

:: Ord k
=> NixSerializer r e k
-> NixSerializer r e v
-> NixSerializer r e (Map k v)

valuevector :: Ord a => NixSerializer r e a -> NixSerializer r e (Vector a)

valuejson :: (FromJSON a, ToJSON a) => NixSerializer r SError a

ProtoVersion

1 declaration

valueprotoVersion :: NixSerializer r e ProtoVersion

StorePath

4 declarations

valuestorePath :: HasStoreDir r => NixSerializer r SError StorePath

valuemaybePath :: HasStoreDir r => NixSerializer r SError (Maybe StorePath)

valuestorePathHashPart :: NixSerializer r SError StorePathHashPart

valuestorePathName :: NixSerializer r SError StorePathName

Metadata

1 declaration

valuepathMetadata :: HasStoreDir r => NixSerializer r SError (Metadata StorePath)

OutputName

1 declaration

valueoutputName :: NixSerializer r SError OutputName

Signatures

2 declarations

valuesignature :: NixSerializer r SError Signature

valuenarSignature :: NixSerializer r SError NarSignature

Some HashAlgo

1 declaration

valuesomeHashAlgo :: NixSerializer r SError (Some HashAlgo)

Digest

1 declaration

valuedigest

DSum HashAlgo Digest

1 declaration

valuenamedDigest :: NixSerializer r SError (DSum HashAlgo Digest)

Derivation

1 declaration

valuederivation :: HasStoreDir r => NixSerializer r SError (Derivation StorePath Text)

Derivation

1 declaration

valuederivedPath :: (HasProtoVersion r, HasStoreDir r) => NixSerializer r SError DerivedPath

Build

1 declaration

valuebuildMode :: NixSerializer r SError BuildMode

Logger

12 declarations

datadata LoggerSError

Instances5Eq, Ord, Show, Generic, Rep

Eq LoggerSErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Ord LoggerSErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Show LoggerSErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Generic LoggerSErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
type Rep LoggerSError = D1 ('MetaData "LoggerSError" "System.Nix.Store.Remote.Serializer" "hnix-store-remote-0.7.0.0-56neYTH6eG2Bb7RHZH54fz" 'False) ((C1 ('MetaCons "LoggerSError_Prim" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: C1 ('MetaCons "LoggerSError_InvalidOpCode" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))) :+: (C1 ('MetaCons "LoggerSError_TooOldForErrorInfo" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "LoggerSError_TooNewForBasicError" 'PrefixI 'False) U1 :+: C1 ('MetaCons "LoggerSError_UnknownLogFieldType" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))))Defined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer

valueactivityID :: NixSerializer r LoggerSError ActivityID

valuemaybeActivity :: NixSerializer r LoggerSError (Maybe Activity)

valueactivity :: NixSerializer r LoggerSError Activity

valueactivityResult :: NixSerializer r LoggerSError ActivityResult

valuefield :: NixSerializer r LoggerSError Field

valuetrace :: NixSerializer r LoggerSError Trace

valuebasicError :: NixSerializer r LoggerSError BasicError

valueerrorInfo :: NixSerializer r LoggerSError ErrorInfo

valueloggerOpCode :: NixSerializer r LoggerSError LoggerOpCode

valuelogger :: HasProtoVersion r => NixSerializer r LoggerSError Logger

valueverbosity :: NixSerializer r LoggerSError Verbosity

Handshake

3 declarations

datadata HandshakeSError

Constructors

HandshakeSError_InvalidWorkerMagic Word64
HandshakeSError_InvalidTrustedFlag Word8

Instances5Eq, Ord, Show, Generic, Rep

Eq HandshakeSErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Ord HandshakeSErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Show HandshakeSErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Generic HandshakeSErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
type Rep HandshakeSError = D1 ('MetaData "HandshakeSError" "System.Nix.Store.Remote.Serializer" "hnix-store-remote-0.7.0.0-56neYTH6eG2Bb7RHZH54fz" 'False) (C1 ('MetaCons "HandshakeSError_InvalidWorkerMagic" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: C1 ('MetaCons "HandshakeSError_InvalidTrustedFlag" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))Defined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer

valueworkerMagic :: NixSerializer r HandshakeSError WorkerMagic

valuetrustedFlag :: NixSerializer r HandshakeSError (Maybe TrustedFlag)

Worker protocol

2 declarations

valuestoreText :: NixSerializer r SError StoreText

valueworkerOp :: NixSerializer r SError WorkerOp

Request

datadata RequestSError

Constructors

RequestSError_NotYetImplemented WorkerOp
RequestSError_ReservedOp WorkerOp
RequestSError_PrimGet SError
RequestSError_PrimPut SError
RequestSError_PrimWorkerOp SError

Instances5Eq, Ord, Show, Generic, Rep

Eq RequestSErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Ord RequestSErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Show RequestSErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Generic RequestSErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
type Rep RequestSError = D1 ('MetaData "RequestSError" "System.Nix.Store.Remote.Serializer" "hnix-store-remote-0.7.0.0-56neYTH6eG2Bb7RHZH54fz" 'False) ((C1 ('MetaCons "RequestSError_NotYetImplemented" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WorkerOp)) :+: C1 ('MetaCons "RequestSError_ReservedOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WorkerOp))) :+: (C1 ('MetaCons "RequestSError_PrimGet" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: (C1 ('MetaCons "RequestSError_PrimPut" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: C1 ('MetaCons "RequestSError_PrimWorkerOp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)))))Defined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer

valuestoreRequest :: (HasProtoVersion r, HasStoreDir r) => NixSerializer r RequestSError (Some StoreRequest)

Reply

datadata ReplySError

Constructors

ReplySError_PrimGet SError
ReplySError_PrimPut SError
ReplySError_DerivationOutput SError
ReplySError_GCResult SError
ReplySError_Metadata SError
ReplySError_Missing SError
ReplySError_Realisation SError
ReplySError_RealisationWithId SError
ReplySError_UnexpectedFalseOpSuccess

Instances5Eq, Ord, Show, Generic, Rep

Eq ReplySErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Ord ReplySErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Show ReplySErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
Generic ReplySErrorDefined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer
type Rep ReplySError = D1 ('MetaData "ReplySError" "System.Nix.Store.Remote.Serializer" "hnix-store-remote-0.7.0.0-56neYTH6eG2Bb7RHZH54fz" 'False) (((C1 ('MetaCons "ReplySError_PrimGet" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: C1 ('MetaCons "ReplySError_PrimPut" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError))) :+: (C1 ('MetaCons "ReplySError_DerivationOutput" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: C1 ('MetaCons "ReplySError_GCResult" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)))) :+: ((C1 ('MetaCons "ReplySError_Metadata" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: C1 ('MetaCons "ReplySError_Missing" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError))) :+: (C1 ('MetaCons "ReplySError_Realisation" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: (C1 ('MetaCons "ReplySError_RealisationWithId" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: C1 ('MetaCons "ReplySError_UnexpectedFalseOpSuccess" 'PrefixI 'False) U1))))Defined in hnix-store-remote-0.7.0.0 · System.Nix.Store.Remote.Serializer

valueopSuccess :: NixSerializer r ReplySError SuccessCodeReply

Parse a bool returned at the end of simple operations. This is always 1 (True) so we assert that it really is so. Errors for these operations are indicated via Logger_Error.

valuenoop :: a -> NixSerializer r ReplySError a

Realisation

valuederivationOutputTyped :: NixSerializer r ReplySError (DerivationOutput OutputName)

valuerealisation :: NixSerializer r ReplySError Realisation

valuerealisationWithId :: NixSerializer r ReplySError RealisationWithId

BuildResult

valuebuildResult :: (HasProtoVersion r, HasStoreDir r) => NixSerializer r ReplySError BuildResult

GCResult

valuegcResult :: HasStoreDir r => NixSerializer r ReplySError GCResult

GCResult

valuegcRoot :: NixSerializer r ReplySError GCRoot

Missing

valuemissing :: HasStoreDir r => NixSerializer r ReplySError Missing

Maybe (Metadata StorePath)

valuemaybePathMetadata :: HasStoreDir r => NixSerializer r ReplySError (Maybe (Metadata StorePath))