bluefin-internal-0.0.14.0: The Bluefin effect system, internals
Safe HaskellSafe-Inferred
LanguageHaskell2010

Bluefin.Internal.System.IO

Synopsis

Documentation

data Handle e Source #

Constructors

UnsafeMkHandle Handle (IOE e) 

Instances

Instances details
Handle Handle Source # 
Instance details

Defined in Bluefin.Internal.System.IO

Methods

mapHandle :: forall (e :: Effects) (es :: Effects). e :> es => Handle e -> Handle es Source #

hFlush Source #

Arguments

:: e :> es 
=> Handle e 
-> Eff es ()

͘

hGetLine Source #

Arguments

:: e :> es 
=> Handle e 
-> Eff es String

͘

hPutChar Source #

Arguments

:: e :> es 
=> Handle e 
-> Char 
-> Eff es ()

͘

hPutStr Source #

Arguments

:: e :> es 
=> Handle e 
-> String 
-> Eff es ()

͘

hPutStrLn Source #

Arguments

:: e :> es 
=> Handle e 
-> String 
-> Eff es ()

͘

withFile Source #

Arguments

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

͘

hIsEOF Source #

Arguments

:: e :> es 
=> Handle e 
-> Eff es Bool

͘

unsafeWithHandle :: 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.

data IOMode #

Instances

Instances details
Enum IOMode

Since: base-4.2.0.0

Instance details

Defined in GHC.IO.IOMode

Ix IOMode

Since: base-4.2.0.0

Instance details

Defined in GHC.IO.IOMode

Read IOMode

Since: base-4.2.0.0

Instance details

Defined in GHC.IO.IOMode

Show IOMode

Since: base-4.2.0.0

Instance details

Defined in GHC.IO.IOMode

Eq IOMode

Since: base-4.2.0.0

Instance details

Defined in GHC.IO.IOMode

Methods

(==) :: IOMode -> IOMode -> Bool #

(/=) :: IOMode -> IOMode -> Bool #

Ord IOMode

Since: base-4.2.0.0

Instance details

Defined in GHC.IO.IOMode