Safe Haskell	Safe-Inferred
Language	Haskell2010

LiBro.Data.Storage

Contents

Handling of multiple IDs in a single value
Storable task records
Top level data handling

Description

LiBro data transformations for storage

Synopsis

newtype IdList = IdList {
- ids :: [Int]
}
idListToStr :: IdList -> String
strToIdList :: String -> IdList
data TaskRecord = TaskRecord {
- trid :: Int
- parentTid :: Maybe Int
- tTitle :: SafeText
- tDescription :: SafeText
- tAssignees :: IdList
}
tasksToTaskRecords :: Tasks -> [TaskRecord]
taskRecordsToTasks :: Persons -> [TaskRecord] -> Tasks
storePersons :: Persons -> LiBro ()
loadPersons :: LiBro Persons
storeTasks :: Tasks -> LiBro ()
loadTasks :: Persons -> LiBro Tasks
storeData :: LiBroData -> LiBro ()
loadData :: LiBro LiBroData

Handling of multiple IDs in a single value

newtype IdList Source #

A thin wrapper around lists of Int with a simple (space-separated) String representation.

Constructors

IdList
Fields ids :: [Int]

Instances

Instances details

Generic IdList Source #
Instance details Defined in LiBro.Data.Storage Associated Types type Rep IdList :: Type -> Type # Methods from :: IdList -> Rep IdList x # to :: Rep IdList x -> IdList #
Read IdList Source #
Instance details Defined in LiBro.Data.Storage Methods readsPrec :: Int -> ReadS IdList # readList :: ReadS [IdList] # readPrec :: ReadPrec IdList # readListPrec :: ReadPrec [IdList] #
Show IdList Source #
Instance details Defined in LiBro.Data.Storage Methods showsPrec :: Int -> IdList -> ShowS # show :: IdList -> String # showList :: [IdList] -> ShowS #
FromField IdList Source #
Instance details Defined in LiBro.Data.Storage Methods parseField :: Field -> Parser IdList #
ToField IdList Source #
Instance details Defined in LiBro.Data.Storage Methods toField :: IdList -> Field #
Eq IdList Source #
Instance details Defined in LiBro.Data.Storage Methods (==) :: IdList -> IdList -> Bool # (/=) :: IdList -> IdList -> Bool #
type Rep IdList Source #
Instance details Defined in LiBro.Data.Storage type Rep IdList = D1 ('MetaData "IdList" "LiBro.Data.Storage" "libro-backend-0.1.0.0-inplace" 'True) (C1 ('MetaCons "IdList" 'PrefixI 'True) (S1 ('MetaSel ('Just "ids") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int])))

idListToStr :: IdList -> String Source #

Simple String representation of an IdList: space-separated numbers.

strToIdList :: String -> IdList Source #

Reads space-separated Ints to an IdList.

Storable task records

data TaskRecord Source #

A data type specialized to store Task information in tables.

Constructors

TaskRecord
Fields trid :: Int parentTid :: Maybe Int tTitle :: SafeText tDescription :: SafeText tAssignees :: IdList

Instances

Instances details

Generic TaskRecord Source #
Instance details Defined in LiBro.Data.Storage Associated Types type Rep TaskRecord :: Type -> Type # Methods from :: TaskRecord -> Rep TaskRecord x # to :: Rep TaskRecord x -> TaskRecord #
Show TaskRecord Source #
Instance details Defined in LiBro.Data.Storage Methods showsPrec :: Int -> TaskRecord -> ShowS # show :: TaskRecord -> String # showList :: [TaskRecord] -> ShowS #
DefaultOrdered TaskRecord Source #
Instance details Defined in LiBro.Data.Storage Methods headerOrder :: TaskRecord -> Header #
FromNamedRecord TaskRecord Source #
Instance details Defined in LiBro.Data.Storage Methods parseNamedRecord :: NamedRecord -> Parser TaskRecord #
ToNamedRecord TaskRecord Source #
Instance details Defined in LiBro.Data.Storage Methods toNamedRecord :: TaskRecord -> NamedRecord #
Eq TaskRecord Source #
Instance details Defined in LiBro.Data.Storage Methods (==) :: TaskRecord -> TaskRecord -> Bool # (/=) :: TaskRecord -> TaskRecord -> Bool #
type Rep TaskRecord Source #
Instance details Defined in LiBro.Data.Storage type Rep TaskRecord = D1 ('MetaData "TaskRecord" "LiBro.Data.Storage" "libro-backend-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TaskRecord" 'PrefixI 'True) ((S1 ('MetaSel ('Just "trid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "parentTid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int))) :: (S1 ('MetaSel ('Just "tTitle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SafeText) :: (S1 ('MetaSel ('Just "tDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SafeText) :: S1 ('MetaSel ('Just "tAssignees") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IdList)))))

tasksToTaskRecords :: Tasks -> [TaskRecord] Source #

Store Tasks using TaskRecords.

taskRecordsToTasks :: Persons -> [TaskRecord] -> Tasks Source #

Load Tasks from TaskRecords. Needs to lookup Persons.

Top level data handling

storePersons :: Persons -> LiBro () Source #

Store Persons at the configured storage space

loadPersons :: LiBro Persons Source #

Load a list of Persons from the configured storage space. Returns empty data if no input file was found.

storeTasks :: Tasks -> LiBro () Source #

Store Tasks at the configured storage space.

loadTasks :: Persons -> LiBro Tasks Source #

Load Tasks from the configured storage space. Needs an additional Map to find Persons for given person ids (Int). Returns empty data if no input file was found.

storeData :: LiBroData -> LiBro () Source #

Store a complete dataset at the configured file system locations.

loadData :: LiBro LiBroData Source #

Load a complete dataset from the configured file system locations. Returns empty data if no input files were found.