Todos.Types
- type 𝔹 = Bool
- data DateType
- data DateTime = DateTime {}
- months :: [String]
- capitalize :: String -> String
- showMonth :: Int -> String
- data Time = Time {}
- data TodoItem = Item {}
- makeId :: Hashable a => a -> String
- type Todo = Tree TodoItem
- type TodoMap = Map String Todo
- data Limit
- data CmdLineFlag
- data QueryFlag
- data LimitFlag
- data ModeFlag
- = Execute { }
- | Prefix { }
- | Format { }
- | DoNotReadStatus
- | SetStatus { }
- | SetTopStatus { }
- | GroupByFile
- | GroupByTag
- | GroupByStatus
- data OutFlag
- data SortingType
- = DoNotSort
- | ByTitle
- | ByStatus
- | ByTags
- | ByStartDate
- | ByEndDate
- | ByDeadline
- readSort :: String -> SortingType
- data Options
- data TodoCommand
- = JustShow
- | ShowAsDot
- | SystemCommand String
- data Composed
- is :: Functor f => t -> f a -> f (t, a)
- showDate :: (DateType, DateTime) -> String
- showDates :: [Maybe (DateType, DateTime)] -> String
Documentation
Kind of date
Constructors
| DateTime | |
capitalize :: String -> StringSource
capitalize first letter of the string
Only time, without date
TODO item itself.
Constructors
| Item | |
Fields
| |
Flags to specify query
Flags to specify parsing mode
Constructors
| Execute | |
| Prefix | |
| Format | |
| DoNotReadStatus | |
| SetStatus | |
| SetTopStatus | |
Fields | |
| GroupByFile | |
| GroupByTag | |
| GroupByStatus | |
Flags to control output
data SortingType Source
Type of sorting
Constructors
| DoNotSort | |
| ByTitle | |
| ByStatus | |
| ByTags | |
| ByStartDate | |
| ByEndDate | |
| ByDeadline |
Instances
readSort :: String -> SortingTypeSource
Result of parsing command line
data TodoCommand Source
What to do with selected items
Constructors
| JustShow | Just output items to console |
| ShowAsDot | Output graph in DOT format |
| SystemCommand String | Execute this system command for each item |
Instances