DzenDhall.Event

Documentation

data PipeCommand

Constructors

RoutedEvent Event Scope

Click Scope Int

Instances

Eq PipeCommand

Defined in DzenDhall.Event

Methods

(==) :: PipeCommand -> PipeCommand -> Bool

(/=) :: PipeCommand -> PipeCommand -> Bool

Show PipeCommand

Defined in DzenDhall.Event

Methods

showsPrec :: Int -> PipeCommand -> ShowS

show :: PipeCommand -> String

showList :: [PipeCommand] -> ShowS

launchEventListener :: Subscriptions -> ClickableAreas -> App Forked ()

Start reading lines from a named pipe used to route events. On each event, try to parse it, and find which event subscriptions does the event affect.

processSubscriptions :: BarRuntime -> Scope -> Event -> [Subscription] -> IO ()

runStateVariableSetter :: BarRuntime -> Scope -> AutomatonAddress -> AutomatonState -> IO ()

Set a variable named STATE_address

runHooks :: [(String, String)] -> BarRuntime -> Scope -> [Hook] -> MaybeT IO ()

parsePipeCommand :: String -> Maybe PipeCommand

type Parser = Parsec Void String

routedEventParser :: Parser PipeCommand

E.g.

parseMaybe routedEventParser
  "event:MouseLeft@some-scope" ==
     Just (RoutedEvent (MouseEvent MouseLeft) "some-scope")

buttonParser :: Parser Button

automatonAddressParser :: Parser Text

eventParser :: Parser Text

capitalized :: Parser Text

camelCased :: Parser Text

scopeParser :: Parser Text

clickParser :: Parser PipeCommand