DrCabal.Model

Data types to model the domain of the cabal output.

Documentation

data Line

Constructors

Line

Fields

• lineTime :: Word64
• lineLine :: ByteString

Instances

Show Line

Defined in DrCabal.Model

Methods

showsPrec :: Int -> Line -> ShowS

show :: Line -> String

showList :: [Line] -> ShowS

data Status

Constructors

Downloading

Downloaded

Starting

Building

Installing

Completed

Instances

FromJSON Status

Defined in DrCabal.Model

Methods

parseJSON :: Value -> Parser Status

parseJSONList :: Value -> Parser [Status]

ToJSON Status

Defined in DrCabal.Model

Methods

toJSON :: Status -> Value

toEncoding :: Status -> Encoding

toJSONList :: [Status] -> Value

toEncodingList :: [Status] -> Encoding

Bounded Status

Defined in DrCabal.Model

Methods

minBound :: Status

maxBound :: Status

Enum Status

Defined in DrCabal.Model

Methods

succ :: Status -> Status

pred :: Status -> Status

toEnum :: Int -> Status

fromEnum :: Status -> Int

enumFrom :: Status -> [Status]

enumFromThen :: Status -> Status -> [Status]

enumFromTo :: Status -> Status -> [Status]

enumFromThenTo :: Status -> Status -> Status -> [Status]

Read Status

Defined in DrCabal.Model

Methods

readsPrec :: Int -> ReadS Status

readList :: ReadS [Status]

readPrec :: ReadPrec Status

readListPrec :: ReadPrec [Status]

Show Status

Defined in DrCabal.Model

Methods

showsPrec :: Int -> Status -> ShowS

show :: Status -> String

showList :: [Status] -> ShowS

Eq Status

Defined in DrCabal.Model

Methods

(==) :: Status -> Status -> Bool

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

Ord Status

Defined in DrCabal.Model

Methods

compare :: Status -> Status -> Ordering

(<) :: Status -> Status -> Bool

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

(>) :: Status -> Status -> Bool

(>=) :: Status -> Status -> Bool

max :: Status -> Status -> Status

min :: Status -> Status -> Status

data Entry

Constructors

Entry

Fields

• entryStatus :: Status
• entryStart :: Word64
• entryLibrary :: Text

Instances

FromJSON Entry

Defined in DrCabal.Model

Methods

parseJSON :: Value -> Parser Entry

parseJSONList :: Value -> Parser [Entry]

ToJSON Entry

Defined in DrCabal.Model

Methods

toJSON :: Entry -> Value

toEncoding :: Entry -> Encoding

toJSONList :: [Entry] -> Value

toEncodingList :: [Entry] -> Encoding

Show Entry

Defined in DrCabal.Model

Methods

showsPrec :: Int -> Entry -> ShowS

show :: Entry -> String

showList :: [Entry] -> ShowS