readline -is:package

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

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

gi-pango GI.Pango.Functions

Deprecated: (Since version 1.38)

readline :: String -> IM (Maybe String)

Agda Agda.Interaction.Monad

Line reader. The line reader history is not stored between sessions.

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

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.

dataInputStreamReadLineAsync :: (HasCallStack, MonadIO m, IsDataInputStream a, IsCancellable b) => a -> Int32 -> Maybe b -> Maybe AsyncReadyCallback -> m ()

gi-gio GI.Gio.Objects.DataInputStream

The asynchronous version of dataInputStreamReadLine. It is an error to have two outstanding calls to this function. When the operation is finished, callback will be called. You can then call dataInputStreamReadLineFinish to get the result of the operation. Since: 2.20

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

gi-gio GI.Gio.Objects.DataInputStream

Finish an asynchronous call started by dataInputStreamReadLineAsync. Note the warning about string encoding in dataInputStreamReadLine applies here as well. Since: 2.20