Safe Haskell	None
Language	Haskell2010

DzenDhall.App

Contents

Description

An App monad with its operations.

Synopsis

newtype Common = Common Void
newtype StartingUp = StartingUp Void
newtype Forked = Forked Void
type family StateOf a where ...
newtype App stage a = App {
- unApp :: StateT (StateOf stage) (ReaderT Runtime IO) a
}
runApp :: Runtime -> StateOf stage -> App stage a -> IO a
liftIO :: IO a -> App stage a
get :: App stage (StateOf stage)
put :: StateOf stage -> App stage ()
modify :: (StateOf stage -> StateOf stage) -> App stage ()
getRuntime :: App stage Runtime
getNonce :: App StartingUp Int
liftStartingUp :: App StartingUp a -> BarSettings -> App Common a
runAppForked :: BarRuntime -> App Forked () -> App Common ()
forkApp :: App stage () -> App stage ()
exit :: Int -> Text -> App stage a
randomSuffix :: App stage String
checkBinary :: String -> App stage Bool
echoLines :: [Text] -> App stage ()
echo :: Text -> App stage ()
highlight :: Text -> App stage Text
explained :: IO a -> App stage a
timely :: Int -> App stage () -> App stage ()
waitForExit :: App a ()

App execution stages

Three newtypes below are used as tags to show in which stage of execution the app currently is.

At this stage, App performs config validation, runs startup/initalization, and forks threads that later update bar outputs.

See also: Forked.

Constructors

type family StateOf a where ... Source #

Maps app execution stages to app states.

Equations

StateOf Common = ()
StateOf StartingUp = StartupState
StateOf Forked = BarRuntime

newtype App stage a Source #

Runtime is read-only; mutable state type depends on the current stage of execution of the App.

Constructors

App
Fields unApp :: StateT (StateOf stage) (ReaderT Runtime IO) a

Instances

Monad (App stage) Source #
Instance details Defined in DzenDhall.App Methods (>>=) :: App stage a -> (a -> App stage b) -> App stage b # (>>) :: App stage a -> App stage b -> App stage b # return :: a -> App stage a # fail :: String -> App stage a #
Functor (App stage) Source #
Instance details Defined in DzenDhall.App Methods fmap :: (a -> b) -> App stage a -> App stage b # (<$) :: a -> App stage b -> App stage a #
Applicative (App stage) Source #
Instance details Defined in DzenDhall.App Methods pure :: a -> App stage a # (<>) :: App stage (a -> b) -> App stage a -> App stage b # liftA2 :: (a -> b -> c) -> App stage a -> App stage b -> App stage c # (>) :: App stage a -> App stage b -> App stage b # (<*) :: App stage a -> App stage b -> App stage a #