napkin-runtime-2.0.0

Copyright	(c) Soostone Inc 2020
License	AllRightsReserved
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	GHC2024

Napkin.Run.Execute.DAG

Description

Synopsis

type SpecBackend bk = (HasBackendSchemaField bk, RenderSql Query bk, RenderSql SExp bk, RenderSql (CreateRelation bk) bk, Backend bk, MustacheBackend bk, Typeable bk, RunBackendEffect bk, DumpBackendRequirements bk, HasBackendQueryStats bk, CSVImport bk, InterpreterBackendSupport bk, NapkinParserDialect bk)
executeDAGSpec :: forall bk m. (MonadFix m, Katip m, SpecBackend bk, HasBackendQueryStats bk, MonadReader (ComboEnv bk) m) => KVS -> Maybe ConcurrentSlots -> DevSlow -> RuntimeEnv -> SpecRuntime bk -> RawInterpretedSpec bk -> Map TaskId NominalDiffTime -> Map (Ref Table) NormalizedTable -> TMVar UIExecutionControl -> TMVar () -> RuntimeEventQueueDAG bk -> TasksDAG Full bk -> m (Success, DAGRunState bk)
estimateExecutionTime :: TasksDAG Exec b -> Map TaskId NominalDiffTime -> Maybe (UTCTime, Map TaskId (TaskStateInfo b)) -> Estimate
data UIExecutionControl
- = Continue
- | Quit
newtype HookAssertionError = HookAssertionError (NonEmpty AssertionEntry)

Documentation

type SpecBackend bk = (HasBackendSchemaField bk, RenderSql Query bk, RenderSql SExp bk, RenderSql (CreateRelation bk) bk, Backend bk, MustacheBackend bk, Typeable bk, RunBackendEffect bk, DumpBackendRequirements bk, HasBackendQueryStats bk, CSVImport bk, InterpreterBackendSupport bk, NapkinParserDialect bk) #

What we seem to need to be able to call executeSpec; it's basically all about choosing a backend that satisfies the needed operations.

executeDAGSpec :: forall bk m. (MonadFix m, Katip m, SpecBackend bk, HasBackendQueryStats bk, MonadReader (ComboEnv bk) m) => KVS -> Maybe ConcurrentSlots -> DevSlow -> RuntimeEnv -> SpecRuntime bk -> RawInterpretedSpec bk -> Map TaskId NominalDiffTime -> Map (Ref Table) NormalizedTable -> TMVar UIExecutionControl -> TMVar () -> RuntimeEventQueueDAG bk -> TasksDAG Full bk -> m (Success, DAGRunState bk) #

estimateExecutionTime :: TasksDAG Exec b -> Map TaskId NominalDiffTime -> Maybe (UTCTime, Map TaskId (TaskStateInfo b)) -> Estimate #

data UIExecutionControl #

UI Soft Quit

Constructors

Continue
Quit

Instances

Instances details

Show UIExecutionControl #
Instance details Defined in Napkin.Run.Execute.DAG Methods showsPrec :: Int -> UIExecutionControl -> ShowS # show :: UIExecutionControl -> String # showList :: [UIExecutionControl] -> ShowS #
Eq UIExecutionControl #
Instance details Defined in Napkin.Run.Execute.DAG Methods (==) :: UIExecutionControl -> UIExecutionControl -> Bool # (/=) :: UIExecutionControl -> UIExecutionControl -> Bool #

newtype HookAssertionError #

Constructors

HookAssertionError (NonEmpty AssertionEntry)

Instances

Instances details

Exception HookAssertionError #
Instance details Defined in Napkin.Run.Execute.DAG Methods toException :: HookAssertionError -> SomeException # fromException :: SomeException -> Maybe HookAssertionError # displayException :: HookAssertionError -> String # backtraceDesired :: HookAssertionError -> Bool #
Show HookAssertionError #
Instance details Defined in Napkin.Run.Execute.DAG Methods showsPrec :: Int -> HookAssertionError -> ShowS # show :: HookAssertionError -> String # showList :: [HookAssertionError] -> ShowS #