napkin-1.0.0

Safe Haskell	None
Language	GHC2021

Napkin.Cli.Web.Types

Contents

Orphan instances

Documentation

data GraphType #

Constructors

Exec
Clean
Full
Tables

Instances

Instances details

Bounded GraphType #

Instance details

Defined in Napkin.Cli.Web.Types

Methods

minBound :: GraphType #

maxBound :: GraphType #

Enum GraphType #

Instance details

Defined in Napkin.Cli.Web.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.Types

Associated Types

type Rep GraphType

Instance details

Defined in Napkin.Cli.Web.Types

type Rep GraphType = D1 ('MetaData "GraphType" "Napkin.Cli.Web.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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.Types

Methods

showsPrec :: Int -> GraphType -> ShowS #

show :: GraphType -> String #

showList :: [GraphType] -> ShowS #

Instance details

Defined in Napkin.Cli.Web.Types

Methods

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

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

Route GraphType #

Instance details

Defined in Napkin.Cli.Web.Types

Methods

defRoute :: GraphType #

routePath :: GraphType -> [Segment] #

matchRoute :: [Segment] -> Maybe GraphType #

type Rep GraphType #

Instance details

Defined in Napkin.Cli.Web.Types

type Rep GraphType = D1 ('MetaData "GraphType" "Napkin.Cli.Web.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" '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)))

newtype ViaConNames a #

Constructors

Instances

Instances details

(Enum a, Bounded a, Show a, Typeable a) => Route (ViaConNames a) #
Instance details Defined in Napkin.Cli.Web.Types Methods defRoute :: ViaConNames a # routePath :: ViaConNames a -> [Segment] # matchRoute :: [Segment] -> Maybe (ViaConNames a) #

data AppRoute #

Constructors

Graph GraphType
TaskDetails GraphType TaskId
RunInfo

Instances

Instances details

Generic AppRoute #

Instance details

Defined in Napkin.Cli.Web.Types

Associated Types

type Rep AppRoute

Instance details

Defined in Napkin.Cli.Web.Types

type Rep AppRoute = D1 ('MetaData "AppRoute" "Napkin.Cli.Web.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "Graph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GraphType)) :+: (C1 ('MetaCons "TaskDetails" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GraphType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TaskId)) :+: C1 ('MetaCons "RunInfo" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: AppRoute -> Rep AppRoute x #

to :: Rep AppRoute x -> AppRoute #

Instance details

Defined in Napkin.Cli.Web.Types

Methods

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

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

Route AppRoute #

Instance details

Defined in Napkin.Cli.Web.Types

Methods

defRoute :: AppRoute #

routePath :: AppRoute -> [Segment] #

matchRoute :: [Segment] -> Maybe AppRoute #

type Rep AppRoute #

Instance details

Defined in Napkin.Cli.Web.Types

type Rep AppRoute = D1 ('MetaData "AppRoute" "Napkin.Cli.Web.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "Graph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GraphType)) :+: (C1 ('MetaCons "TaskDetails" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GraphType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TaskId)) :+: C1 ('MetaCons "RunInfo" 'PrefixI 'False) (U1 :: Type -> Type)))

type TasksInfo b = TasksDAG Exec b #

newtype Args #

Constructors

Orphan instances

Route TaskId #
Instance details Methods defRoute :: TaskId # routePath :: TaskId -> [Segment] # matchRoute :: [Segment] -> Maybe TaskId #