Heart.Core.RIO

Most definitions follow the RIO lib: https://hackage.haskell.org/package/rio-0.1.14.0/docs/RIO.html See LICENSE info in the README.

Documentation

class HasStateRef st env | env -> st where

Methods

stateRefL :: Lens' env (SomeRef st)

Instances

HasStateRef a (SomeRef a)

Defined in Heart.Core.RIO

Methods

stateRefL :: Lens' (SomeRef a) (SomeRef a)

class HasWriteRef w env | env -> w where

Methods

writeRefL :: Lens' env (SomeRef w)

Instances

HasWriteRef a (SomeRef a)

Defined in Heart.Core.RIO

Methods

writeRefL :: Lens' (SomeRef a) (SomeRef a)

data SomeRef a

Instances

HasWriteRef a (SomeRef a)

Defined in Heart.Core.RIO

Methods

writeRefL :: Lens' (SomeRef a) (SomeRef a)

HasStateRef a (SomeRef a)

Defined in Heart.Core.RIO

Methods

stateRefL :: Lens' (SomeRef a) (SomeRef a)

newtype RIO env a

Constructors

RIO

Fields

• unRIO :: ReaderT env IO a

Instances

MonadReader env (RIO env)

Defined in Heart.Core.RIO

Methods

ask :: RIO env env

local :: (env -> env) -> RIO env a -> RIO env a

reader :: (env -> a) -> RIO env a

HasStateRef st env => MonadState st (RIO env)

Defined in Heart.Core.RIO

Methods

get :: RIO env st

put :: st -> RIO env ()

state :: (st -> (a, st)) -> RIO env a

(Monoid w, HasWriteRef w env) => MonadWriter w (RIO env)

Defined in Heart.Core.RIO

Methods

writer :: (a, w) -> RIO env a

tell :: w -> RIO env ()

listen :: RIO env a -> RIO env (a, w)

pass :: RIO env (a, w -> w) -> RIO env a

Monad (RIO env)

Defined in Heart.Core.RIO

Methods

(>>=) :: RIO env a -> (a -> RIO env b) -> RIO env b

(>>) :: RIO env a -> RIO env b -> RIO env b

return :: a -> RIO env a

fail :: String -> RIO env a

Functor (RIO env)

Defined in Heart.Core.RIO

Methods

fmap :: (a -> b) -> RIO env a -> RIO env b

(<$) :: a -> RIO env b -> RIO env a

MonadFail (RIO env)

Defined in Heart.Core.RIO

Methods

fail :: String -> RIO env a

Applicative (RIO env)

Defined in Heart.Core.RIO

Methods

pure :: a -> RIO env a

(<*>) :: RIO env (a -> b) -> RIO env a -> RIO env b

liftA2 :: (a -> b -> c) -> RIO env a -> RIO env b -> RIO env c

(*>) :: RIO env a -> RIO env b -> RIO env b

(<*) :: RIO env a -> RIO env b -> RIO env a

MonadIO (RIO env)

Defined in Heart.Core.RIO

Methods

liftIO :: IO a -> RIO env a

MonadThrow (RIO env)

Defined in Heart.Core.RIO

Methods

throwM :: Exception e => e -> RIO env a

MonadCatch (RIO env)

Defined in Heart.Core.RIO

Methods

catch :: Exception e => RIO env a -> (e -> RIO env a) -> RIO env a

MonadMask (RIO env)

Defined in Heart.Core.RIO

Methods

mask :: ((forall a. RIO env a -> RIO env a) -> RIO env b) -> RIO env b

uninterruptibleMask :: ((forall a. RIO env a -> RIO env a) -> RIO env b) -> RIO env b

generalBracket :: RIO env a -> (a -> ExitCase b -> RIO env c) -> (a -> RIO env b) -> RIO env (b, c)

MonadUnliftIO (RIO env)

Defined in Heart.Core.RIO

Methods

askUnliftIO :: RIO env (UnliftIO (RIO env))

withRunInIO :: ((forall a. RIO env a -> IO a) -> IO b) -> RIO env b

getStateRef :: (HasStateRef st env, MonadReader env m, MonadIO m) => m st

liftRIO :: (MonadIO m, MonadReader env m) => RIO env a -> m a

listenWriteRef :: (HasWriteRef w env, MonadReader env m, MonadIO m) => m a -> m (a, w)

newSomeRef :: MonadIO m => a -> m (SomeRef a)

mapRIO :: (env -> env') -> RIO env' a -> RIO env a

modifySomeRef :: MonadIO m => SomeRef a -> (a -> a) -> m ()

modifyStateRef :: (HasStateRef st env, MonadReader env m, MonadIO m) => (st -> st) -> m ()

passWriteRef :: (HasWriteRef w env, MonadReader env m, MonadIO m) => m (a, w -> w) -> m a

putStateRef :: (HasStateRef st env, MonadReader env m, MonadIO m) => st -> m ()

runRIO :: MonadIO m => env -> RIO env a -> m a

readSomeRef :: MonadIO m => SomeRef a -> m a

tellWriteRef :: (HasWriteRef w env, MonadReader env m, MonadIO m, Semigroup w) => w -> m ()

writeSomeRef :: MonadIO m => SomeRef a -> a -> m ()