Safe Haskell	Safe-Inferred
Language	GHC2021

Napkin.Spec.CliReporter

Synopsis

type Success = Bool
data State
- = Pending
- | Processing
- | Skipped
- | Done
- | Failed
data UIName
- = SpecListViewportName
- | SpecListViewName
data PreviousStates = PreviousStates {
- processingTime :: Maybe ElapsedSeconds
- finishedTime :: Maybe ElapsedSeconds
- info :: Maybe String
}
freshPreviousStates :: PreviousStates
prevStatesFinishedTime :: PreviousStates -> Maybe ElapsedSeconds
type ElapsedSeconds = Integer
data EventSourceInfo
- = EventFromTable
- | EventFromHook
- | Dummy
eventSourceInfo :: EventSource -> EventSourceInfo
data StateInfo = StateInfo {
- state :: State
- previousStates :: PreviousStates
- sourceInfo :: EventSourceInfo
}
type States = Map String StateInfo
type TableNameMap = Map String String
data DrawState b = DrawState {
- startTime :: UTCTime
- tableNames :: TableNameMap
- showPostProcessedTableRef :: Bool
- tableStates :: States
- elapsedTime :: ElapsedSeconds
- processingTime :: ElapsedSeconds
- runDone :: Bool
- wantsToQuit :: Bool
- eta :: EtaType
- trackingQueryStats :: TrackingQueryStats b
- showError :: Bool
- specListView :: SpecListView
}
type SpecListView = List UIName StateLine
type ErrorInfo = String
data BeforeAfterRenamerRef = BeforeAfterRenamerRef {
- beforeRef :: SpecTableName
- afterRef :: Ref Table
}
data UpdateEvent b
- = ProcessingEvent EventSource
- | DoneEvent EventSource (CreateQueryStats b) (Maybe (HookQueryStats b))
- | FailedEvent EventSource ErrorInfo
- | SkippedEvent [EventSource]
- | RunDone (QueryStats b)
- | FinishFatal
- | Tick
eventHandler :: HasBackendQueryStats b => BrickEvent UIName (UpdateEvent b) -> EventM UIName (DrawState b) ()
cliReporter :: HasBackendQueryStats b => RuntimeEventQueue b -> [BeforeAfterRenamerRef] -> EtaType -> IO Success
success :: DrawState b -> Success
prettyElapsedTime :: Integer -> String
printFinalReport :: HasBackendQueryStats b => DrawState b -> IO ()
filterByState :: (State -> Bool) -> States -> States
drawScreen :: DrawState b -> [Widget UIName]
prettyUTCTime :: UTCTime -> String
data StateLine = StateLine String State PreviousStates EventSourceInfo
sortedStatesList :: States -> [StateLine]
renderOneState :: Bool -> ElapsedSeconds -> Bool -> TableNameMap -> StateLine -> 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

type Success = Bool #

data State #

Constructors

Pending
Processing
Skipped
Done
Failed

Instances

Instances details

Show State #
Instance details Defined in Napkin.Spec.CliReporter Methods showsPrec :: Int -> State -> ShowS # show :: State -> String # showList :: [State] -> ShowS #
Eq State #
Instance details Defined in Napkin.Spec.CliReporter Methods (==) :: State -> State -> Bool # (/=) :: State -> State -> Bool #

data UIName #

Unique names for user interface elements necessary for brick.

Constructors

SpecListViewportName
SpecListViewName

Instances

Instances details

Show UIName #
Instance details Defined in Napkin.Spec.CliReporter Methods showsPrec :: Int -> UIName -> ShowS # show :: UIName -> String # showList :: [UIName] -> ShowS #
Eq UIName #
Instance details Defined in Napkin.Spec.CliReporter Methods (==) :: UIName -> UIName -> Bool # (/=) :: UIName -> UIName -> Bool #
Ord UIName #
Instance details Defined in Napkin.Spec.CliReporter Methods compare :: UIName -> UIName -> Ordering # (<) :: UIName -> UIName -> Bool # (<=) :: UIName -> UIName -> Bool # (>) :: UIName -> UIName -> Bool # (>=) :: UIName -> UIName -> Bool # max :: UIName -> UIName -> UIName # min :: UIName -> UIName -> UIName #

data PreviousStates #

Constructors

PreviousStates
Fields processingTime :: Maybe ElapsedSeconds finishedTime :: Maybe ElapsedSeconds info :: Maybe String

Instances

Instances details

Generic PreviousStates #
Instance details Defined in Napkin.Spec.CliReporter Associated Types type Rep PreviousStates :: Type -> Type # Methods from :: PreviousStates -> Rep PreviousStates x # to :: Rep PreviousStates x -> PreviousStates #
type Rep PreviousStates #
Instance details Defined in Napkin.Spec.CliReporter type Rep PreviousStates = D1 ('MetaData "PreviousStates" "Napkin.Spec.CliReporter" "napkin-1.0.0-B79azc00rn1K8mj00hwhwG" 'False) (C1 ('MetaCons "PreviousStates" 'PrefixI 'True) (S1 ('MetaSel ('Just "processingTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ElapsedSeconds)) :: (S1 ('MetaSel ('Just "finishedTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ElapsedSeconds)) :: S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)))))

freshPreviousStates :: PreviousStates #

prevStatesFinishedTime :: PreviousStates -> Maybe ElapsedSeconds #

type ElapsedSeconds = Integer #

data EventSourceInfo #

Constructors

EventFromTable
EventFromHook
Dummy

Instances

Instances details

Show EventSourceInfo #
Instance details Defined in Napkin.Spec.CliReporter Methods showsPrec :: Int -> EventSourceInfo -> ShowS # show :: EventSourceInfo -> String # showList :: [EventSourceInfo] -> ShowS #
Eq EventSourceInfo #
Instance details Defined in Napkin.Spec.CliReporter Methods (==) :: EventSourceInfo -> EventSourceInfo -> Bool # (/=) :: EventSourceInfo -> EventSourceInfo -> Bool #

eventSourceInfo :: EventSource -> EventSourceInfo #

data StateInfo #

Constructors

StateInfo
Fields state :: State previousStates :: PreviousStates sourceInfo :: EventSourceInfo

Instances

Instances details

Generic StateInfo #
Instance details Defined in Napkin.Spec.CliReporter Associated Types type Rep StateInfo :: Type -> Type # Methods from :: StateInfo -> Rep StateInfo x # to :: Rep StateInfo x -> StateInfo #
type Rep StateInfo #
Instance details Defined in Napkin.Spec.CliReporter type Rep StateInfo = D1 ('MetaData "StateInfo" "Napkin.Spec.CliReporter" "napkin-1.0.0-B79azc00rn1K8mj00hwhwG" 'False) (C1 ('MetaCons "StateInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "state") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 State) :: (S1 ('MetaSel ('Just "previousStates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PreviousStates) :: S1 ('MetaSel ('Just "sourceInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EventSourceInfo))))

type States = Map String StateInfo #

type TableNameMap = Map String String #

data DrawState b #

Constructors

DrawState
Fields startTime :: UTCTime tableNames :: TableNameMap showPostProcessedTableRef :: Bool tableStates :: States elapsedTime :: ElapsedSeconds processingTime :: ElapsedSeconds runDone :: Bool wantsToQuit :: Bool eta :: EtaType trackingQueryStats :: TrackingQueryStats b showError :: Bool specListView :: SpecListView

Instances

Instances details

Generic (DrawState b) #
Instance details Defined in Napkin.Spec.CliReporter Associated Types type Rep (DrawState b) :: Type -> Type # Methods from :: DrawState b -> Rep (DrawState b) x # to :: Rep (DrawState b) x -> DrawState b #
type Rep (DrawState b) #
Instance details Defined in Napkin.Spec.CliReporter type Rep (DrawState b) = D1 ('MetaData "DrawState" "Napkin.Spec.CliReporter" "napkin-1.0.0-B79azc00rn1K8mj00hwhwG" 'False) (C1 ('MetaCons "DrawState" 'PrefixI 'True) (((S1 ('MetaSel ('Just "startTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime) :: (S1 ('MetaSel ('Just "tableNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableNameMap) :: S1 ('MetaSel ('Just "showPostProcessedTableRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :: (S1 ('MetaSel ('Just "tableStates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 States) :: (S1 ('MetaSel ('Just "elapsedTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ElapsedSeconds) :: S1 ('MetaSel ('Just "processingTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ElapsedSeconds)))) :: ((S1 ('MetaSel ('Just "runDone") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Just "wantsToQuit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "eta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EtaType))) :: (S1 ('MetaSel ('Just "trackingQueryStats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TrackingQueryStats b)) :: (S1 ('MetaSel ('Just "showError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "specListView") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SpecListView))))))

type SpecListView = List UIName StateLine #

type ErrorInfo = String #

data BeforeAfterRenamerRef #

represents table naming before and after renamer processing

Constructors

BeforeAfterRenamerRef
Fields beforeRef :: SpecTableName afterRef :: Ref Table

Instances

Instances details

Generic BeforeAfterRenamerRef #
Instance details Defined in Napkin.Spec.CliReporter Associated Types type Rep BeforeAfterRenamerRef :: Type -> Type # Methods from :: BeforeAfterRenamerRef -> Rep BeforeAfterRenamerRef x # to :: Rep BeforeAfterRenamerRef x -> BeforeAfterRenamerRef #
type Rep BeforeAfterRenamerRef #
Instance details Defined in Napkin.Spec.CliReporter type Rep BeforeAfterRenamerRef = D1 ('MetaData "BeforeAfterRenamerRef" "Napkin.Spec.CliReporter" "napkin-1.0.0-B79azc00rn1K8mj00hwhwG" 'False) (C1 ('MetaCons "BeforeAfterRenamerRef" 'PrefixI 'True) (S1 ('MetaSel ('Just "beforeRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SpecTableName) :*: S1 ('MetaSel ('Just "afterRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Ref Table))))

data UpdateEvent b #

Constructors

ProcessingEvent EventSource
DoneEvent EventSource (CreateQueryStats b) (Maybe (HookQueryStats b))
FailedEvent EventSource ErrorInfo
SkippedEvent [EventSource]
RunDone (QueryStats b)
FinishFatal
Tick