readline -package:Agda

Read in a line from stdin Returns Nothing if at end of input

package readline

Uses

Not on Stackage, so not searched. An interface to the GNU readline library

readLine :: (HasCallStack, MonadIO m) => Ptr () -> String -> m Int32

gi-pango GI.Pango.Functions

Deprecated: (Since version 1.38)

readline :: String -> IO String

isocline System.Console.Isocline

readline prompt: Read (multi-line) input from the user with rich editing abilities. Takes the prompt text as an argument. The full prompt is the combination of the given prompt and the prompt marker ("> " by default) . See also readlineEx, readlineMaybe, enableMultiline, and setPromptMarker.

readlineEx :: String -> Maybe (CompletionEnv -> String -> IO ()) -> Maybe (String -> Fmt) -> IO String

isocline System.Console.Isocline

readlineEx prompt mbCompleter mbHighlighter: as readline but uses the given mbCompleter function to complete words on tab (instead of the default completer). and the given mbHighlighter function to highlight the input (instead of the default highlighter). See also readline and readlineExMaybe.

readlineExMaybe :: String -> Maybe (CompletionEnv -> String -> IO ()) -> Maybe (String -> Fmt) -> IO (Maybe String)

isocline System.Console.Isocline

As readlineEx but returns Nothing on end-of-file or other errors (ctrl-C/ctrl-D). See also readlineMaybe.

readlineMaybe :: String -> IO (Maybe String)

isocline System.Console.Isocline

As readline but returns Nothing on end-of-file or other errors (ctrl-C/ctrl-D).

readlinePrim :: String -> Maybe (CompletionEnv -> String -> IO ()) -> Maybe (HighlightEnv -> String -> IO ()) -> IO String

isocline System.Console.Isocline

readlinePrim prompt mbCompleter mbHighlighter: as readline but uses the given mbCompleter function to complete words on tab (instead of the default completer). and the given mbHighlighter function to highlight the input (instead of the default highlighter). See also readlineEx and readlinePrimMaybe.

readlinePrimMaybe :: String -> Maybe (CompletionEnv -> String -> IO ()) -> Maybe (HighlightEnv -> String -> IO ()) -> IO (Maybe String)

isocline System.Console.Isocline

As readlinePrim but returns Nothing on end-of-file or other errors (ctrl-C/ctrl-D). See also readlineMaybe.

readLines :: Stringy s => FilePath -> IO [s]

hpp Hpp.StringSig

package readline-in-other-words

Uses

Not on Stackage, so not searched. Readline effect for in-other-words.

package readline-statevar

Uses

Not on Stackage, so not searched. Readline with variables (setX/getY) wrapped in state vars

connectionReadLine :: Maybe MaxHeaderLength -> Connection -> IO ByteString

http-client Network.HTTP.Client.Internal

connectionReadLineWith :: Maybe MaxHeaderLength -> Connection -> ByteString -> IO ByteString

http-client Network.HTTP.Client.Internal

connectionUnreadLine :: Connection -> ByteString -> IO ()

http-client Network.HTTP.Client.Internal

hook_readLine :: StreamHooks ty -> (ty -> String) -> Result ty -> IO ()

HTTP Network.TCP

iOChannelReadLine :: (HasCallStack, MonadIO m) => IOChannel -> m (IOStatus, Text, CSize, CSize)

gi-glib GI.GLib.Structs.IOChannel

Reads a line, including the terminating character(s), from a IOChannel into a newly-allocated string. strReturn will contain allocated memory if the return is IOStatusNormal.

data DataInputStreamReadLineAsyncMethodInfo

gi-gio GI.Gio.Objects.DataInputStream

data DataInputStreamReadLineFinishMethodInfo

gi-gio GI.Gio.Objects.DataInputStream

data DataInputStreamReadLineFinishUtf8MethodInfo

gi-gio GI.Gio.Objects.DataInputStream

data DataInputStreamReadLineMethodInfo

gi-gio GI.Gio.Objects.DataInputStream

data DataInputStreamReadLineUtf8MethodInfo

gi-gio GI.Gio.Objects.DataInputStream

dataInputStreamReadLine :: (HasCallStack, MonadIO m, IsDataInputStream a, IsCancellable b) => a -> Maybe b -> m (Maybe ByteString, CSize)

gi-gio GI.Gio.Objects.DataInputStream

Reads a line from the data input stream. Note that no encoding checks or conversion is performed; the input is not guaranteed to be UTF-8, and may in fact have embedded NUL characters. If cancellable is not Nothing, then the operation can be cancelled by triggering the cancellable object from another thread. If the operation was cancelled, the error IOErrorEnumCancelled will be returned.