Safe Haskell	Safe-Inferred
Language	GHC2021

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 :: Type -> Type # 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-B79azc00rn1K8mj00hwhwG" '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 taskIdSegments :: [Text]

Instances

Instances details

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 #

displayTaskId :: TaskId -> Text #

data TaskState b #

Constructors

Pending
Blocked (Set TaskId)
Running
CompletedOk (QueryStats b)
CompletedError Text
Skipped

Instances

Instances details

Generic (TaskState b) #
Instance details Defined in Napkin.Spec.Graph.Types Associated Types type Rep (TaskState b) :: 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-B79azc00rn1K8mj00hwhwG" '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 "Running" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CompletedOk" 'PrefixI 'False) (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 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 #