Module Prelude.Interact

Simple interaction with a human at a terminal.

module type TTY = sig ... end

The type of terminal (TTY) input / output channels.

module Tty (U : NULL) : sig ... end

Functor that instantiates a TTY module which uses /dev/tty for both input and output.

module Stdio : TTY

Module that instantiates a TTY module which uses stdin and stdout for input and output.

module Make (Tty : TTY) : sig ... end

Functor to construct an Interactive module from a given TTY module.