Safe Haskell	Safe-Inferred
Language	GHC2021

Charon.Data.Metadata

Description

Provides metadata functionality.

Synopsis

data Metadata = MkMetadata {
- numEntries :: Natural
- numFiles :: Natural
- logSize :: SomeSize Double
- size :: SomeSize Double
}
empty :: Metadata

Documentation

data Metadata Source #

Holds trash metadata.

Constructors

MkMetadata
Fields numEntries :: Natural Number of top level entries in the trash index. This should be the same as the index length. numFiles :: Natural Number of total files in the trash. logSize :: SomeSize Double Size of the log file. size :: SomeSize Double Total size of the trash directory.

Instances

Instances details

Generic Metadata Source #
Instance details Defined in Charon.Data.Metadata Associated Types type Rep Metadata :: Type -> Type # Methods from :: Metadata -> Rep Metadata x # to :: Rep Metadata x -> Metadata #
Show Metadata Source #
Instance details Defined in Charon.Data.Metadata Methods showsPrec :: Int -> Metadata -> ShowS # show :: Metadata -> String # showList :: [Metadata] -> ShowS #
NFData Metadata Source #
Instance details Defined in Charon.Data.Metadata Methods rnf :: Metadata -> () #
Eq Metadata Source #
Instance details Defined in Charon.Data.Metadata Methods (==) :: Metadata -> Metadata -> Bool # (/=) :: Metadata -> Metadata -> Bool #
Pretty Metadata Source #
Instance details Defined in Charon.Data.Metadata Methods pretty :: Metadata -> Doc ann Source # prettyList :: [Metadata] -> Doc ann Source #
(k ~ A_Lens, a ~ SomeSize Double, b ~ SomeSize Double) => LabelOptic "logSize" k Metadata Metadata a b Source #
Instance details Defined in Charon.Data.Metadata Methods labelOptic :: Optic k NoIx Metadata Metadata a b Source #
(k ~ A_Lens, a ~ Natural, b ~ Natural) => LabelOptic "numEntries" k Metadata Metadata a b Source #
Instance details Defined in Charon.Data.Metadata Methods labelOptic :: Optic k NoIx Metadata Metadata a b Source #
(k ~ A_Lens, a ~ Natural, b ~ Natural) => LabelOptic "numFiles" k Metadata Metadata a b Source #
Instance details Defined in Charon.Data.Metadata Methods labelOptic :: Optic k NoIx Metadata Metadata a b Source #
(k ~ A_Lens, a ~ SomeSize Double, b ~ SomeSize Double) => LabelOptic "size" k Metadata Metadata a b Source #
Instance details Defined in Charon.Data.Metadata Methods labelOptic :: Optic k NoIx Metadata Metadata a b Source #
type Rep Metadata Source #
Instance details Defined in Charon.Data.Metadata type Rep Metadata = D1 ('MetaData "Metadata" "Charon.Data.Metadata" "charon-0.1-inplace" 'False) (C1 ('MetaCons "MkMetadata" 'PrefixI 'True) ((S1 ('MetaSel ('Just "numEntries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural) :: S1 ('MetaSel ('Just "numFiles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural)) :: (S1 ('MetaSel ('Just "logSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (SomeSize Double)) :*: S1 ('MetaSel ('Just "size") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (SomeSize Double)))))

empty :: Metadata Source #

Empty metadata.