Add launchIO

Author: no-longer-on-githu-b

src/Control/Monad/IO.purs

@@ -1,29 +1,32 @@
 module Control.Monad.IO
-  ( INFINITY
+  ( module Control.Monad.IO.Effect
   , IO(..)
+  , launchIO
   ) where
 
 import Control.Alt (class Alt)
 import Control.Alternative (class Alternative)
-import Control.Monad.Aff (Aff)
+import Control.Monad.Aff (Aff, launchAff)
 import Control.Monad.Aff.Class (class MonadAff)
 import Control.Monad.Aff.Unsafe (unsafeCoerceAff)
 import Control.Monad.Eff.Class (class MonadEff, liftEff)
 import Control.Monad.Eff.Exception (Error)
 import Control.Monad.Eff.Unsafe (unsafeCoerceEff)
 import Control.Monad.Error.Class (class MonadError)
-import Control.Monad.IO (INFINITY)
+import Control.Monad.IO.Effect (INFINITY)
+import Control.Monad.IOSync (IOSync)
 import Control.Monad.Rec.Class (class MonadRec)
 import Control.MonadZero (class MonadZero)
 import Control.Plus (class Plus)
 import Data.Monoid (class Monoid)
-import Data.Newtype (class Newtype, wrap)
+import Data.Newtype (class Newtype, unwrap, wrap)
 import Prelude
 
-foreign import data INFINITY :: Effect
-
 newtype IO a = IO (Aff (infinity :: INFINITY) a)
 
+launchIO :: ∀ a. IO a -> IOSync Unit
+launchIO = void <<< liftEff <<< launchAff <<< unwrap
+
 derive instance newtypeIO :: Newtype (IO a) _
 
 derive newtype instance functorIO     :: Functor     IO

src/Control/Monad/IO/Effect.purs

@@ -0,0 +1,5 @@
+module Control.Monad.IO.Effect
+  ( INFINITY
+  ) where
+
+foreign import data INFINITY :: Effect

src/Control/Monad/IOSync.purs

@@ -1,5 +1,5 @@
 module Control.Monad.IOSync
-  ( module Control.Monad.IO
+  ( module Control.Monad.IO.Effect
   , IOSync(..)
   ) where
 
@@ -10,7 +10,7 @@ import Control.Monad.Eff.Class (class MonadEff, liftEff)
 import Control.Monad.Eff.Exception (Error, catchException, error, throwException)
 import Control.Monad.Eff.Unsafe (unsafeCoerceEff)
 import Control.Monad.Error.Class (class MonadError, catchError, throwError)
-import Control.Monad.IO (INFINITY)
+import Control.Monad.IO.Effect (INFINITY)
 import Control.Monad.Rec.Class (class MonadRec)
 import Control.MonadZero (class MonadZero)
 import Control.Plus (class Plus)