napkin-1.0.0
Safe HaskellNone
LanguageGHC2021

Napkin.Spec.Graph.Types

Documentation

data TableType #

Constructors

ExternalTableType 
ManagedTableType 

Instances

Instances details
Show TableType # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

showsPrec :: Int -> TableType -> ShowS #

show :: TableType -> String #

showList :: [TableType] -> ShowS #

type SpecDepGraph = Gr SpecDepGraphNode () #

data SpecDepGraphNode #

Constructors

SpecDepGraphNode SpecTableName TableType (Set TableSpecTag) 

Instances

Instances details
Generic SpecDepGraphNode # 
Instance details

Defined in Napkin.Spec.Graph.Types

Associated Types

type Rep SpecDepGraphNode 
Instance details

Defined in Napkin.Spec.Graph.Types

type Rep SpecDepGraphNode = D1 ('MetaData "SpecDepGraphNode" "Napkin.Spec.Graph.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "SpecDepGraphNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "sdglTableName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SpecTableName) :*: (S1 ('MetaSel ('Just "sdglTableType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableType) :*: S1 ('MetaSel ('Just "sdglTableTags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TableSpecTag)))))

Methods

from :: SpecDepGraphNode -> Rep SpecDepGraphNode x #

to :: Rep SpecDepGraphNode x -> SpecDepGraphNode #

Show SpecDepGraphNode # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

showsPrec :: Int -> SpecDepGraphNode -> ShowS #

show :: SpecDepGraphNode -> String #

showList :: [SpecDepGraphNode] -> ShowS #

type Rep SpecDepGraphNode # 
Instance details

Defined in Napkin.Spec.Graph.Types

type Rep SpecDepGraphNode = D1 ('MetaData "SpecDepGraphNode" "Napkin.Spec.Graph.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "SpecDepGraphNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "sdglTableName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SpecTableName) :*: (S1 ('MetaSel ('Just "sdglTableType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableType) :*: S1 ('MetaSel ('Just "sdglTableTags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TableSpecTag)))))

newtype TaskId #

Constructors

TaskId 

Fields

Instances

Instances details
Generic TaskId # 
Instance details

Defined in Napkin.Spec.Graph.Types

Associated Types

type Rep TaskId 
Instance details

Defined in Napkin.Spec.Graph.Types

type Rep TaskId = D1 ('MetaData "TaskId" "Napkin.Spec.Graph.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'True) (C1 ('MetaCons "TaskId" 'PrefixI 'True) (S1 ('MetaSel ('Just "taskIdSegments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

Methods

from :: TaskId -> Rep TaskId x #

to :: Rep TaskId x -> TaskId #

Show TaskId # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

showsPrec :: Int -> TaskId -> ShowS #

show :: TaskId -> String #

showList :: [TaskId] -> ShowS #

Eq TaskId # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

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

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

Ord TaskId # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

compare :: TaskId -> TaskId -> Ordering #

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

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

(>) :: TaskId -> TaskId -> Bool #

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

max :: TaskId -> TaskId -> TaskId #

min :: TaskId -> TaskId -> TaskId #

Route TaskId # 
Instance details

Defined in Napkin.Cli.Web.Types

Methods

defRoute :: TaskId #

routePath :: TaskId -> [Segment] #

matchRoute :: [Segment] -> Maybe TaskId #

type Rep TaskId # 
Instance details

Defined in Napkin.Spec.Graph.Types

type Rep TaskId = D1 ('MetaData "TaskId" "Napkin.Spec.Graph.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'True) (C1 ('MetaCons "TaskId" 'PrefixI 'True) (S1 ('MetaSel ('Just "taskIdSegments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

displayTaskId :: TaskId -> Text #

data TaskState (b :: k) #

Constructors

Pending 
Blocked (Set TaskId) 
DependencyFailed TaskId 
Running 
CompletedOk [(DumpItem b, UTCTime)] (QueryStats b) 
CompletedError [(DumpItem b, UTCTime)] Text 
Skipped 

Instances

Instances details
Generic (TaskState b) # 
Instance details

Defined in Napkin.Spec.Graph.Types

Associated Types

type Rep (TaskState b) 
Instance details

Defined in Napkin.Spec.Graph.Types

type Rep (TaskState b) = D1 ('MetaData "TaskState" "Napkin.Spec.Graph.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) ((C1 ('MetaCons "Pending" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Blocked" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TaskId))) :+: C1 ('MetaCons "DependencyFailed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TaskId)))) :+: ((C1 ('MetaCons "Running" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CompletedOk" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(DumpItem b, UTCTime)]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QueryStats b)))) :+: (C1 ('MetaCons "CompletedError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(DumpItem b, UTCTime)]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Skipped" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: TaskState b -> Rep (TaskState b) x #

to :: Rep (TaskState b) x -> TaskState b #

Show (BackendQueryStats backend) => Show (TaskState backend) # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

showsPrec :: Int -> TaskState backend -> ShowS #

show :: TaskState backend -> String #

showList :: [TaskState backend] -> ShowS #

Eq (BackendQueryStats backend) => Eq (TaskState backend) # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

(==) :: TaskState backend -> TaskState backend -> Bool #

(/=) :: TaskState backend -> TaskState backend -> Bool #

type Rep (TaskState b) # 
Instance details

Defined in Napkin.Spec.Graph.Types

type Rep (TaskState b) = D1 ('MetaData "TaskState" "Napkin.Spec.Graph.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) ((C1 ('MetaCons "Pending" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Blocked" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TaskId))) :+: C1 ('MetaCons "DependencyFailed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TaskId)))) :+: ((C1 ('MetaCons "Running" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CompletedOk" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(DumpItem b, UTCTime)]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QueryStats b)))) :+: (C1 ('MetaCons "CompletedError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(DumpItem b, UTCTime)]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Skipped" 'PrefixI 'False) (U1 :: Type -> Type))))

data ShowTaskIds #

Constructors

ShowTaskIds 
HideTaskIds 

Instances

Instances details
Show ShowTaskIds # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

showsPrec :: Int -> ShowTaskIds -> ShowS #

show :: ShowTaskIds -> String #

showList :: [ShowTaskIds] -> ShowS #

Eq ShowTaskIds # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

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

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

data ShowTasksGraph #

Constructors

ShowTasksGraph 
NoTasksGraph 

Instances

Instances details
Show ShowTasksGraph # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

showsPrec :: Int -> ShowTasksGraph -> ShowS #

show :: ShowTasksGraph -> String #

showList :: [ShowTasksGraph] -> ShowS #

Eq ShowTasksGraph # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

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

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

data SimpleTaskState #

Constructors

SPending 
SBlocked 
SDependencyFailed 
SRunning 
SCompletedOk 
SCompletedError 
SSkipped 

Instances

Instances details
FromJSON SimpleTaskState # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

parseJSON :: Value -> Parser SimpleTaskState #

parseJSONList :: Value -> Parser [SimpleTaskState] #

omittedField :: Maybe SimpleTaskState #

ToJSON SimpleTaskState # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

toJSON :: SimpleTaskState -> Value #

toEncoding :: SimpleTaskState -> Encoding #

toJSONList :: [SimpleTaskState] -> Value #

toEncodingList :: [SimpleTaskState] -> Encoding #

omitField :: SimpleTaskState -> Bool #

Bounded SimpleTaskState # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

minBound :: SimpleTaskState #

maxBound :: SimpleTaskState #

Enum SimpleTaskState # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

succ :: SimpleTaskState -> SimpleTaskState #

pred :: SimpleTaskState -> SimpleTaskState #

toEnum :: Int -> SimpleTaskState #

fromEnum :: SimpleTaskState -> Int #

enumFrom :: SimpleTaskState -> [SimpleTaskState] #

enumFromThen :: SimpleTaskState -> SimpleTaskState -> [SimpleTaskState] #

enumFromTo :: SimpleTaskState -> SimpleTaskState -> [SimpleTaskState] #

enumFromThenTo :: SimpleTaskState -> SimpleTaskState -> SimpleTaskState -> [SimpleTaskState] #

Generic SimpleTaskState # 
Instance details

Defined in Napkin.Spec.Graph.Types

Associated Types

type Rep SimpleTaskState 
Instance details

Defined in Napkin.Spec.Graph.Types

type Rep SimpleTaskState = D1 ('MetaData "SimpleTaskState" "Napkin.Spec.Graph.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) ((C1 ('MetaCons "SPending" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SBlocked" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SDependencyFailed" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "SRunning" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SCompletedOk" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SCompletedError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SSkipped" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: SimpleTaskState -> Rep SimpleTaskState x #

to :: Rep SimpleTaskState x -> SimpleTaskState #

Show SimpleTaskState # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

showsPrec :: Int -> SimpleTaskState -> ShowS #

show :: SimpleTaskState -> String #

showList :: [SimpleTaskState] -> ShowS #

Eq SimpleTaskState # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

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

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

Ord SimpleTaskState # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

compare :: SimpleTaskState -> SimpleTaskState -> Ordering #

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

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

(>) :: SimpleTaskState -> SimpleTaskState -> Bool #

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

max :: SimpleTaskState -> SimpleTaskState -> SimpleTaskState #

min :: SimpleTaskState -> SimpleTaskState -> SimpleTaskState #

ToClassName SimpleTaskState # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

toClassName :: SimpleTaskState -> Text #

ToColor SimpleTaskState # 
Instance details

Defined in Napkin.Cli.Web.Styles

Methods

colorValue :: SimpleTaskState -> HexColor #

colorName :: SimpleTaskState -> Text #

type Rep SimpleTaskState # 
Instance details

Defined in Napkin.Spec.Graph.Types

type Rep SimpleTaskState = D1 ('MetaData "SimpleTaskState" "Napkin.Spec.Graph.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) ((C1 ('MetaCons "SPending" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SBlocked" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SDependencyFailed" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "SRunning" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SCompletedOk" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SCompletedError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SSkipped" 'PrefixI 'False) (U1 :: Type -> Type))))

data TaskStateInfo (b :: k) #

Constructors

TaskStateInfo 

Fields

Instances

Instances details
Generic (TaskStateInfo b) # 
Instance details

Defined in Napkin.Spec.Graph.Types

Associated Types

type Rep (TaskStateInfo b) 
Instance details

Defined in Napkin.Spec.Graph.Types

type Rep (TaskStateInfo b) = D1 ('MetaData "TaskStateInfo" "Napkin.Spec.Graph.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "TaskStateInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "state") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TaskState b)) :*: (S1 ('MetaSel ('Just "simple") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SimpleTaskState) :*: S1 ('MetaSel ('Just "transitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map SimpleTaskState UTCTime)))))

Methods

from :: TaskStateInfo b -> Rep (TaskStateInfo b) x #

to :: Rep (TaskStateInfo b) x -> TaskStateInfo b #

Show (BackendQueryStats backend) => Show (TaskStateInfo backend) # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

showsPrec :: Int -> TaskStateInfo backend -> ShowS #

show :: TaskStateInfo backend -> String #

showList :: [TaskStateInfo backend] -> ShowS #

Eq (BackendQueryStats backend) => Eq (TaskStateInfo backend) # 
Instance details

Defined in Napkin.Spec.Graph.Types

Methods

(==) :: TaskStateInfo backend -> TaskStateInfo backend -> Bool #

(/=) :: TaskStateInfo backend -> TaskStateInfo backend -> Bool #

type Rep (TaskStateInfo b) # 
Instance details

Defined in Napkin.Spec.Graph.Types

type Rep (TaskStateInfo b) = D1 ('MetaData "TaskStateInfo" "Napkin.Spec.Graph.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "TaskStateInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "state") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TaskState b)) :*: (S1 ('MetaSel ('Just "simple") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SimpleTaskState) :*: S1 ('MetaSel ('Just "transitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map SimpleTaskState UTCTime)))))

type DAGRunState (b :: k) = Map TaskId (TaskStateInfo b) #