Safe Haskell	Safe-Inferred
Language	Haskell2010

FRP.Rhine.Terminal

Contents

Orphan instances

Description

Wrapper to write terminal applications in Rhine, using concurrency.

Synopsis

data TerminalEventClock = TerminalEventClock
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 ()
type RunTerminalClock m t cl = HoistClock (TerminalT t m) m cl
runTerminalClock :: Terminal t => t -> cl -> RunTerminalClock IO t cl

Documentation

data TerminalEventClock Source #

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

Constructors

TerminalEventClock

Instances

Instances details

Semigroup TerminalEventClock Source #
Instance details Defined in FRP.Rhine.Terminal Methods (<>) :: TerminalEventClock -> TerminalEventClock -> TerminalEventClock # sconcat :: NonEmpty TerminalEventClock -> TerminalEventClock # stimes :: Integral b => b -> TerminalEventClock -> TerminalEventClock #
GetClockProxy TerminalEventClock Source #
Instance details Defined in FRP.Rhine.Terminal Methods getClockProxy :: ClockProxy TerminalEventClock #
(MonadInput m, MonadIO m) => Clock m TerminalEventClock Source #
Instance details 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 Source #
Instance details Defined in FRP.Rhine.Terminal type Tag TerminalEventClock = Either Interrupt Event
type Time TerminalEventClock Source #
Instance details 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 () Source #

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

type RunTerminalClock m t cl = HoistClock (TerminalT t m) m cl Source #

To escape the TerminalT transformer, you can apply this operator to your clock type, where cl is a clock in TerminalT. The resulting clock is then in m.

runTerminalClock :: Terminal t => t -> cl -> RunTerminalClock IO t cl Source #

See RunTerminalClock. Apply this to your clock value to remove a TerminalT layer.

Orphan instances

(Monad m, MonadSchedule m) => MonadSchedule (TerminalT t m) Source #
Instance details Methods schedule :: NonEmpty (TerminalT t m a) -> TerminalT t m (NonEmpty a, [TerminalT t m a]) #