Calamity.Internal.RunIntoIO

Something for converting polysemy actions into IO actions

Documentation

data IntoIO p r m a where

Constructors

IntoIO :: (p -> m r) -> IntoIO p r m (p -> IO (Maybe r))

Instances

type DefiningModule IntoIO

Defined in Calamity.Internal.RunIntoIO

type DefiningModule IntoIO = "Calamity.Internal.RunIntoIO"

runIntoIOFinal :: forall r p b a. Member (Final IO) r => Sem (IntoIO p b ': r) a -> Sem r a

intoIO :: forall p r r. MemberWithError (IntoIO p r) r => (p -> Sem r r) -> Sem r (p -> IO (Maybe r))

bindSemToIO :: forall r p a. Member (Final IO) r => (p -> Sem r a) -> Sem r (p -> IO (Maybe a))