Hoogle Search
Within LTS Haskell 24.33 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
copilot-language Copilot.Language.Prelude equivalent to readsPrec with a precedence of 0.
readsPrec :: Read a => Int -> ReadS acopilot-language Copilot.Language.Prelude attempts to parse a value from the front of the string, returning a list of (parsed value, remaining string) pairs. If there is no successful parse, the returned list is empty. Derived instances of Read and Show satisfy the following:
That is, readsPrec parses the string produced by showsPrec, and delivers the value that showsPrec started with.readFile2BL :: FilePath -> IO ByteStringdobutokO2 DobutokO.Sound.Keyboard Usual way the function readFile2BLGen is used. The text in a file being read is treated as a properly typed (entered) one. So there is no keyboard layout conversion at all.
readFile2BLGen :: String -> FilePath -> IO ByteStringdobutokO2 DobutokO.Sound.Keyboard Reads a given file into a lazy ByteString with filtering of all characters that are not a lower case ascii letters. It has additional first command line argument to control the way of treating letters: as being typed (entered) properly (null String), or needed to be converted from qwerty to dvorak layout ("q" String), or vice versa (otherwise).
readFile2BLGenMN :: Int64 -> Int64 -> String -> FilePath -> IO ByteStringdobutokO2 DobutokO.Sound.Keyboard Like readFile2BLGen, but reads only first n symbols specified with the second Int64 argument dropping before this the first m symbols specified with the first Int64 argument.
readFile2BLGenN :: Int64 -> String -> FilePath -> IO ByteStringdobutokO2 DobutokO.Sound.Keyboard Like readFile2BLGen, but reads only first n symbols specified with the first Int64 argument.
readFile2BLMN :: Int64 -> Int64 -> FilePath -> IO ByteStringdobutokO2 DobutokO.Sound.Keyboard Like readFile2BL, but reads only first n symbols specified with the second Int64 argument dropping before this the first m symbols specified with the first Int64 argument.
readFile2BLN :: Int64 -> FilePath -> IO ByteStringdobutokO2 DobutokO.Sound.Keyboard Like readFile2BL, but reads only first n symbols specified with the first Int64 argument.
readFileDoubles :: FilePath -> IO (Vector Int)dobutokO2 DobutokO.Sound.Keyboard Usual way the function readFileDoublesGen is used. The text in a file being read is treated as a properly typed (entered) one. So there is no keyboard layout conversion at all.
readFileDoublesGen :: String -> FilePath -> IO (Vector Int)dobutokO2 DobutokO.Sound.Keyboard After reading a file into a filtered lazy ByteString (see, readFile2BLGen) converts the resulting ByteString into a Vector of Int. The arguments have the same meaning as for readFile2BLGen.