napkin-cli-2.0.0

Safe Haskell	None
Language	GHC2024

Napkin.Cli.Web.Graph

Documentation

graphPage :: forall b (es :: [Effect]). (Show (BackendQueryStats b), HasBackendQueryStats b, Hyperbole :> es, Time :> es, Execution :> es, DAG b :> es, Reader (Map TaskId TopSortPrio) :> es, Reader Title :> es, Reader (FullDAG b) :> es, Reader (WebRunMode b) :> es, Renamer :> es, IOE :> es, Reader Args :> es, Reader UTCTime :> es) => GraphType -> (FullDAG b -> TasksDAG () b) -> Page es Response #

tasksTableView :: HasBackendQueryStats b => DisplayPlanCol -> DisplayStateCol -> (TaskStateInfo b -> Maybe Text) -> (TaskId -> Either Text AppRoute) -> (TaskId -> Text) -> (SpecTableName -> Ref Table) -> TableOrdering -> Map TaskId TopSortPrio -> Map TaskId (UITask b) -> View c () #

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)))

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))))

tasksGraphView :: forall {k} (ind :: k) b c. GraphType -> (TaskId -> Text) -> TasksDAG ind b -> Map TaskId SimpleTaskState -> View c () #

applyTableFiltering :: forall b l. l ~ Map TaskId (UITask b) => TableFilter -> l -> l #