System.Nix.Store.Remote.Serializer

|

NixSerializer

type NixSerializer r e = Serializer (SerialT r e)

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

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

Errors

data SError

Constructors

SError

SError_BadPadding

Fields

• badPaddingStr :: ByteString
• badPaddingLen :: Int
• badPaddingPads :: [Word8]

SError_ContentAddress String

SError_DerivedPath ParseOutputsError

SError_DerivationOutput DerivationOutputError

SError_Digest String

SError_EnumOutOfMinBound Int

SError_EnumOutOfMaxBound Int

SError_HashAlgo String

SError_IllegalBool Word64

SError_InvalidNixBase32

SError_JSONDecoding String

SError_NarHashMustBeSHA256

SError_NotYetImplemented String (ForPV ProtoVersion)

SError_Name InvalidNameError

SError_Path InvalidPathError

SError_Signature String

Instances

Generic SError

Defined in System.Nix.Store.Remote.Serializer

Associated Types

type Rep SError :: Type -> Type

Methods

from :: SError -> Rep SError x

to :: Rep SError x -> SError

Show SError

Defined in System.Nix.Store.Remote.Serializer

Methods

showsPrec :: Int -> SError -> ShowS

show :: SError -> String

showList :: [SError] -> ShowS

Eq SError

Defined in System.Nix.Store.Remote.Serializer

Methods

(==) :: SError -> SError -> Bool

(/=) :: SError -> SError -> Bool

Ord SError

Defined in System.Nix.Store.Remote.Serializer

Methods

compare :: SError -> SError -> Ordering

(<) :: SError -> SError -> Bool

(<=) :: SError -> SError -> Bool

(>) :: SError -> SError -> Bool

(>=) :: SError -> SError -> Bool

max :: SError -> SError -> SError

min :: SError -> SError -> SError

type Rep SError

Defined in System.Nix.Store.Remote.Serializer

type Rep SError

Runners

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

Runner for SerialT

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

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

Primitives

int :: Integral a => NixSerializer r e a

bool :: NixSerializer r SError Bool

byteString :: NixSerializer r SError ByteString

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

text :: NixSerializer r SError Text

maybeText :: NixSerializer r SError (Maybe Text)

UTCTime

time :: NixSerializer r e UTCTime

Combinators

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

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

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

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

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

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

ProtoVersion

protoVersion :: NixSerializer r e ProtoVersion

StorePath

storePath :: HasStoreDir r => NixSerializer r SError StorePath

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

storePathHashPart :: NixSerializer r SError StorePathHashPart

storePathName :: NixSerializer r SError StorePathName

Metadata

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

OutputName

outputName :: NixSerializer r SError OutputName

Signatures

signature :: NixSerializer r SError Signature

narSignature :: NixSerializer r SError NarSignature

Some HashAlgo

someHashAlgo :: NixSerializer r SError (Some HashAlgo)

Digest

digest :: forall a r. HashAlgorithm a => BaseEncoding -> NixSerializer r SError (Digest a)

DSum HashAlgo Digest

namedDigest :: NixSerializer r SError (DSum HashAlgo Digest)

Derivation

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

Derivation

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

Build

buildMode :: NixSerializer r SError BuildMode

Logger

data LoggerSError

Constructors

LoggerSError_Prim SError

LoggerSError_InvalidOpCode Word64

LoggerSError_TooOldForErrorInfo

LoggerSError_TooNewForBasicError

LoggerSError_UnknownLogFieldType Word8

Instances

Generic LoggerSError

Defined in System.Nix.Store.Remote.Serializer

Associated Types

type Rep LoggerSError :: Type -> Type

Methods

from :: LoggerSError -> Rep LoggerSError x

to :: Rep LoggerSError x -> LoggerSError

Show LoggerSError

Defined in System.Nix.Store.Remote.Serializer

Methods

showsPrec :: Int -> LoggerSError -> ShowS

show :: LoggerSError -> String

showList :: [LoggerSError] -> ShowS

Eq LoggerSError

Defined in System.Nix.Store.Remote.Serializer

Methods

(==) :: LoggerSError -> LoggerSError -> Bool

(/=) :: LoggerSError -> LoggerSError -> Bool

Ord LoggerSError

Defined in System.Nix.Store.Remote.Serializer

Methods

compare :: LoggerSError -> LoggerSError -> Ordering

(<) :: LoggerSError -> LoggerSError -> Bool

(<=) :: LoggerSError -> LoggerSError -> Bool

(>) :: LoggerSError -> LoggerSError -> Bool

(>=) :: LoggerSError -> LoggerSError -> Bool

max :: LoggerSError -> LoggerSError -> LoggerSError

min :: LoggerSError -> LoggerSError -> LoggerSError

type Rep LoggerSError

Defined in System.Nix.Store.Remote.Serializer

type Rep LoggerSError = D1 ('MetaData "LoggerSError" "System.Nix.Store.Remote.Serializer" "hnix-store-remote-0.7.0.0-3KzMSkqSXnCD71veVOrNoM" 'False) ((C1 ('MetaCons "LoggerSError_Prim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: C1 ('MetaCons "LoggerSError_InvalidOpCode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))) :+: (C1 ('MetaCons "LoggerSError_TooOldForErrorInfo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LoggerSError_TooNewForBasicError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LoggerSError_UnknownLogFieldType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))))

activityID :: NixSerializer r LoggerSError ActivityID

maybeActivity :: NixSerializer r LoggerSError (Maybe Activity)

activity :: NixSerializer r LoggerSError Activity

activityResult :: NixSerializer r LoggerSError ActivityResult

field :: NixSerializer r LoggerSError Field

trace :: NixSerializer r LoggerSError Trace

basicError :: NixSerializer r LoggerSError BasicError

errorInfo :: NixSerializer r LoggerSError ErrorInfo

loggerOpCode :: NixSerializer r LoggerSError LoggerOpCode

logger :: HasProtoVersion r => NixSerializer r LoggerSError Logger

verbosity :: NixSerializer r LoggerSError Verbosity

Handshake

data HandshakeSError

Constructors

HandshakeSError_InvalidWorkerMagic Word64

HandshakeSError_InvalidTrustedFlag Word8

Instances

Generic HandshakeSError

Defined in System.Nix.Store.Remote.Serializer

Associated Types

type Rep HandshakeSError :: Type -> Type

Methods

from :: HandshakeSError -> Rep HandshakeSError x

to :: Rep HandshakeSError x -> HandshakeSError

Show HandshakeSError

Defined in System.Nix.Store.Remote.Serializer

Methods

showsPrec :: Int -> HandshakeSError -> ShowS

show :: HandshakeSError -> String

showList :: [HandshakeSError] -> ShowS

Eq HandshakeSError

Defined in System.Nix.Store.Remote.Serializer

Methods

(==) :: HandshakeSError -> HandshakeSError -> Bool

(/=) :: HandshakeSError -> HandshakeSError -> Bool

Ord HandshakeSError

Defined in System.Nix.Store.Remote.Serializer

Methods

compare :: HandshakeSError -> HandshakeSError -> Ordering

(<) :: HandshakeSError -> HandshakeSError -> Bool

(<=) :: HandshakeSError -> HandshakeSError -> Bool

(>) :: HandshakeSError -> HandshakeSError -> Bool

(>=) :: HandshakeSError -> HandshakeSError -> Bool

max :: HandshakeSError -> HandshakeSError -> HandshakeSError

min :: HandshakeSError -> HandshakeSError -> HandshakeSError

type Rep HandshakeSError

Defined in System.Nix.Store.Remote.Serializer

type Rep HandshakeSError = D1 ('MetaData "HandshakeSError" "System.Nix.Store.Remote.Serializer" "hnix-store-remote-0.7.0.0-3KzMSkqSXnCD71veVOrNoM" 'False) (C1 ('MetaCons "HandshakeSError_InvalidWorkerMagic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: C1 ('MetaCons "HandshakeSError_InvalidTrustedFlag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))

workerMagic :: NixSerializer r HandshakeSError WorkerMagic

trustedFlag :: NixSerializer r HandshakeSError (Maybe TrustedFlag)

Worker protocol

storeText :: NixSerializer r SError StoreText

workerOp :: NixSerializer r SError WorkerOp

Request

data RequestSError

Constructors

RequestSError_NotYetImplemented WorkerOp

RequestSError_ReservedOp WorkerOp

RequestSError_PrimGet SError

RequestSError_PrimPut SError

RequestSError_PrimWorkerOp SError

Instances

Generic RequestSError

Defined in System.Nix.Store.Remote.Serializer

Associated Types

type Rep RequestSError :: Type -> Type

Methods

from :: RequestSError -> Rep RequestSError x

to :: Rep RequestSError x -> RequestSError

Show RequestSError

Defined in System.Nix.Store.Remote.Serializer

Methods

showsPrec :: Int -> RequestSError -> ShowS

show :: RequestSError -> String

showList :: [RequestSError] -> ShowS

Eq RequestSError

Defined in System.Nix.Store.Remote.Serializer

Methods

(==) :: RequestSError -> RequestSError -> Bool

(/=) :: RequestSError -> RequestSError -> Bool

Ord RequestSError

Defined in System.Nix.Store.Remote.Serializer

Methods

compare :: RequestSError -> RequestSError -> Ordering

(<) :: RequestSError -> RequestSError -> Bool

(<=) :: RequestSError -> RequestSError -> Bool

(>) :: RequestSError -> RequestSError -> Bool

(>=) :: RequestSError -> RequestSError -> Bool

max :: RequestSError -> RequestSError -> RequestSError

min :: RequestSError -> RequestSError -> RequestSError

type Rep RequestSError

Defined in System.Nix.Store.Remote.Serializer

type Rep RequestSError = D1 ('MetaData "RequestSError" "System.Nix.Store.Remote.Serializer" "hnix-store-remote-0.7.0.0-3KzMSkqSXnCD71veVOrNoM" 'False) ((C1 ('MetaCons "RequestSError_NotYetImplemented" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WorkerOp)) :+: C1 ('MetaCons "RequestSError_ReservedOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WorkerOp))) :+: (C1 ('MetaCons "RequestSError_PrimGet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: (C1 ('MetaCons "RequestSError_PrimPut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: C1 ('MetaCons "RequestSError_PrimWorkerOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)))))

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

Reply

data 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

Instances

Generic ReplySError

Defined in System.Nix.Store.Remote.Serializer

Associated Types

type Rep ReplySError :: Type -> Type

Methods

from :: ReplySError -> Rep ReplySError x

to :: Rep ReplySError x -> ReplySError

Show ReplySError

Defined in System.Nix.Store.Remote.Serializer

Methods

showsPrec :: Int -> ReplySError -> ShowS

show :: ReplySError -> String

showList :: [ReplySError] -> ShowS

Eq ReplySError

Defined in System.Nix.Store.Remote.Serializer

Methods

(==) :: ReplySError -> ReplySError -> Bool

(/=) :: ReplySError -> ReplySError -> Bool

Ord ReplySError

Defined in System.Nix.Store.Remote.Serializer

Methods

compare :: ReplySError -> ReplySError -> Ordering

(<) :: ReplySError -> ReplySError -> Bool

(<=) :: ReplySError -> ReplySError -> Bool

(>) :: ReplySError -> ReplySError -> Bool

(>=) :: ReplySError -> ReplySError -> Bool

max :: ReplySError -> ReplySError -> ReplySError

min :: ReplySError -> ReplySError -> ReplySError

type Rep ReplySError

Defined in System.Nix.Store.Remote.Serializer

type Rep ReplySError = D1 ('MetaData "ReplySError" "System.Nix.Store.Remote.Serializer" "hnix-store-remote-0.7.0.0-3KzMSkqSXnCD71veVOrNoM" 'False) (((C1 ('MetaCons "ReplySError_PrimGet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: C1 ('MetaCons "ReplySError_PrimPut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError))) :+: (C1 ('MetaCons "ReplySError_DerivationOutput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: C1 ('MetaCons "ReplySError_GCResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)))) :+: ((C1 ('MetaCons "ReplySError_Metadata" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: C1 ('MetaCons "ReplySError_Missing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError))) :+: (C1 ('MetaCons "ReplySError_Realisation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: (C1 ('MetaCons "ReplySError_RealisationWithId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SError)) :+: C1 ('MetaCons "ReplySError_UnexpectedFalseOpSuccess" 'PrefixI 'False) (U1 :: Type -> Type)))))

opSuccess :: 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.

noop :: a -> NixSerializer r ReplySError a

Realisation

derivationOutputTyped :: NixSerializer r ReplySError (DerivationOutput OutputName)

realisation :: NixSerializer r ReplySError Realisation

realisationWithId :: NixSerializer r ReplySError RealisationWithId

BuildResult

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

GCResult

gcResult :: HasStoreDir r => NixSerializer r ReplySError GCResult

GCResult

gcRoot :: NixSerializer r ReplySError GCRoot

Missing

missing :: HasStoreDir r => NixSerializer r ReplySError Missing

Maybe (Metadata StorePath)

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