Safe Haskell	None
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 :: k) = 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 :: k)
- = ProcessingEvent EventSource
- | DoneEvent EventSource (CreateQueryStats b) (Maybe (HookQueryStats b))
- | FailedEvent EventSource ErrorInfo
- | SkippedEvent [EventSource]
- | RunDone (QueryStats b)
- | FinishFatal
- | Tick
eventHandler :: forall {k} (b :: k). HasBackendQueryStats b => BrickEvent UIName (UpdateEvent b) -> EventM UIName (DrawState b) ()
cliReporter :: forall {k} (b :: k). HasBackendQueryStats b => RuntimeEventQueue b -> [BeforeAfterRenamerRef] -> EtaType -> IO Success
success :: forall {k} (b :: k). DrawState b -> Success
prettyElapsedTime :: Integer -> String
printFinalReport :: forall {k} (b :: k). HasBackendQueryStats b => DrawState b -> IO ()
filterByState :: (State -> Bool) -> States -> States
drawScreen :: forall {k} (b :: k). 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

Instance details

Defined in Napkin.Spec.CliReporter

type Rep PreviousStates = D1 ('MetaData "PreviousStates" "Napkin.Spec.CliReporter" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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)))))

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-5YkWAC9Wc776PT0LDghaFb" '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

Instance details

Defined in Napkin.Spec.CliReporter

type Rep StateInfo = D1 ('MetaData "StateInfo" "Napkin.Spec.CliReporter" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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))))

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-5YkWAC9Wc776PT0LDghaFb" '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 :: k) #

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)

Instance details

Defined in Napkin.Spec.CliReporter

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 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

Instance details

Defined in Napkin.Spec.CliReporter

type Rep BeforeAfterRenamerRef = D1 ('MetaData "BeforeAfterRenamerRef" "Napkin.Spec.CliReporter" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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))))

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-5YkWAC9Wc776PT0LDghaFb" '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 :: k) #

Constructors

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