Safe Haskell | None |
---|---|
Language | GHC2024 |
Napkin.Cli.Web.Navbar
Documentation
Constructors
PauseStop |
Instances
Generic PauseStop # | |||||
Defined in Napkin.Cli.Web.Navbar | |||||
HyperView PauseStop # | |||||
Defined in Napkin.Cli.Web.Navbar Associated Types
| |||||
ViewId PauseStop # | |||||
Defined in Napkin.Cli.Web.Navbar | |||||
type Rep PauseStop # | |||||
type Action PauseStop # | |||||
Defined in Napkin.Cli.Web.Navbar |
data PauseStopAction #
Constructors
PauseAction | |
StopAction |
Instances
Generic PauseStopAction # | |||||
Defined in Napkin.Cli.Web.Navbar Associated Types
Methods from :: PauseStopAction -> Rep PauseStopAction x # to :: Rep PauseStopAction x -> PauseStopAction # | |||||
ViewAction PauseStopAction # | |||||
Defined in Napkin.Cli.Web.Navbar | |||||
type Rep PauseStopAction # | |||||
Defined in Napkin.Cli.Web.Navbar |
handlePauseButton :: forall b (es :: [Effect]). (Hyperbole :> es, Execution :> es, DAG b :> es) => PauseStop -> PauseStopAction -> Eff es (View PauseStop ()) #
pauseQuitButtons :: forall b (es :: [Effect]). (Hyperbole :> es, Execution :> es, DAG b :> es) => Eff es (View PauseStop ()) #
navbarContent :: forall b f (es :: [Effect]). (Hyperbole :> es, Time :> es, DAG b :> es, Execution :> es, Reader Title :> es, Reader (WebRunMode b) :> es, Reader UTCTime :> es, IOE :> es, Reader Args :> es) => f -> NavBarAction -> Eff es (View NavBar ()) #
getNavbarState :: forall b (es :: [Effect]). (Hyperbole :> es, DAG b :> es) => Eff es NavbarStatus #
data NavbarStatus #
Constructors
NavRunning | |
NavRunningWithError | |
NavCompletedOk | |
NavCompletedError |
Instances
navbar :: Maybe NominalDiffTime -> Maybe Estimate -> WebRunMode b -> Title -> NavbarStatus -> Args -> View PauseStop () -> View NavBar () #