Safe Haskell	None
Language	Haskell2010

Effectful.FileSystem.IO.ByteString

Contents

Introducing and eliminating ByteStrings
Files
I/O with Handles

Description

Lifted Data.ByteString. Like the original module, you probably want to import this module qualified to avoid name clashes with the functions provided by Prelude, e.g.:

import Data.ByteString (ByteString)
import Data.ByteString qualified as BS
import Effectful.FileSystem.IO.ByteString qualified as EBS

Synopsis

fromFilePath :: forall (es :: [Effect]). FileSystem :> es => FilePath -> Eff es ByteString
toFilePath :: forall (es :: [Effect]). FileSystem :> es => ByteString -> Eff es FilePath
readFile :: forall (es :: [Effect]). FileSystem :> es => FilePath -> Eff es ByteString
writeFile :: forall (es :: [Effect]). FileSystem :> es => FilePath -> ByteString -> Eff es ()
appendFile :: forall (es :: [Effect]). FileSystem :> es => FilePath -> ByteString -> Eff es ()
hGetLine :: forall (es :: [Effect]). FileSystem :> es => Handle -> Eff es ByteString
hGetContents :: forall (es :: [Effect]). FileSystem :> es => Handle -> Eff es ByteString
hGet :: forall (es :: [Effect]). FileSystem :> es => Handle -> Int -> Eff es ByteString
hGetSome :: forall (es :: [Effect]). FileSystem :> es => Handle -> Int -> Eff es ByteString
hGetNonBlocking :: forall (es :: [Effect]). FileSystem :> es => Handle -> Int -> Eff es ByteString
hPut :: forall (es :: [Effect]). FileSystem :> es => Handle -> ByteString -> Eff es ()
hPutNonBlocking :: forall (es :: [Effect]). FileSystem :> es => Handle -> ByteString -> Eff es ByteString
hPutStr :: forall (es :: [Effect]). FileSystem :> es => Handle -> ByteString -> Eff es ()
hPutStrLn :: forall (es :: [Effect]). FileSystem :> es => Handle -> ByteString -> Eff es ()

Introducing and eliminating ByteStrings

fromFilePath :: forall (es :: [Effect]). FileSystem :> es => FilePath -> Eff es ByteString Source #

Lifted fromFilePath.

toFilePath :: forall (es :: [Effect]). FileSystem :> es => ByteString -> Eff es FilePath Source #

Lifted toFilePath.

Files

readFile :: forall (es :: [Effect]). FileSystem :> es => FilePath -> Eff es ByteString Source #

Lifted readFile.

writeFile :: forall (es :: [Effect]). FileSystem :> es => FilePath -> ByteString -> Eff es () Source #

Lifted writeFile.

appendFile :: forall (es :: [Effect]). FileSystem :> es => FilePath -> ByteString -> Eff es () Source #

Lifted appendFile.

I/O with Handles

hGetLine :: forall (es :: [Effect]). FileSystem :> es => Handle -> Eff es ByteString Source #

Lifted hGetLine.

hGetContents :: forall (es :: [Effect]). FileSystem :> es => Handle -> Eff es ByteString Source #

Lifted hGetContents.

hGet :: forall (es :: [Effect]). FileSystem :> es => Handle -> Int -> Eff es ByteString Source #

Lifted hGet.

hGetSome :: forall (es :: [Effect]). FileSystem :> es => Handle -> Int -> Eff es ByteString Source #

Lifted hGetSome.

hGetNonBlocking :: forall (es :: [Effect]). FileSystem :> es => Handle -> Int -> Eff es ByteString Source #

Lifted hGetNonBlocking.

hPut :: forall (es :: [Effect]). FileSystem :> es => Handle -> ByteString -> Eff es () Source #

Lifted hPut.

hPutNonBlocking :: forall (es :: [Effect]). FileSystem :> es => Handle -> ByteString -> Eff es ByteString Source #

Lifted hPutNonBlocking.

hPutStr :: forall (es :: [Effect]). FileSystem :> es => Handle -> ByteString -> Eff es () Source #

Lifted hPutStr.

hPutStrLn :: forall (es :: [Effect]). FileSystem :> es => Handle -> ByteString -> Eff es () Source #

Lifted hPutStrLn.