napkin-cli
Safe HaskellNone
LanguageGHC2024

Napkin.Cli.Web.Navbar

Documentation

newtype Title #

Constructors

Title Text 

data NavBar #

Constructors

NavBar 

Instances

Instances details
Generic NavBar # 
Instance details

Defined in Napkin.Cli.Web.Navbar

Associated Types

type Rep NavBar 
Instance details

Defined in Napkin.Cli.Web.Navbar

type Rep NavBar = D1 ('MetaData "NavBar" "Napkin.Cli.Web.Navbar" "napkin-cli-2.0.0-5HtahCKZmE0F5aFWQTYMCA" 'False) (C1 ('MetaCons "NavBar" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: NavBar -> Rep NavBar x #

to :: Rep NavBar x -> NavBar #

HyperView NavBar # 
Instance details

Defined in Napkin.Cli.Web.Navbar

Associated Types

type Action NavBar 
Instance details

Defined in Napkin.Cli.Web.Navbar

type Action NavBar = NavBarAction
ViewId NavBar # 
Instance details

Defined in Napkin.Cli.Web.Navbar

Methods

toViewId :: NavBar -> Text #

parseViewId :: Text -> Maybe NavBar #

type Rep NavBar # 
Instance details

Defined in Napkin.Cli.Web.Navbar

type Rep NavBar = D1 ('MetaData "NavBar" "Napkin.Cli.Web.Navbar" "napkin-cli-2.0.0-5HtahCKZmE0F5aFWQTYMCA" 'False) (C1 ('MetaCons "NavBar" 'PrefixI 'False) (U1 :: Type -> Type))
type Action NavBar # 
Instance details

Defined in Napkin.Cli.Web.Navbar

type Action NavBar = NavBarAction

data NavBarAction #

Constructors

PollStatus 

Instances

Instances details
Generic NavBarAction # 
Instance details

Defined in Napkin.Cli.Web.Navbar

Associated Types

type Rep NavBarAction 
Instance details

Defined in Napkin.Cli.Web.Navbar

type Rep NavBarAction = D1 ('MetaData "NavBarAction" "Napkin.Cli.Web.Navbar" "napkin-cli-2.0.0-5HtahCKZmE0F5aFWQTYMCA" 'False) (C1 ('MetaCons "PollStatus" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: NavBarAction -> Rep NavBarAction x #

to :: Rep NavBarAction x -> NavBarAction #

ViewAction NavBarAction # 
Instance details

Defined in Napkin.Cli.Web.Navbar

Methods

toAction :: NavBarAction -> Text #

parseAction :: Text -> Maybe NavBarAction #

type Rep NavBarAction # 
Instance details

Defined in Napkin.Cli.Web.Navbar

type Rep NavBarAction = D1 ('MetaData "NavBarAction" "Napkin.Cli.Web.Navbar" "napkin-cli-2.0.0-5HtahCKZmE0F5aFWQTYMCA" 'False) (C1 ('MetaCons "PollStatus" 'PrefixI 'False) (U1 :: Type -> Type))

data PauseStop #

Constructors

PauseStop 

Instances

Instances details
Generic PauseStop # 
Instance details

Defined in Napkin.Cli.Web.Navbar

Associated Types

type Rep PauseStop 
Instance details

Defined in Napkin.Cli.Web.Navbar

type Rep PauseStop = D1 ('MetaData "PauseStop" "Napkin.Cli.Web.Navbar" "napkin-cli-2.0.0-5HtahCKZmE0F5aFWQTYMCA" 'False) (C1 ('MetaCons "PauseStop" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: PauseStop -> Rep PauseStop x #

to :: Rep PauseStop x -> PauseStop #

HyperView PauseStop # 
Instance details

Defined in Napkin.Cli.Web.Navbar

Associated Types

type Action PauseStop 
Instance details

Defined in Napkin.Cli.Web.Navbar

type Action PauseStop = PauseStopAction
ViewId PauseStop # 
Instance details

Defined in Napkin.Cli.Web.Navbar

Methods

toViewId :: PauseStop -> Text #

parseViewId :: Text -> Maybe PauseStop #

type Rep PauseStop # 
Instance details

Defined in Napkin.Cli.Web.Navbar

type Rep PauseStop = D1 ('MetaData "PauseStop" "Napkin.Cli.Web.Navbar" "napkin-cli-2.0.0-5HtahCKZmE0F5aFWQTYMCA" 'False) (C1 ('MetaCons "PauseStop" 'PrefixI 'False) (U1 :: Type -> Type))
type Action PauseStop # 
Instance details

Defined in Napkin.Cli.Web.Navbar

type Action PauseStop = PauseStopAction

data PauseStopAction #

Constructors

PauseAction 
StopAction 

Instances

Instances details
Generic PauseStopAction # 
Instance details

Defined in Napkin.Cli.Web.Navbar

Associated Types

type Rep PauseStopAction 
Instance details

Defined in Napkin.Cli.Web.Navbar

type Rep PauseStopAction = D1 ('MetaData "PauseStopAction" "Napkin.Cli.Web.Navbar" "napkin-cli-2.0.0-5HtahCKZmE0F5aFWQTYMCA" 'False) (C1 ('MetaCons "PauseAction" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StopAction" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: PauseStopAction -> Rep PauseStopAction x #

to :: Rep PauseStopAction x -> PauseStopAction #

ViewAction PauseStopAction # 
Instance details

Defined in Napkin.Cli.Web.Navbar

Methods

toAction :: PauseStopAction -> Text #

parseAction :: Text -> Maybe PauseStopAction #

type Rep PauseStopAction # 
Instance details

Defined in Napkin.Cli.Web.Navbar

type Rep PauseStopAction = D1 ('MetaData "PauseStopAction" "Napkin.Cli.Web.Navbar" "napkin-cli-2.0.0-5HtahCKZmE0F5aFWQTYMCA" 'False) (C1 ('MetaCons "PauseAction" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StopAction" 'PrefixI 'False) (U1 :: Type -> Type))

handlePauseButton :: forall b (es :: [Effect]). (DAG b :> es, Execution :> es, Hyperbole :> es) => PauseStop -> PauseStopAction -> Eff es (View PauseStop ()) #

pauseQuitButtons :: forall b (es :: [Effect]). (DAG b :> es, Execution :> es, Hyperbole :> es) => Eff es (View PauseStop ()) #

navbarContent :: forall b f (es :: [Effect]). (DAG b :> es, Reader (WebRunMode b) :> es, Reader Args :> es, Reader Title :> es, Reader UTCTime :> es, Execution :> es, Hyperbole :> es, IOE :> es, Time :> es) => f -> NavBarAction -> Eff es (View NavBar ()) #

getNavbarState :: forall b (es :: [Effect]). (DAG b :> es, Hyperbole :> es) => Eff es NavbarStatus #

data NavbarStatus #

Constructors

NavRunning 
NavRunningWithError 
NavCompletedOk 
NavCompletedError 

Instances

Instances details
Eq NavbarStatus # 
Instance details

Defined in Napkin.Cli.Web.Navbar

Methods

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

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

navbar :: Maybe NominalDiffTime -> Maybe Estimate -> WebRunMode b -> Title -> NavbarStatus -> Args -> View PauseStop () -> View NavBar () #