FRP.Rhine.Terminal

Wrapper to write terminal applications in Rhine, using concurrency.

Documentation

data TerminalEventClock

A clock that ticks whenever events or interrupts on the terminal arrive.

Constructors

TerminalEventClock

Instances

Semigroup TerminalEventClock

Defined in FRP.Rhine.Terminal

Methods

(<>) :: TerminalEventClock -> TerminalEventClock -> TerminalEventClock

sconcat :: NonEmpty TerminalEventClock -> TerminalEventClock

stimes :: Integral b => b -> TerminalEventClock -> TerminalEventClock

GetClockProxy TerminalEventClock

Defined in FRP.Rhine.Terminal

Methods

getClockProxy :: ClockProxy TerminalEventClock

(MonadInput m, MonadIO m) => Clock m TerminalEventClock

Defined in FRP.Rhine.Terminal

Associated Types

type Time TerminalEventClock

type Tag TerminalEventClock

Methods

initClock :: TerminalEventClock -> RunningClockInit m (Time TerminalEventClock) (Tag TerminalEventClock)

type Tag TerminalEventClock

Defined in FRP.Rhine.Terminal

type Tag TerminalEventClock = Either Interrupt Event

type Time TerminalEventClock

Defined in FRP.Rhine.Terminal

type Time TerminalEventClock = UTCTime

flowTerminal :: (MonadIO m, MonadMask m, Terminal t, Clock (TerminalT t m) cl, GetClockProxy cl, Time cl ~ Time (In cl), Time cl ~ Time (Out cl)) => t -> Rhine (TerminalT t m) cl () () -> m ()

A function wrapping flow to use at the top level in order to run a `Rhine (TerminalT t m) cl ()`

Example:

mainRhine :: MonadIO m => Rhine (TerminalT LocalTerminal m) TerminalEventClock () ()
mainRhine = tagS >-> arrMCl (liftIO . print) @@ TerminalEventClock

main :: IO ()
main = withTerminal $ term -> flowTerminal term mainRhine

terminalConcurrently :: forall t cl1 cl2. (Terminal t, Clock (TerminalT t IO) cl1, Clock (TerminalT t IO) cl2, Time cl1 ~ Time cl2) => Schedule (TerminalT t IO) cl1 cl2

A schedule in the 'TerminalT LocalTerminal' transformer, supplying the same backend connection to its scheduled clocks.