Safe Haskell	None
Language	Haskell2010

Bluefin.IO

Contents

Handle
Handlers
Effectful operations
IO type classes
- EffReader

Synopsis

data IOE (e :: Effects)
runEff :: (forall (e :: Effects) (es :: Effects). IOE e -> Eff (e :& es) a) -> IO a
effIO :: forall (e :: Effects) (es :: Effects) a. e :> es => IOE e -> IO a -> Eff es a
withMonadIO :: forall (e :: Effects) (es :: Effects) r. e :> es => IOE e -> (forall (m :: Type -> Type). MonadIO m => m r) -> Eff es r
withEffToIO :: forall (e2 :: Effects) (es :: Effects) a. e2 :> es => ((forall r. (forall (e1 :: Effects). IOE e1 -> Eff (e1 :& es) r) -> IO r) -> IO a) -> IOE e2 -> Eff es a
data EffReader r (es :: Effects) a
effReader :: forall r (es :: Effects) a. (r -> Eff es a) -> EffReader r es a
runEffReader :: forall r (es :: Effects) a. r -> EffReader r es a -> Eff es a

Documentation

You can run IO operations inside Eff.

Handle

data IOE (e :: Effects) Source #

Handle that allows you to run IO operations

Instances

Instances details

e :> es => MonadBaseControl IO (EffReader (IOE e) es)
Instance details Defined in Bluefin.Internal Methods liftBaseWith :: (RunInBase (EffReader (IOE e) es) IO -> IO a) -> EffReader (IOE e) es a Source # restoreM :: StM (EffReader (IOE e) es) a -> EffReader (IOE e) es a Source #
e :> es => MonadBase IO (EffReader (IOE e) es)
Instance details Defined in Bluefin.Internal Methods liftBase :: IO α -> EffReader (IOE e) es α Source #
e :> es => MonadIO (EffReader (IOE e) es)
Instance details Defined in Bluefin.Internal Methods liftIO :: IO a -> EffReader (IOE e) es a #
e :> es => MonadUnliftIO (EffReader (IOE e) es)
Instance details Defined in Bluefin.Internal Methods withRunInIO :: ((forall a. EffReader (IOE e) es a -> IO a) -> IO b) -> EffReader (IOE e) es b Source #
type StM (EffReader (IOE e) es) a
Instance details Defined in Bluefin.Internal type StM (EffReader (IOE e) es) a = a

Handlers

runEff Source #

Arguments

:: (forall (e :: Effects) (es :: Effects). IOE e -> Eff (e :& es) a)
-> IO a	͘

Run an Eff whose only unhandled effect is IO.

>>> runEff $ \io -> do
      effIO io (putStrLn "Hello world!")
Hello, world!

Effectful operations

effIO Source #

Arguments

:: forall (e :: Effects) (es :: Effects) a. e :> es
=> IOE e
-> IO a
-> Eff es a	͘

Run an IO operation in Eff

>>> runEff $ \io -> do
      effIO io (putStrLn "Hello world!")
Hello, world!

IO type classes

withMonadIO Source #

Arguments

:: forall (e :: Effects) (es :: Effects) r. e :> es
=> IOE e
-> (forall (m :: Type -> Type). MonadIO m => m r)	`MonadIO` operation
-> Eff es r	`MonadIO` operation run in `Eff`

Run MonadIO operations in Eff.

>>> runEff $ \io -> withMonadIO io $ liftIO $ do
      putStrLn "Hello world!"
Hello, world!

withEffToIO Source #

Arguments

:: forall (e2 :: Effects) (es :: Effects) a. e2 :> es
=> ((forall r. (forall (e1 :: Effects). IOE e1 -> Eff (e1 :& es) r) -> IO r) -> IO a)	Continuation with the unlifting function in scope.
-> IOE e2
-> Eff es a

`EffReader`

data EffReader r (es :: Effects) a Source #

Because doing IO operations inside Eff requires a value-level argument we can't give IO-related instances to Eff directly. Instead we wrap it in EffReader.

Instances

Instances details

e :> es => MonadBaseControl IO (EffReader (IOE e) es)
Instance details Defined in Bluefin.Internal Methods liftBaseWith :: (RunInBase (EffReader (IOE e) es) IO -> IO a) -> EffReader (IOE e) es a Source # restoreM :: StM (EffReader (IOE e) es) a -> EffReader (IOE e) es a Source #
e :> es => MonadBase IO (EffReader (IOE e) es)
Instance details Defined in Bluefin.Internal Methods liftBase :: IO α -> EffReader (IOE e) es α Source #
e :> es => MonadFail (EffReader (Exception String e) es)
Instance details Defined in Bluefin.Internal Methods fail :: String -> EffReader (Exception String e) es a #
e :> es => MonadIO (EffReader (IOE e) es)
Instance details Defined in Bluefin.Internal Methods liftIO :: IO a -> EffReader (IOE e) es a #
Applicative (EffReader r es)
Instance details Defined in Bluefin.Internal Methods pure :: a -> EffReader r es a # (<>) :: EffReader r es (a -> b) -> EffReader r es a -> EffReader r es b # liftA2 :: (a -> b -> c) -> EffReader r es a -> EffReader r es b -> EffReader r es c # (>) :: EffReader r es a -> EffReader r es b -> EffReader r es b # (<*) :: EffReader r es a -> EffReader r es b -> EffReader r es a #
Functor (EffReader r es)
Instance details Defined in Bluefin.Internal Methods fmap :: (a -> b) -> EffReader r es a -> EffReader r es b # (<$) :: a -> EffReader r es b -> EffReader r es a #
Monad (EffReader r es)
Instance details Defined in Bluefin.Internal Methods (>>=) :: EffReader r es a -> (a -> EffReader r es b) -> EffReader r es b # (>>) :: EffReader r es a -> EffReader r es b -> EffReader r es b # return :: a -> EffReader r es a #
e :> es => MonadUnliftIO (EffReader (IOE e) es)
Instance details Defined in Bluefin.Internal Methods withRunInIO :: ((forall a. EffReader (IOE e) es a -> IO a) -> IO b) -> EffReader (IOE e) es b Source #
type StM (EffReader (IOE e) es) a
Instance details Defined in Bluefin.Internal type StM (EffReader (IOE e) es) a = a

effReader :: forall r (es :: Effects) a. (r -> Eff es a) -> EffReader r es a Source #

runEffReader :: forall r (es :: Effects) a. r -> EffReader r es a -> Eff es a Source #