Taskwarrior.Priority

This module provides the type for the priority of a task.

Documentation

parseMay :: Value -> Parser (Maybe Priority)

Parses a JSON string to a Maybe Priority, fails on anything else.

data Priority

A task can have the priorities high, medium, low or none, which is modeled via a Maybe Priority.

Instances

Bounded Priority

Defined in Taskwarrior.Priority

Methods

minBound :: Priority

maxBound :: Priority

Enum Priority

Defined in Taskwarrior.Priority

Methods

succ :: Priority -> Priority

pred :: Priority -> Priority

toEnum :: Int -> Priority

fromEnum :: Priority -> Int

enumFrom :: Priority -> [Priority]

enumFromThen :: Priority -> Priority -> [Priority]

enumFromTo :: Priority -> Priority -> [Priority]

enumFromThenTo :: Priority -> Priority -> Priority -> [Priority]

Eq Priority

Defined in Taskwarrior.Priority

Methods

(==) :: Priority -> Priority -> Bool

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

Ord Priority

Defined in Taskwarrior.Priority

Methods

compare :: Priority -> Priority -> Ordering

(<) :: Priority -> Priority -> Bool

(<=) :: Priority -> Priority -> Bool

(>) :: Priority -> Priority -> Bool

(>=) :: Priority -> Priority -> Bool

max :: Priority -> Priority -> Priority

min :: Priority -> Priority -> Priority

Read Priority

Defined in Taskwarrior.Priority

Methods

readsPrec :: Int -> ReadS Priority

readList :: ReadS [Priority]

readPrec :: ReadPrec Priority

readListPrec :: ReadPrec [Priority]

Show Priority

Defined in Taskwarrior.Priority

Methods

showsPrec :: Int -> Priority -> ShowS

show :: Priority -> String

showList :: [Priority] -> ShowS

ToJSON Priority

Defined in Taskwarrior.Priority

Methods

toJSON :: Priority -> Value

toEncoding :: Priority -> Encoding

toJSONList :: [Priority] -> Value

toEncodingList :: [Priority] -> Encoding