Renamed readLine
to readline
This commit is contained in:
parent
e5733082a1
commit
efb0235251
2 changed files with 4 additions and 4 deletions
|
@ -100,7 +100,7 @@ module Turtle.Prelude (
|
|||
, shell
|
||||
, echo
|
||||
, err
|
||||
, readLine
|
||||
, readline
|
||||
#if MIN_VERSION_base(4,7,0)
|
||||
, export
|
||||
, unset
|
||||
|
@ -312,8 +312,8 @@ err = Text.hPutStrLn IO.stderr
|
|||
|
||||
Returns `Nothing` if at end of input
|
||||
-}
|
||||
readLine :: IO (Maybe Text)
|
||||
readLine = do
|
||||
readline :: IO (Maybe Text)
|
||||
readline = do
|
||||
eof <- IO.isEOF
|
||||
if eof
|
||||
then return Nothing
|
||||
|
|
|
@ -840,7 +840,7 @@ import Turtle
|
|||
-- `Shell`:
|
||||
--
|
||||
-- @
|
||||
-- Prelude Turtle> view (`liftIO` readLine)
|
||||
-- Prelude Turtle> view (`liftIO` readline)
|
||||
-- ABC\<Enter\>
|
||||
-- Just \"ABC\"
|
||||
-- @
|
||||
|
|
Loading…
Reference in a new issue