Safe Haskell	Safe-Inferred
Language	GHC2021

Charon.Backend.Cbor.PathData

Contents

PathData

Description

Provides PathData for use with the Cbor backend.

Synopsis

data PathData = UnsafePathData {
- pathType :: PathTypeW
- fileName :: PathI TrashEntryFileName
- originalPath :: PathI TrashEntryOriginalPath
- created :: Timestamp
- size :: Bytes B Natural
}
toPathData :: (HasCallStack, MonadAsync m, MonadCatch m, MonadLoggerNS m, MonadPathReader m, MonadPosixCompat m, MonadTerminal m) => Timestamp -> PathI TrashHome -> PathI TrashEntryOriginalPath -> m (PathData, PathTypeW)
toCorePathData :: PathData -> PathData
fromCorePathData :: PathData -> PathData

PathData

data PathData Source #

Data for an Fdo path. Maintains an invariant that the original path is not the root nor is it empty.

Constructors

UnsafePathData
Fields pathType :: PathTypeW The path type. fileName :: PathI TrashEntryFileName The path to be used in the trash directory. originalPath :: PathI TrashEntryOriginalPath The original path on the file system. created :: Timestamp Time this entry was created. size :: Bytes B Natural The size.

Instances

Instances details

Generic PathData Source #
Instance details Defined in Charon.Backend.Cbor.PathData Associated Types type Rep PathData :: Type -> Type # Methods from :: PathData -> Rep PathData x # to :: Rep PathData x -> PathData #
Show PathData Source #
Instance details Defined in Charon.Backend.Cbor.PathData Methods showsPrec :: Int -> PathData -> ShowS # show :: PathData -> String # showList :: [PathData] -> ShowS #
Serial PathData Source #
Instance details Defined in Charon.Backend.Cbor.PathData Associated Types type DecodeExtra PathData Source # Methods encode :: PathData -> Either String ByteString Source # decode :: DecodeExtra PathData -> ByteString -> Either String PathData Source #
NFData PathData Source #
Instance details Defined in Charon.Backend.Cbor.PathData Methods rnf :: PathData -> () #
Eq PathData Source #
Instance details Defined in Charon.Backend.Cbor.PathData Methods (==) :: PathData -> PathData -> Bool # (/=) :: PathData -> PathData -> Bool #
Hashable PathData Source #
Instance details Defined in Charon.Backend.Cbor.PathData Methods hashWithSalt :: Int -> PathData -> Int Source # hash :: PathData -> Int Source #
(k ~ A_Lens, a ~ Timestamp, b ~ Timestamp) => LabelOptic "created" k PathData PathData a b Source #
Instance details Defined in Charon.Backend.Cbor.PathData Methods labelOptic :: Optic k NoIx PathData PathData a b Source #
(k ~ A_Lens, a ~ PathI 'TrashEntryFileName, b ~ PathI 'TrashEntryFileName) => LabelOptic "fileName" k PathData PathData a b Source #
Instance details Defined in Charon.Backend.Cbor.PathData Methods labelOptic :: Optic k NoIx PathData PathData a b Source #
(k ~ A_Lens, a ~ PathI 'TrashEntryOriginalPath, b ~ PathI 'TrashEntryOriginalPath) => LabelOptic "originalPath" k PathData PathData a b Source #
Instance details Defined in Charon.Backend.Cbor.PathData Methods labelOptic :: Optic k NoIx PathData PathData a b Source #
(k ~ A_Lens, a ~ PathTypeW, b ~ PathTypeW) => LabelOptic "pathType" k PathData PathData a b Source #
Instance details Defined in Charon.Backend.Cbor.PathData Methods labelOptic :: Optic k NoIx PathData PathData a b Source #
(k ~ A_Lens, a ~ Bytes 'B Natural, b ~ Bytes 'B Natural) => LabelOptic "size" k PathData PathData a b Source #
Instance details Defined in Charon.Backend.Cbor.PathData Methods labelOptic :: Optic k NoIx PathData PathData a b Source #
type Rep PathData Source #
Instance details Defined in Charon.Backend.Cbor.PathData type Rep PathData = D1 ('MetaData "PathData" "Charon.Backend.Cbor.PathData" "charon-0.1-inplace" 'False) (C1 ('MetaCons "UnsafePathData" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pathType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PathTypeW) :: S1 ('MetaSel ('Just "fileName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PathI 'TrashEntryFileName))) :: (S1 ('MetaSel ('Just "originalPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PathI 'TrashEntryOriginalPath)) :: (S1 ('MetaSel ('Just "created") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Timestamp) :: S1 ('MetaSel ('Just "size") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Bytes 'B Natural))))))
type DecodeExtra PathData Source #
Instance details Defined in Charon.Backend.Cbor.PathData type DecodeExtra PathData = PathI 'TrashEntryFileName

toPathData :: (HasCallStack, MonadAsync m, MonadCatch m, MonadLoggerNS m, MonadPathReader m, MonadPosixCompat m, MonadTerminal m) => Timestamp -> PathI TrashHome -> PathI TrashEntryOriginalPath -> m (PathData, PathTypeW) Source #

For a given filepath, attempts to capture the following data:

Canonical path.
Unique name to be used in the trash directory.
File/directory type.

toCorePathData :: PathData -> PathData Source #

fromCorePathData :: PathData -> PathData Source #