Add run functions

Author: no-longer-on-githu-b

src/Control/Monad/IO.purs

@@ -1,6 +1,8 @@
 module Control.Monad.IO
   ( module Control.Monad.IO.Effect
   , IO(..)
+  , runIO
+  , runIO'
   , launchIO
   ) where
 
@@ -24,6 +26,12 @@ import Prelude
 
 newtype IO a = IO (Aff (infinity :: INFINITY) a)
 
+runIO :: IO ~> Aff (infinity :: INFINITY)
+runIO = unwrap
+
+runIO' :: ∀ eff. IO ~> Aff (infinity :: INFINITY | eff)
+runIO' = unsafeCoerceAff <<< unwrap
+
 launchIO :: ∀ a. IO a -> IOSync Unit
 launchIO = void <<< liftEff <<< launchAff <<< unwrap
 

src/Control/Monad/IOSync.purs

@@ -1,6 +1,8 @@
 module Control.Monad.IOSync
   ( module Control.Monad.IO.Effect
   , IOSync(..)
+  , runIOSync
+  , runIOSync'
   ) where
 
 import Control.Alt (class Alt)
@@ -20,6 +22,12 @@ import Prelude
 
 newtype IOSync a = IOSync (Eff (infinity :: INFINITY) a)
 
+runIOSync :: IOSync ~> Eff (infinity :: INFINITY)
+runIOSync = unwrap
+
+runIOSync' :: ∀ eff. IOSync ~> Eff (infinity :: INFINITY | eff)
+runIOSync' = unsafeCoerceEff <<< unwrap
+
 derive instance newtypeIOSync :: Newtype (IOSync a) _
 
 derive newtype instance functorIOSync     :: Functor     IOSync