Safe Haskell	None
Language	Haskell2010

Bluefin.Internal.System.IO

Synopsis

data Handle (e :: Effects) = UnsafeMkHandle Handle (IOE e)
withFile :: forall (e1 :: Effects) (es :: Effects) r. e1 <: es => IOE e1 -> FilePath -> IOMode -> (forall (e :: Effects). Handle e -> Eff (e :& es) r) -> Eff es r
hPutChar :: forall (e :: Effects) (es :: Effects). e <: es => Handle e -> Char -> Eff es ()
unsafeWithHandle :: forall (e1 :: Effects) (es :: Effects) r. e1 <: es => Handle e1 -> (Handle -> IO r) -> Eff es r
hPutStr :: forall (e :: Effects) (es :: Effects). e <: es => Handle e -> String -> Eff es ()
hPutStrLn :: forall (e :: Effects) (es :: Effects). e <: es => Handle e -> String -> Eff es ()
hFlush :: forall (e :: Effects) (es :: Effects). e <: es => Handle e -> Eff es ()
hGetLine :: forall (e :: Effects) (es :: Effects). e <: es => Handle e -> Eff es String
hIsEOF :: forall (e :: Effects) (es :: Effects). e <: es => Handle e -> Eff es Bool
data IOMode
- = ReadMode
- | WriteMode
- | AppendMode
- | ReadWriteMode

Documentation

data Handle (e :: Effects) Source #

Constructors

UnsafeMkHandle Handle (IOE e)

Instances

Instances details

Handle Handle Source #
Instance details Defined in Bluefin.Internal.System.IO Methods handleImpl :: HandleD Handle Source #
e <: es => OneWayCoercible (Handle e :: Type) (Handle es :: Type) Source #
Instance details Defined in Bluefin.Internal.System.IO Methods oneWayCoercibleImpl :: OneWayCoercibleD (Handle e) (Handle es) Source #

withFile Source #

Arguments

:: forall (e1 :: Effects) (es :: Effects) r. e1 <: es
=> IOE e1
-> FilePath
-> IOMode
-> (forall (e :: Effects). Handle e -> Eff (e :& es) r)
-> Eff es r	͘

hPutChar Source #

Arguments

:: forall (e :: Effects) (es :: Effects). e <: es
=> Handle e
-> Char
-> Eff es ()	͘

unsafeWithHandle :: forall (e1 :: Effects) (es :: Effects) r. e1 <: es => Handle e1 -> (Handle -> IO r) -> Eff es r Source #

If there's a System.IO.Handle-using function you need that isn't included here then you can open an issue to request it be added. In the meantime you can define it yourself with unsafeWithHandle.

hPutStr Source #

Arguments

:: forall (e :: Effects) (es :: Effects). e <: es
=> Handle e
-> String
-> Eff es ()	͘

hPutStrLn Source #

Arguments

:: forall (e :: Effects) (es :: Effects). e <: es
=> Handle e
-> String
-> Eff es ()	͘

hFlush Source #

Arguments

:: forall (e :: Effects) (es :: Effects). e <: es
=> Handle e
-> Eff es ()	͘

hGetLine Source #

Arguments

:: forall (e :: Effects) (es :: Effects). e <: es
=> Handle e
-> Eff es String	͘

hIsEOF Source #

Arguments

:: forall (e :: Effects) (es :: Effects). e <: es
=> Handle e
-> Eff es Bool	͘

data IOMode #

Constructors

ReadMode
WriteMode
AppendMode
ReadWriteMode

Instances

Instances details

Enum IOMode
Instance details Defined in GHC.Internal.IO.IOMode Methods succ :: IOMode -> IOMode pred :: IOMode -> IOMode toEnum :: Int -> IOMode fromEnum :: IOMode -> Int enumFrom :: IOMode -> [IOMode] enumFromThen :: IOMode -> IOMode -> [IOMode] enumFromTo :: IOMode -> IOMode -> [IOMode] enumFromThenTo :: IOMode -> IOMode -> IOMode -> [IOMode]
Ix IOMode
Instance details Defined in GHC.Internal.IO.IOMode Methods range :: (IOMode, IOMode) -> [IOMode] index :: (IOMode, IOMode) -> IOMode -> Int unsafeIndex :: (IOMode, IOMode) -> IOMode -> Int inRange :: (IOMode, IOMode) -> IOMode -> Bool rangeSize :: (IOMode, IOMode) -> Int unsafeRangeSize :: (IOMode, IOMode) -> Int
Read IOMode
Instance details Defined in GHC.Internal.IO.IOMode Methods readsPrec :: Int -> ReadS IOMode readList :: ReadS [IOMode] readPrec :: ReadPrec IOMode readListPrec :: ReadPrec [IOMode]
Show IOMode
Instance details Defined in GHC.Internal.IO.IOMode Methods showsPrec :: Int -> IOMode -> ShowS show :: IOMode -> String showList :: [IOMode] -> ShowS
Eq IOMode
Instance details Defined in GHC.Internal.IO.IOMode Methods (==) :: IOMode -> IOMode -> Bool (/=) :: IOMode -> IOMode -> Bool
Ord IOMode
Instance details Defined in GHC.Internal.IO.IOMode Methods compare :: IOMode -> IOMode -> Ordering (<) :: IOMode -> IOMode -> Bool (<=) :: IOMode -> IOMode -> Bool (>) :: IOMode -> IOMode -> Bool (>=) :: IOMode -> IOMode -> Bool max :: IOMode -> IOMode -> IOMode min :: IOMode -> IOMode -> IOMode