| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Bluefin.Internal.System.IO
Synopsis
- data Handle (e :: Effects) = UnsafeMkHandle Handle (IOE e)
- hFlush :: forall (e :: Effects) (es :: Effects). e :> es => Handle e -> Eff es ()
- hPutStrLn :: forall (e :: Effects) (es :: Effects). e :> es => Handle e -> String -> 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.