Vgrep.App.Internal

Documentation

data EventPriority

User events do have higher priority than System events, so that the application stays responsive even in case of event queue congestion.

Constructors

User

System

Instances

Enum EventPriority

Methods

succ :: EventPriority -> EventPriority

pred :: EventPriority -> EventPriority

toEnum :: Int -> EventPriority

fromEnum :: EventPriority -> Int

enumFrom :: EventPriority -> [EventPriority]

enumFromThen :: EventPriority -> EventPriority -> [EventPriority]

enumFromTo :: EventPriority -> EventPriority -> [EventPriority]

enumFromThenTo :: EventPriority -> EventPriority -> EventPriority -> [EventPriority]

Eq EventPriority

Methods

(==) :: EventPriority -> EventPriority -> Bool

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

Ord EventPriority

Methods

compare :: EventPriority -> EventPriority -> Ordering

(<) :: EventPriority -> EventPriority -> Bool

(<=) :: EventPriority -> EventPriority -> Bool

(>) :: EventPriority -> EventPriority -> Bool

(>=) :: EventPriority -> EventPriority -> Bool

max :: EventPriority -> EventPriority -> EventPriority

min :: EventPriority -> EventPriority -> EventPriority

viewportHack :: IO Viewport

We need the viewport in order to initialize the app, which in turn will start Vty. To resolve this circular dependency, we start once Vty in order to determine the display viewport, and shut it down again immediately.

withEvThread :: Consumer Event IO () -> Vty -> VgrepT s IO a -> VgrepT s IO a

Spawns a thread parallel to the action that listens to Vty events and redirects them to the Consumer.

withVty :: (Vty -> IO a) -> IO a

Passes a Vty instance to the action and shuts it down properly after the action finishes. The inputFd and outputFd handles are connected to /dev/tty (see tty).

withVgrepVty :: (Vty -> VgrepT s IO a) -> VgrepT s IO a

Like withVty, but lifted to VgrepT s IO.

withTty :: (Fd -> IO a) -> IO a

Passes two file descriptors for read and write access to /dev/tty to the action, and closes them after the action has finished.

withVgrepTty :: (Fd -> VgrepT s IO a) -> VgrepT s IO a

Like withTty, but lifted to VgrepT s IO.

tty :: IO Fd

Opens /dev/tty in Read/Write mode. Should be connected to the stdin and stdout of a GUI process (e. g. Vty).