Safe Haskell	Safe-Inferred
Language	Haskell2010

LiBro.Data

Description

Little Brother data representation

Synopsis

data Person = Person {
- pid :: Int
- name :: SafeText
- email :: SafeText
}
type Persons = Map Int Person
personMap :: [Person] -> Persons
data Task = Task {
- tid :: Int
- title :: SafeText
- description :: SafeText
- assignees :: [Person]
}
type Tasks = Forest Task
assignedTasks :: Person -> Tasks -> [Task]
data LiBroData = LBS {
- persons :: Persons
- tasks :: Tasks
}

Documentation

data Person Source #

A person that is assigned to Tasks.

Constructors

Person
Fields pid :: Int name :: SafeText email :: SafeText

Instances

Instances details

FromJSON Person Source #
Instance details Defined in LiBro.Data Methods parseJSON :: Value -> Parser Person # parseJSONList :: Value -> Parser [Person] # omittedField :: Maybe Person #
ToJSON Person Source #
Instance details Defined in LiBro.Data Methods toJSON :: Person -> Value # toEncoding :: Person -> Encoding # toJSONList :: [Person] -> Value # toEncodingList :: [Person] -> Encoding # omitField :: Person -> Bool #
Generic Person Source #
Instance details Defined in LiBro.Data Associated Types type Rep Person :: Type -> Type # Methods from :: Person -> Rep Person x # to :: Rep Person x -> Person #
Show Person Source #
Instance details Defined in LiBro.Data Methods showsPrec :: Int -> Person -> ShowS # show :: Person -> String # showList :: [Person] -> ShowS #
DefaultOrdered Person Source #
Instance details Defined in LiBro.Data Methods headerOrder :: Person -> Header #
FromNamedRecord Person Source #
Instance details Defined in LiBro.Data Methods parseNamedRecord :: NamedRecord -> Parser Person #
ToNamedRecord Person Source #
Instance details Defined in LiBro.Data Methods toNamedRecord :: Person -> NamedRecord #
Eq Person Source #
Instance details Defined in LiBro.Data Methods (==) :: Person -> Person -> Bool # (/=) :: Person -> Person -> Bool #
Ord Person Source #
Instance details Defined in LiBro.Data Methods compare :: Person -> Person -> Ordering # (<) :: Person -> Person -> Bool # (<=) :: Person -> Person -> Bool # (>) :: Person -> Person -> Bool # (>=) :: Person -> Person -> Bool # max :: Person -> Person -> Person # min :: Person -> Person -> Person #
type Rep Person Source #
Instance details Defined in LiBro.Data type Rep Person = D1 ('MetaData "Person" "LiBro.Data" "libro-backend-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Person" 'PrefixI 'True) (S1 ('MetaSel ('Just "pid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SafeText) :: S1 ('MetaSel ('Just "email") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SafeText))))

type Persons = Map Int Person Source #

Person container as a lookup table with person ID index.

personMap :: [Person] -> Persons Source #

Helper function to create a persons container.

data Task Source #

Internal task representation.

Constructors

Task
Fields tid :: Int title :: SafeText description :: SafeText assignees :: [Person]

Instances

Instances details

FromJSON Task Source #
Instance details Defined in LiBro.Data Methods parseJSON :: Value -> Parser Task # parseJSONList :: Value -> Parser [Task] # omittedField :: Maybe Task #
ToJSON Task Source #
Instance details Defined in LiBro.Data Methods toJSON :: Task -> Value # toEncoding :: Task -> Encoding # toJSONList :: [Task] -> Value # toEncodingList :: [Task] -> Encoding # omitField :: Task -> Bool #
Generic Task Source #
Instance details Defined in LiBro.Data Associated Types type Rep Task :: Type -> Type # Methods from :: Task -> Rep Task x # to :: Rep Task x -> Task #
Show Task Source #
Instance details Defined in LiBro.Data Methods showsPrec :: Int -> Task -> ShowS # show :: Task -> String # showList :: [Task] -> ShowS #
Eq Task Source #
Instance details Defined in LiBro.Data Methods (==) :: Task -> Task -> Bool # (/=) :: Task -> Task -> Bool #
Ord Task Source #
Instance details Defined in LiBro.Data Methods compare :: Task -> Task -> Ordering # (<) :: Task -> Task -> Bool # (<=) :: Task -> Task -> Bool # (>) :: Task -> Task -> Bool # (>=) :: Task -> Task -> Bool # max :: Task -> Task -> Task # min :: Task -> Task -> Task #
type Rep Task Source #
Instance details Defined in LiBro.Data type Rep Task = D1 ('MetaData "Task" "LiBro.Data" "libro-backend-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Task" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SafeText)) :: (S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SafeText) :*: S1 ('MetaSel ('Just "assignees") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Person]))))

type Tasks = Forest Task Source #

The primary data type for tasks, Trees of Task.

assignedTasks :: Person -> Tasks -> [Task] Source #

Find all Tasks assigned to a given Person.

data LiBroData Source #

Complete LiBro state in one type

Constructors

LBS
Fields persons :: Persons tasks :: Tasks

Instances

Instances details

Show LiBroData Source #
Instance details Defined in LiBro.Data Methods showsPrec :: Int -> LiBroData -> ShowS # show :: LiBroData -> String # showList :: [LiBroData] -> ShowS #
Eq LiBroData Source #
Instance details Defined in LiBro.Data Methods (==) :: LiBroData -> LiBroData -> Bool # (/=) :: LiBroData -> LiBroData -> Bool #