| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Bluefin.Internal.System.IO
Synopsis
- data Handle (e :: Effects) = UnsafeMkHandle Handle (IOE e)
- 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
- 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 ()
- 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
- hIsEOF :: forall (e :: Effects) (es :: Effects). e <: es => Handle e -> Eff es Bool
- unsafeWithHandle :: forall (e1 :: Effects) (es :: Effects) r. e1 <: es => Handle e1 -> (Handle -> IO r) -> Eff es r
- data IOMode
Documentation
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 # | |
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.
See openFile
Constructors
| ReadMode | |
| WriteMode | |
| AppendMode | |
| ReadWriteMode |