Safe Haskell	None
Language	GHC2024

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-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" '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-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" '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

ToJSON TaskId #

Instance details

Defined in Napkin.Spec.Graph.Types

Methods

toJSON :: TaskId -> Value #

toEncoding :: TaskId -> Encoding #

toJSONList :: [TaskId] -> Value #

toEncodingList :: [TaskId] -> Encoding #

omitField :: TaskId -> Bool #

ToJSONKey TaskId #

Instance details

Defined in Napkin.Spec.Graph.Types

Methods

toJSONKey :: ToJSONKeyFunction TaskId #

toJSONKeyList :: ToJSONKeyFunction [TaskId] #

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-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" '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 #

Hashable TaskId #

Instance details

Defined in Napkin.Spec.Graph.Types

Methods

hashWithSalt :: Int -> TaskId -> Int #

hash :: TaskId -> Int #

type Rep TaskId #

Instance details

Defined in Napkin.Spec.Graph.Types

type Rep TaskId = D1 ('MetaData "TaskId" "Napkin.Spec.Graph.Types" "napkin-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" '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 (LiveDumpItems b)
CompletedOk [(DumpItem b, UTCTime)] (TaskResult 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-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" '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) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LiveDumpItems b))) :+: 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 (TaskResult 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-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" '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) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LiveDumpItems b))) :+: 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 (TaskResult 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 #

Instances

Instances details

FromJSON SimpleTaskState #

Instance details

Defined in Napkin.Spec.Graph.Types.SimpleTaskState

Methods

parseJSON :: Value -> Parser SimpleTaskState #

parseJSONList :: Value -> Parser [SimpleTaskState] #

omittedField :: Maybe SimpleTaskState #

ToJSON SimpleTaskState #

Instance details

Defined in Napkin.Spec.Graph.Types.SimpleTaskState

Methods

toJSON :: SimpleTaskState -> Value #

toEncoding :: SimpleTaskState -> Encoding #

toJSONList :: [SimpleTaskState] -> Value #

toEncodingList :: [SimpleTaskState] -> Encoding #

omitField :: SimpleTaskState -> Bool #

ToJSONKey SimpleTaskState #

Instance details

Defined in Napkin.Spec.Graph.Types.SimpleTaskState

Methods

toJSONKey :: ToJSONKeyFunction SimpleTaskState #

toJSONKeyList :: ToJSONKeyFunction [SimpleTaskState] #

Bounded SimpleTaskState #

Instance details

Defined in Napkin.Spec.Graph.Types.SimpleTaskState

Methods

minBound :: SimpleTaskState #

maxBound :: SimpleTaskState #

Enum SimpleTaskState #

Instance details

Defined in Napkin.Spec.Graph.Types.SimpleTaskState

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

Associated Types

type Rep SimpleTaskState

Instance details

Defined in Napkin.Spec.Graph.Types.SimpleTaskState

type Rep SimpleTaskState = D1 ('MetaData "SimpleTaskState" "Napkin.Spec.Graph.Types.SimpleTaskState" "napkin-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" 'False) ((C1 ('MetaCons "Pending" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Blocked" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DependencyFailed" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Running" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CompletedOk" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CompletedError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Skipped" '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.SimpleTaskState

Methods

showsPrec :: Int -> SimpleTaskState -> ShowS #

show :: SimpleTaskState -> String #

showList :: [SimpleTaskState] -> ShowS #

Eq SimpleTaskState #

Instance details

Defined in Napkin.Spec.Graph.Types.SimpleTaskState

Methods

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

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

Ord SimpleTaskState #

Instance details

Defined in Napkin.Spec.Graph.Types.SimpleTaskState

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

Methods

toClassName :: SimpleTaskState -> Text #

type Rep SimpleTaskState #

Instance details

Defined in Napkin.Spec.Graph.Types.SimpleTaskState

type Rep SimpleTaskState = D1 ('MetaData "SimpleTaskState" "Napkin.Spec.Graph.Types.SimpleTaskState" "napkin-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" 'False) ((C1 ('MetaCons "Pending" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Blocked" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DependencyFailed" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Running" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CompletedOk" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CompletedError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Skipped" 'PrefixI 'False) (U1 :: Type -> Type))))

data TaskStateInfo (b :: k) #

Constructors

TaskStateInfo
Fields state :: TaskState b simple :: SimpleTaskState transitions :: Map SimpleTaskState UTCTime

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-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" '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-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" '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) #

data ForceTable #

Constructors

Force
Skip

Instances

Instances details

Show ForceTable #
Instance details Defined in Napkin.Spec.Graph.Types Methods showsPrec :: Int -> ForceTable -> ShowS # show :: ForceTable -> String # showList :: [ForceTable] -> ShowS #
Eq ForceTable #
Instance details Defined in Napkin.Spec.Graph.Types Methods (==) :: ForceTable -> ForceTable -> Bool # (/=) :: ForceTable -> ForceTable -> Bool #
Ord ForceTable #
Instance details Defined in Napkin.Spec.Graph.Types Methods compare :: ForceTable -> ForceTable -> Ordering # (<) :: ForceTable -> ForceTable -> Bool # (<=) :: ForceTable -> ForceTable -> Bool # (>) :: ForceTable -> ForceTable -> Bool # (>=) :: ForceTable -> ForceTable -> Bool # max :: ForceTable -> ForceTable -> ForceTable # min :: ForceTable -> ForceTable -> ForceTable #

data ExecutionReason #

Constructors

UpdateStrategy UpdateStrategy
CliOverride ForceTable
None

Instances

Instances details

Show ExecutionReason #
Instance details Defined in Napkin.Spec.Graph.Types Methods showsPrec :: Int -> ExecutionReason -> ShowS # show :: ExecutionReason -> String # showList :: [ExecutionReason] -> ShowS #
Eq ExecutionReason #
Instance details Defined in Napkin.Spec.Graph.Types Methods (==) :: ExecutionReason -> ExecutionReason -> Bool # (/=) :: ExecutionReason -> ExecutionReason -> Bool #
Ord ExecutionReason #
Instance details Defined in Napkin.Spec.Graph.Types Methods compare :: ExecutionReason -> ExecutionReason -> Ordering # (<) :: ExecutionReason -> ExecutionReason -> Bool # (<=) :: ExecutionReason -> ExecutionReason -> Bool # (>) :: ExecutionReason -> ExecutionReason -> Bool # (>=) :: ExecutionReason -> ExecutionReason -> Bool # max :: ExecutionReason -> ExecutionReason -> ExecutionReason # min :: ExecutionReason -> ExecutionReason -> ExecutionReason #

taskDuration :: forall {k} (b :: k). TaskStateInfo b -> Maybe NominalDiffTime #

data TaskResult (bk :: k) #

Constructors

TableResult (QueryStats bk) TableMemo
HookResult (HookResult bk) (QueryStats bk)
NullResult

Instances

Instances details

Generic (TaskResult bk) #

Instance details

Defined in Napkin.Spec.Graph.Types

Associated Types

type Rep (TaskResult bk)

Instance details

Defined in Napkin.Spec.Graph.Types

type Rep (TaskResult bk) = D1 ('MetaData "TaskResult" "Napkin.Spec.Graph.Types" "napkin-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" 'False) (C1 ('MetaCons "TableResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QueryStats bk)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableMemo)) :+: (C1 ('MetaCons "HookResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HookResult bk)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QueryStats bk))) :+: C1 ('MetaCons "NullResult" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: TaskResult bk -> Rep (TaskResult bk) x #

to :: Rep (TaskResult bk) x -> TaskResult bk #

Show (BackendQueryStats backend) => Show (TaskResult backend) #

Instance details

Defined in Napkin.Spec.Graph.Types

Methods

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

show :: TaskResult backend -> String #

showList :: [TaskResult backend] -> ShowS #

Eq (BackendQueryStats backend) => Eq (TaskResult backend) #

Instance details

Defined in Napkin.Spec.Graph.Types

Methods

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

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

type Rep (TaskResult bk) #

Instance details

Defined in Napkin.Spec.Graph.Types

type Rep (TaskResult bk) = D1 ('MetaData "TaskResult" "Napkin.Spec.Graph.Types" "napkin-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" 'False) (C1 ('MetaCons "TableResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QueryStats bk)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableMemo)) :+: (C1 ('MetaCons "HookResult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HookResult bk)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QueryStats bk))) :+: C1 ('MetaCons "NullResult" 'PrefixI 'False) (U1 :: Type -> Type)))

data HookResult (bk :: k) #

Constructors

HookError (NonEmpty AssertionEntry)	Fatal Assertions
HookOk [AssertionEntry] TableMemo	Warning Assertions

Instances

Instances details

Generic (HookResult bk) #

Instance details

Defined in Napkin.Spec.Graph.Types

Associated Types

type Rep (HookResult bk)

Instance details

Defined in Napkin.Spec.Graph.Types

type Rep (HookResult bk) = D1 ('MetaData "HookResult" "Napkin.Spec.Graph.Types" "napkin-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" 'False) (C1 ('MetaCons "HookError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty AssertionEntry))) :+: C1 ('MetaCons "HookOk" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AssertionEntry]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableMemo)))

Methods

from :: HookResult bk -> Rep (HookResult bk) x #

to :: Rep (HookResult bk) x -> HookResult bk #

Show (HookResult bk) #

Instance details

Defined in Napkin.Spec.Graph.Types

Methods

showsPrec :: Int -> HookResult bk -> ShowS #

show :: HookResult bk -> String #

showList :: [HookResult bk] -> ShowS #

Eq (HookResult bk) #

Instance details

Defined in Napkin.Spec.Graph.Types

Methods

(==) :: HookResult bk -> HookResult bk -> Bool #

(/=) :: HookResult bk -> HookResult bk -> Bool #

type Rep (HookResult bk) #

Instance details

Defined in Napkin.Spec.Graph.Types

type Rep (HookResult bk) = D1 ('MetaData "HookResult" "Napkin.Spec.Graph.Types" "napkin-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" 'False) (C1 ('MetaCons "HookError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty AssertionEntry))) :+: C1 ('MetaCons "HookOk" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AssertionEntry]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableMemo)))

newtype LiveDumpItems (b :: k) #

Constructors

LiveDumpItems (IO [(DumpItem b, UTCTime)])

Instances

Instances details

Show (LiveDumpItems b) #
Instance details Defined in Napkin.Spec.Graph.Types Methods showsPrec :: Int -> LiveDumpItems b -> ShowS # show :: LiveDumpItems b -> String # showList :: [LiveDumpItems b] -> ShowS #
Eq (LiveDumpItems b) #
Instance details Defined in Napkin.Spec.Graph.Types Methods (==) :: LiveDumpItems b -> LiveDumpItems b -> Bool # (/=) :: LiveDumpItems b -> LiveDumpItems b -> Bool #