Safe Haskell	None
Language	Haskell2010

Calamity.Internal.RunIntoIO

Description

Something for converting polysemy actions into IO actions

Documentation

data IntoIO p m a where Source #

Constructors

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

Instances details

type DefiningModule IntoIO Source #
Instance details Defined in Calamity.Internal.RunIntoIO type DefiningModule IntoIO = "Calamity.Internal.RunIntoIO"

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

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