| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Bluefin.Internal.System.IO
Synopsis
- 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
- hPutChar :: forall (e :: Effects) (es :: Effects). e <: es => Handle e -> Char -> Eff es ()
- 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 ()
- unsafeWithHandle :: forall (e1 :: Effects) (es :: Effects) r. e1 <: es => Handle e1 -> (Handle -> IO r) -> Eff es r
- 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
- data Handle (e :: Effects) = UnsafeMkHandle Handle (IOE e)
- data IOMode
Documentation
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.
data Handle (e :: Effects) Source #
Constructors
| UnsafeMkHandle Handle (IOE e) |
Instances
| Handle Handle Source # | |
Defined in Bluefin.Internal.System.IO Methods | |
| e <: es => OneWayCoercible (Handle e :: Type) (Handle es :: Type) Source # | |
Defined in Bluefin.Internal.System.IO Methods oneWayCoercibleImpl :: OneWayCoercibleD (Handle e) (Handle es) Source # | |
Constructors
| ReadMode | |
| WriteMode | |
| AppendMode | |
| ReadWriteMode |