Polysemy.Process.Pty

The effect Pty abstracts pseudo terminals.

Documentation

data Pty :: Effect where

A pseudo terminal, to be scoped with withPty.

Constructors

Handle :: Pty m Handle

The file descriptor that can be connected to stdio of a process.

Resize :: Rows -> Cols -> Pty m ()

Set the size of the terminal.

Size :: Pty m (Rows, Cols)

Get the size of the terminal.

resize :: forall r. Member Pty r => Rows -> Cols -> Sem r ()

Set the size of the terminal.

handle :: forall r. Member Pty r => Sem r Handle

The file descriptor that can be connected to stdio of a process.

size :: forall r. Member Pty r => Sem r (Rows, Cols)

Get the size of the terminal.

withPty :: Member (Scoped_ Pty) r => InterpreterFor Pty r

Bracket an action with the creation and destruction of a pseudo terminal.

interpretPty :: Members [Resource, Embed IO] r => InterpreterFor (Scoped_ Pty !! PtyError) r

Interpret Pty as a Pty.