napkin-1.0.0
Safe HaskellNone
LanguageGHC2021

Napkin.Cli.Web.Effects

Documentation

type Plan b = TasksDAG Exec b #

type FullDAG b = TasksDAG Full b #

newtype TopSortPrio #

Constructors

TopSortPrio Word 

Instances

Instances details
Show TopSortPrio # 
Instance details

Defined in Napkin.Cli.Web.Effects

Methods

showsPrec :: Int -> TopSortPrio -> ShowS #

show :: TopSortPrio -> String #

showList :: [TopSortPrio] -> ShowS #

Eq TopSortPrio # 
Instance details

Defined in Napkin.Cli.Web.Effects

Methods

(==) :: TopSortPrio -> TopSortPrio -> Bool #

(/=) :: TopSortPrio -> TopSortPrio -> Bool #

Ord TopSortPrio # 
Instance details

Defined in Napkin.Cli.Web.Effects

Methods

compare :: TopSortPrio -> TopSortPrio -> Ordering #

(<) :: TopSortPrio -> TopSortPrio -> Bool #

(<=) :: TopSortPrio -> TopSortPrio -> Bool #

(>) :: TopSortPrio -> TopSortPrio -> Bool #

(>=) :: TopSortPrio -> TopSortPrio -> Bool #

max :: TopSortPrio -> TopSortPrio -> TopSortPrio #

min :: TopSortPrio -> TopSortPrio -> TopSortPrio #

data DAG (b :: k) (a :: Type -> Type) c where #

Constructors

GetTaskStates :: forall {k} (b :: k) (a :: Type -> Type). DAG b a (Map TaskId (TaskStateInfo b)) 
IsFinished :: forall {k} (b :: k) (a :: Type -> Type). DAG b a Bool 

Instances

Instances details
type DispatchOf (DAG b) # 
Instance details

Defined in Napkin.Cli.Web.Effects

type DispatchOf (DAG b) = 'Dynamic

runDAGIO :: forall {k} (es :: [Effect]) (b :: k) a. Concurrent :> es => (TVar (DAGRunState b), TMVar (DAGRunState b)) -> Eff (DAG b ': es) a -> Eff es a #

type Renamer = Reader (Ref Table -> Ref Table) #

accumTaskStates :: forall {k} (b :: k) m. MonadUnliftIO m => RuntimeEventQueueDAG b -> m (TVar (DAGRunState b), TMVar (DAGRunState b)) #

getTaskStates :: forall {k} (b :: k) (es :: [Effect]). DAG b :> es => Eff es (DAGRunState b) #

getTaskState :: forall {k} (b :: k) (es :: [Effect]). DAG b :> es => TaskId -> Eff es (Maybe (TaskStateInfo b)) #

getExecPlan :: forall b (es :: [Effect]). Reader (Plan b) :> es => Eff es (Plan b) #

getFullDAG :: forall b (es :: [Effect]). Reader (FullDAG b) :> es => Eff es (FullDAG b) #

isFinished :: forall {k} (b :: k) (es :: [Effect]). DAG b :> es => Eff es Bool #