Copyright | (c) Soostone Inc 2020 |
---|---|
License | AllRightsReserved |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- type Success = Bool
- data TableState
- = Pending
- | Processing
- | Skipped
- | Done
- | Failed
- data UIName
- data PreviousStates = PreviousStates {}
- freshPreviousStates :: PreviousStates
- prevStatesFinishedTime :: PreviousStates -> Maybe ElapsedSeconds
- type ElapsedSeconds = Integer
- type TableStates = Map String (TableState, PreviousStates)
- data DrawState = DrawState {}
- type SpecListView = GenericList UIName Vector TableStateLine
- data SpecList = SpecList
- allTablesProcessed :: TableStates -> Bool
- type TableName = Ref Table
- type ErrorInfo = String
- type SuccessInfo = String
- data UpdateEvent
- eventHandler :: DrawState -> BrickEvent UIName UpdateEvent -> EventM UIName (Next DrawState)
- cliReporter :: RuntimeEventQueue -> [Ref Table] -> EtaType -> IO Success
- success :: DrawState -> Success
- prettyElapsedTime :: Integer -> String
- printFinalReport :: DrawState -> IO ()
- filterByState :: (TableState -> Bool) -> TableStates -> TableStates
- drawScreen :: DrawState -> [Widget UIName]
- prettyUTCTime :: UTCTime -> String
- data TableStateLine = TableStateLine String TableState PreviousStates
- sortedStatesList :: TableStates -> [TableStateLine]
- renderOneState :: Bool -> ElapsedSeconds -> TableStateLine -> Widget UIName
- cliAttrMap :: AttrMap
- tableRowSelected :: AttrName
- successStateLine :: AttrName
- skippedStateLine :: AttrName
- failureStateLine :: AttrName
- processingStateLine :: AttrName
- pendingStateLine :: AttrName
- introBox :: AttrName
- errorBox :: AttrName
- tableStatus :: AttrName
- tableStatusError :: AttrName
- napkinText :: [String]
Documentation
data TableState #
Instances
Eq TableState # | |
Defined in Napkin.Spec.CliReporter (==) :: TableState -> TableState -> Bool # (/=) :: TableState -> TableState -> Bool # | |
Show TableState # | |
Defined in Napkin.Spec.CliReporter showsPrec :: Int -> TableState -> ShowS # show :: TableState -> String # showList :: [TableState] -> ShowS # |
Unique names for user interface elements necessary for brick.
data PreviousStates #
type ElapsedSeconds = Integer #
type TableStates = Map String (TableState, PreviousStates) #
allTablesProcessed :: TableStates -> Bool #
True iff all tables have been serviced so that the elapsed time can stop ticking.
type SuccessInfo = String #
data UpdateEvent #
TableProcessingEvent TableName | |
TableDoneEvent TableName TrackingQueryStats | |
TableFailedEvent TableName ErrorInfo | |
TableSkippedEvent TableName | |
RunDone TrackingQueryStats | |
FinishFatal | |
Tick |
Instances
Eq UpdateEvent # | |
Defined in Napkin.Spec.CliReporter (==) :: UpdateEvent -> UpdateEvent -> Bool # (/=) :: UpdateEvent -> UpdateEvent -> Bool # | |
Show UpdateEvent # | |
Defined in Napkin.Spec.CliReporter showsPrec :: Int -> UpdateEvent -> ShowS # show :: UpdateEvent -> String # showList :: [UpdateEvent] -> ShowS # |
eventHandler :: DrawState -> BrickEvent UIName UpdateEvent -> EventM UIName (Next DrawState) #
cliReporter :: RuntimeEventQueue -> [Ref Table] -> EtaType -> IO Success #
Pump the runtime event queue to display Spec execution progress in the terminal. Returns after all Specs are completed.
prettyElapsedTime :: Integer -> String #
printFinalReport :: DrawState -> IO () #
filterByState :: (TableState -> Bool) -> TableStates -> TableStates #
drawScreen :: DrawState -> [Widget UIName] #
prettyUTCTime :: UTCTime -> String #
sortedStatesList :: TableStates -> [TableStateLine] #
renderOneState :: Bool -> ElapsedSeconds -> TableStateLine -> Widget UIName #
cliAttrMap :: AttrMap #
tableStatus :: AttrName #
napkinText :: [String] #