Taskwarrior.Task

This Module exports the main datatype of this library: Task. It is provided with FromJSON and ToJSON instances.

Documentation

data Task

A Task represents a task from taskwarrior. See https://taskwarrior.org/docs/design/task.html for the specification of the fields. The specification demands, that the existence of some fields is dependent on the status of the task. Those fields are therefore bundled in status as a sum-type.

All fields in an imported task which are not part of the specification will be put in the UDA (user defined attributes) HashMap.

Since the json can have multiple semantically equivalent representations of a task first serializing and then deserializing is not identity. But deserializing and then serializing should be. (Thus making serializing and deserializing idempotent.)

Constructors

Task

Fields

• status :: Status
• uuid :: UUID
• entry :: UTCTime
• description :: Text
• start :: Maybe UTCTime
• modified :: Maybe UTCTime
• due :: Maybe UTCTime
• until :: Maybe UTCTime
• annotations :: [Annotation]
• scheduled :: Maybe UTCTime
• project :: Maybe Text
• priority :: Maybe Priority
• depends :: [UUID]
• tags :: [Tag]
• uda :: UDA

Instances

Eq Task

Defined in Taskwarrior.Task

Methods

(==) :: Task -> Task -> Bool

(/=) :: Task -> Task -> Bool

Read Task

Defined in Taskwarrior.Task

Methods

readsPrec :: Int -> ReadS Task

readList :: ReadS [Task]

readPrec :: ReadPrec Task

readListPrec :: ReadPrec [Task]

Show Task

Defined in Taskwarrior.Task

Methods

showsPrec :: Int -> Task -> ShowS

show :: Task -> String

showList :: [Task] -> ShowS

ToJSON Task

Defined in Taskwarrior.Task

Methods

toJSON :: Task -> Value

toEncoding :: Task -> Encoding

toJSONList :: [Task] -> Value

toEncodingList :: [Task] -> Encoding

FromJSON Task

Defined in Taskwarrior.Task

Methods

parseJSON :: Value -> Parser Task

parseJSONList :: Value -> Parser [Task]

type Tag = Text

A Tag can be basically any string. But beware: Special symbols work but might clash with task cli syntax.

makeTask :: UUID -> UTCTime -> Text -> Task

Makes a Task with the given mandatory fields uuid, entry time and description. See createTask for a non-pure version which needs less parameters.