napkin-1.0.0
Safe HaskellNone
LanguageGHC2021

Napkin.Spec.ComboTypes

Synopsis

Documentation

data ACInteractive #

Instances

Instances details
Eq ACInteractive # 
Instance details

Defined in Napkin.Spec.ComboTypes

data ACDAG #

Constructors

ACDAG 
ACLegacy 

Instances

Instances details
Eq ACDAG # 
Instance details

Defined in Napkin.Spec.ComboTypes

Methods

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

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

data AppConfig #

Instances

Instances details
Generic AppConfig # 
Instance details

Defined in Napkin.Spec.ComboTypes

Associated Types

type Rep AppConfig 
Instance details

Defined in Napkin.Spec.ComboTypes

type Rep AppConfig = D1 ('MetaData "AppConfig" "Napkin.Spec.ComboTypes" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "AppConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "appName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AppName) :*: S1 ('MetaSel ('Just "logOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LogOptions)) :*: (S1 ('MetaSel ('Just "interactive") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ACInteractive) :*: S1 ('MetaSel ('Just "dag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ACDAG))))
type Rep AppConfig # 
Instance details

Defined in Napkin.Spec.ComboTypes

type Rep AppConfig = D1 ('MetaData "AppConfig" "Napkin.Spec.ComboTypes" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "AppConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "appName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AppName) :*: S1 ('MetaSel ('Just "logOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LogOptions)) :*: (S1 ('MetaSel ('Just "interactive") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ACInteractive) :*: S1 ('MetaSel ('Just "dag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ACDAG))))

data RuntimeEventType (backend :: k) #

Maintains some basic, human-reportable state over the run of the Spec in order to show progress.

Constructors

RuntimeEventStart

generated when a Spec starts to run

RuntimeEventDone (CreateQueryStats backend) (Maybe (HookQueryStats backend))

generated when a Spec successfully completes

RuntimeEventFailed String

generated when a Spec throws an error

RuntimeEventSkipped

generated when a Spec update is skipped

Instances

Instances details
Show (QueryStats backend) => Show (RuntimeEventType backend) # 
Instance details

Defined in Napkin.Spec.ComboTypes

Methods

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

show :: RuntimeEventType backend -> String #

showList :: [RuntimeEventType backend] -> ShowS #

Eq (QueryStats backend) => Eq (RuntimeEventType backend) # 
Instance details

Defined in Napkin.Spec.ComboTypes

Methods

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

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

data EventSource #

Instances

Instances details
Show EventSource # 
Instance details

Defined in Napkin.Spec.ComboTypes

Eq EventSource # 
Instance details

Defined in Napkin.Spec.ComboTypes

data RuntimeEvent (backend :: k) #

Constructors

RuntimeEvent EventSource (RuntimeEventType backend) 
RuntimeEventSkipMany [EventSource]

bulk event updater since napkin is often run with many tables skipped

RuntimeEventComplete (QueryStats backend)

generated when napkin is done running

RuntimeEventFatal

generated from the napkin backend for fatal events (such as failed validation)

Instances

Instances details
Show (QueryStats backend) => Show (RuntimeEvent backend) # 
Instance details

Defined in Napkin.Spec.ComboTypes

Methods

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

show :: RuntimeEvent backend -> String #

showList :: [RuntimeEvent backend] -> ShowS #

Eq (QueryStats backend) => Eq (RuntimeEvent backend) # 
Instance details

Defined in Napkin.Spec.ComboTypes

Methods

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

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

type RuntimeEventQueue (backend :: k) = TBQueue (RuntimeEvent backend) #

data RuntimeEventDAG (bk :: k) #

Instances

Instances details
(Show (TaskState backend), Show (BackendQueryStats backend)) => Show (RuntimeEventDAG backend) # 
Instance details

Defined in Napkin.Spec.ComboTypes

Methods

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

show :: RuntimeEventDAG backend -> String #

showList :: [RuntimeEventDAG backend] -> ShowS #

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

Defined in Napkin.Spec.ComboTypes

Methods

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

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

type RuntimeEventQueueDAG (backend :: k) = TBQueue (RuntimeEventDAG backend) #

data ComboEnv (backend :: k) #

Instances

Instances details
Generic (ComboEnv backend) # 
Instance details

Defined in Napkin.Spec.ComboTypes

Associated Types

type Rep (ComboEnv backend) 
Instance details

Defined in Napkin.Spec.ComboTypes

type Rep (ComboEnv backend) = D1 ('MetaData "ComboEnv" "Napkin.Spec.ComboTypes" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "ComboEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "appConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AppConfig) :*: S1 ('MetaSel ('Just "log") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LogEnv)) :*: (S1 ('MetaSel ('Just "eventQueue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (RuntimeEventQueue backend))) :*: S1 ('MetaSel ('Just "eventQueueDag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (RuntimeEventQueueDAG backend))))))

Methods

from :: ComboEnv backend -> Rep (ComboEnv backend) x #

to :: Rep (ComboEnv backend) x -> ComboEnv backend #

type Rep (ComboEnv backend) # 
Instance details

Defined in Napkin.Spec.ComboTypes

type Rep (ComboEnv backend) = D1 ('MetaData "ComboEnv" "Napkin.Spec.ComboTypes" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "ComboEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "appConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AppConfig) :*: S1 ('MetaSel ('Just "log") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LogEnv)) :*: (S1 ('MetaSel ('Just "eventQueue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (RuntimeEventQueue backend))) :*: S1 ('MetaSel ('Just "eventQueueDag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (RuntimeEventQueueDAG backend))))))

type ComboT (backend :: k) (m :: Type -> Type) = ReaderT (ComboEnv backend) (KatipT m) #

type Combo (bk :: k) = ComboT bk IO #

Orphan instances

MonadFix m => MonadFix (KatipT m) # 
Instance details

Methods

mfix :: (a -> KatipT m a) -> KatipT m a #