napkin-cli-2.0.0
Safe HaskellNone
LanguageGHC2024

Napkin.Cli.Web.Graph.Types

Documentation

data WebRunMode b #

Constructors

WebDryRun ([RunTableSelector] -> TasksDAG Full b -> IO (TasksDAG Full b, [Text]))

execution plan evaluation and table selectors

WebRealRun (RuntimeEventQueueDAG b) (TMVar UIExecutionControl)

events queue and pause/quit sync var

Instances

Instances details
Generic (WebRunMode b) # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Associated Types

type Rep (WebRunMode b) 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep (WebRunMode b) = D1 ('MetaData "WebRunMode" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) (C1 ('MetaCons "WebDryRun" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ([RunTableSelector] -> TasksDAG Full b -> IO (TasksDAG Full b, [Text])))) :+: C1 ('MetaCons "WebRealRun" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RuntimeEventQueueDAG b)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TMVar UIExecutionControl))))

Methods

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

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

type Rep (WebRunMode b) # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep (WebRunMode b) = D1 ('MetaData "WebRunMode" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) (C1 ('MetaCons "WebDryRun" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ([RunTableSelector] -> TasksDAG Full b -> IO (TasksDAG Full b, [Text])))) :+: C1 ('MetaCons "WebRealRun" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RuntimeEventQueueDAG b)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TMVar UIExecutionControl))))

isRealRun :: WebRunMode b -> Bool #

isDryRun :: WebRunMode b -> Bool #

data Contents #

Constructors

Contents 

Instances

Instances details
Generic Contents # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Associated Types

type Rep Contents 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep Contents = D1 ('MetaData "Contents" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) (C1 ('MetaCons "Contents" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Contents -> Rep Contents x #

to :: Rep Contents x -> Contents #

HyperView Contents # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Associated Types

type Action Contents 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Action Contents = ContentsAction
ViewId Contents # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

toViewId :: Contents -> Text #

parseViewId :: Text -> Maybe Contents #

type Rep Contents # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep Contents = D1 ('MetaData "Contents" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) (C1 ('MetaCons "Contents" 'PrefixI 'False) (U1 :: Type -> Type))
type Action Contents # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Action Contents = ContentsAction

data TableTaskTypeFilter #

Constructors

FilterTableCreateOnly 
FilterTableHookOnly 
FilterGlobalHookOnly 

Instances

Instances details
FromJSON TableTaskTypeFilter # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

parseJSON :: Value -> Parser TableTaskTypeFilter #

parseJSONList :: Value -> Parser [TableTaskTypeFilter] #

omittedField :: Maybe TableTaskTypeFilter #

ToJSON TableTaskTypeFilter # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

toJSON :: TableTaskTypeFilter -> Value #

toEncoding :: TableTaskTypeFilter -> Encoding #

toJSONList :: [TableTaskTypeFilter] -> Value #

toEncodingList :: [TableTaskTypeFilter] -> Encoding #

omitField :: TableTaskTypeFilter -> Bool #

Generic TableTaskTypeFilter # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Associated Types

type Rep TableTaskTypeFilter 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep TableTaskTypeFilter = D1 ('MetaData "TableTaskTypeFilter" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) (C1 ('MetaCons "FilterTableCreateOnly" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FilterTableHookOnly" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FilterGlobalHookOnly" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: TableTaskTypeFilter -> Rep TableTaskTypeFilter x #

to :: Rep TableTaskTypeFilter x -> TableTaskTypeFilter #

Show TableTaskTypeFilter # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

showsPrec :: Int -> TableTaskTypeFilter -> ShowS #

show :: TableTaskTypeFilter -> String #

showList :: [TableTaskTypeFilter] -> ShowS #

Eq TableTaskTypeFilter # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

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

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

type Rep TableTaskTypeFilter # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep TableTaskTypeFilter = D1 ('MetaData "TableTaskTypeFilter" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) (C1 ('MetaCons "FilterTableCreateOnly" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FilterTableHookOnly" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FilterGlobalHookOnly" 'PrefixI 'False) (U1 :: Type -> Type)))

data TableFilter #

Constructors

FilterAll 
FilterState SimpleTaskState 
FilterType TableTaskTypeFilter 
FilterTag Text 

Instances

Instances details
FromJSON TableFilter # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

parseJSON :: Value -> Parser TableFilter #

parseJSONList :: Value -> Parser [TableFilter] #

omittedField :: Maybe TableFilter #

ToJSON TableFilter # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

toJSON :: TableFilter -> Value #

toEncoding :: TableFilter -> Encoding #

toJSONList :: [TableFilter] -> Value #

toEncodingList :: [TableFilter] -> Encoding #

omitField :: TableFilter -> Bool #

Generic TableFilter # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Associated Types

type Rep TableFilter 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep TableFilter = D1 ('MetaData "TableFilter" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) ((C1 ('MetaCons "FilterAll" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FilterState" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SimpleTaskState))) :+: (C1 ('MetaCons "FilterType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableTaskTypeFilter)) :+: C1 ('MetaCons "FilterTag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

Methods

from :: TableFilter -> Rep TableFilter x #

to :: Rep TableFilter x -> TableFilter #

Show TableFilter # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

showsPrec :: Int -> TableFilter -> ShowS #

show :: TableFilter -> String #

showList :: [TableFilter] -> ShowS #

Eq TableFilter # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

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

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

type Rep TableFilter # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep TableFilter = D1 ('MetaData "TableFilter" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) ((C1 ('MetaCons "FilterAll" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FilterState" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SimpleTaskState))) :+: (C1 ('MetaCons "FilterType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableTaskTypeFilter)) :+: C1 ('MetaCons "FilterTag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data TableOrdering #

Constructors

OrderByTable 
OrderByTopSort 
OrderByTaskId 
OrderByTaskState 

Instances

Instances details
FromJSON TableOrdering # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

parseJSON :: Value -> Parser TableOrdering #

parseJSONList :: Value -> Parser [TableOrdering] #

omittedField :: Maybe TableOrdering #

ToJSON TableOrdering # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

toJSON :: TableOrdering -> Value #

toEncoding :: TableOrdering -> Encoding #

toJSONList :: [TableOrdering] -> Value #

toEncodingList :: [TableOrdering] -> Encoding #

omitField :: TableOrdering -> Bool #

Bounded TableOrdering # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

minBound :: TableOrdering #

maxBound :: TableOrdering #

Enum TableOrdering # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

succ :: TableOrdering -> TableOrdering #

pred :: TableOrdering -> TableOrdering #

toEnum :: Int -> TableOrdering #

fromEnum :: TableOrdering -> Int #

enumFrom :: TableOrdering -> [TableOrdering] #

enumFromThen :: TableOrdering -> TableOrdering -> [TableOrdering] #

enumFromTo :: TableOrdering -> TableOrdering -> [TableOrdering] #

enumFromThenTo :: TableOrdering -> TableOrdering -> TableOrdering -> [TableOrdering] #

Generic TableOrdering # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Associated Types

type Rep TableOrdering 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep TableOrdering = D1 ('MetaData "TableOrdering" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) ((C1 ('MetaCons "OrderByTable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OrderByTopSort" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OrderByTaskId" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OrderByTaskState" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: TableOrdering -> Rep TableOrdering x #

to :: Rep TableOrdering x -> TableOrdering #

Show TableOrdering # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

showsPrec :: Int -> TableOrdering -> ShowS #

show :: TableOrdering -> String #

showList :: [TableOrdering] -> ShowS #

Eq TableOrdering # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

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

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

Param TableOrdering # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

toParam :: TableOrdering -> Text #

parseParam :: Text -> Maybe TableOrdering #

type Rep TableOrdering # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep TableOrdering = D1 ('MetaData "TableOrdering" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) ((C1 ('MetaCons "OrderByTable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OrderByTopSort" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OrderByTaskId" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OrderByTaskState" 'PrefixI 'False) (U1 :: Type -> Type)))

prettyTableOrdering :: TableOrdering -> Text #

data ContentsAction #

Constructors

Reload 

Fields

Instances

Instances details
FromJSON ContentsAction # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

parseJSON :: Value -> Parser ContentsAction #

parseJSONList :: Value -> Parser [ContentsAction] #

omittedField :: Maybe ContentsAction #

ToJSON ContentsAction # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

toJSON :: ContentsAction -> Value #

toEncoding :: ContentsAction -> Encoding #

toJSONList :: [ContentsAction] -> Value #

toEncodingList :: [ContentsAction] -> Encoding #

omitField :: ContentsAction -> Bool #

Generic ContentsAction # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Associated Types

type Rep ContentsAction 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep ContentsAction = D1 ('MetaData "ContentsAction" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) (C1 ('MetaCons "Reload" 'PrefixI 'True) (S1 ('MetaSel ('Just "order") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableOrdering) :*: S1 ('MetaSel ('Just "filter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableFilter)))

Methods

from :: ContentsAction -> Rep ContentsAction x #

to :: Rep ContentsAction x -> ContentsAction #

ViewAction ContentsAction # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

toAction :: ContentsAction -> Text #

parseAction :: Text -> Maybe ContentsAction #

type Rep ContentsAction # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep ContentsAction = D1 ('MetaData "ContentsAction" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) (C1 ('MetaCons "Reload" 'PrefixI 'True) (S1 ('MetaSel ('Just "order") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableOrdering) :*: S1 ('MetaSel ('Just "filter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableFilter)))

newtype ViaConNames a #

Constructors

ViaConNames a 

Instances

Instances details
(Enum a, Bounded a, Show a, Typeable a) => Route (ViaConNames a) # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

defRoute :: ViaConNames a #

routePath :: ViaConNames a -> [Segment] #

matchRoute :: [Segment] -> Maybe (ViaConNames a) #

data GraphType #

Constructors

Exec 
Clean 
Full 
Tables 

Instances

Instances details
Bounded GraphType # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

minBound :: GraphType #

maxBound :: GraphType #

Enum GraphType # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

succ :: GraphType -> GraphType #

pred :: GraphType -> GraphType #

toEnum :: Int -> GraphType #

fromEnum :: GraphType -> Int #

enumFrom :: GraphType -> [GraphType] #

enumFromThen :: GraphType -> GraphType -> [GraphType] #

enumFromTo :: GraphType -> GraphType -> [GraphType] #

enumFromThenTo :: GraphType -> GraphType -> GraphType -> [GraphType] #

Generic GraphType # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Associated Types

type Rep GraphType 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep GraphType = D1 ('MetaData "GraphType" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) ((C1 ('MetaCons "Exec" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Clean" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Full" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Tables" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: GraphType -> Rep GraphType x #

to :: Rep GraphType x -> GraphType #

Show GraphType # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

showsPrec :: Int -> GraphType -> ShowS #

show :: GraphType -> String #

showList :: [GraphType] -> ShowS #

Eq GraphType # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

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

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

Route GraphType # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

Methods

defRoute :: GraphType #

routePath :: GraphType -> [Segment] #

matchRoute :: [Segment] -> Maybe GraphType #

type Rep GraphType # 
Instance details

Defined in Napkin.Cli.Web.Graph.Types

type Rep GraphType = D1 ('MetaData "GraphType" "Napkin.Cli.Web.Graph.Types" "napkin-cli-2.0.0-4ha97GXrcwU2qMy5j7dc75" 'False) ((C1 ('MetaCons "Exec" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Clean" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Full" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Tables" 'PrefixI 'False) (U1 :: Type -> Type)))