More Console functions

Add missing functions from Prelude. Match upstream style and comments. Reexport `CONSOLE` effect.

Author: texastoland

src/Control/Monad/Aff/Console.purs

@@ -1,17 +1,54 @@
-module Control.Monad.Aff.Console where
+module Control.Monad.Aff.Console
+  ( module Exports
+  , log
+  , logShow
+  , warn
+  , warnShow
+  , error
+  , errorShow
+  , info
+  , infoShow
+  ) where
 
 import Prelude
+import Control.Monad.Eff.Console (CONSOLE) as Exports
 import Control.Monad.Eff.Console as C
 
-import Control.Monad.Aff (Aff())
+import Control.Monad.Aff (Aff)
 import Control.Monad.Eff.Class (liftEff)
 
--- | Logs any string to the console. This basically saves you
--- | from writing `liftEff $ log x` everywhere.
-log :: forall e. String -> Aff (console :: C.CONSOLE | e) Unit
+-- | Write a message to the console. Shorthand for `liftEff $ log x`.
+log :: forall eff. String -> Aff (console :: C.CONSOLE | eff) Unit
 log = liftEff <<< C.log
 
--- | Logs any `Show`-able value to the console. This basically saves you
--- | from writing `liftEff $ logShow x` everywhere.
-logShow :: forall e a. (Show a) => a -> Aff (console :: C.CONSOLE | e) Unit
+-- | Write a value to the console, using its `Show` instance to produce a
+-- | `String`. Shorthand for `liftEff $ logShow x`.
+logShow :: forall a eff. Show a => a -> Aff (console :: C.CONSOLE | eff) Unit
 logShow = liftEff <<< C.logShow
+
+-- | Write a warning to the console. Shorthand for `liftEff $ warn x`.
+warn :: forall eff. String -> Aff (console :: C.CONSOLE | eff) Unit
+warn = liftEff <<< C.warn
+
+-- | Write a warning value to the console, using its `Show` instance to produce
+-- | a `String`. Shorthand for `liftEff $ warnShow x`.
+warnShow :: forall a eff. Show a => a -> Aff (console :: C.CONSOLE | eff) Unit
+warnShow = liftEff <<< C.warnShow
+
+-- | Write an error to the console. Shorthand for `liftEff $ error x`.
+error :: forall eff. String -> Aff (console :: C.CONSOLE | eff) Unit
+error = liftEff <<< C.error
+
+-- | Write an error value to the console, using its `Show` instance to produce a
+-- | `String`. Shorthand for `liftEff $ errorShow x`.
+errorShow :: forall a eff. Show a => a -> Aff (console :: C.CONSOLE | eff) Unit
+errorShow = liftEff <<< C.errorShow
+
+-- | Write an info message to the console. Shorthand for `liftEff $ info x`.
+info :: forall eff. String -> Aff (console :: C.CONSOLE | eff) Unit
+info = liftEff <<< C.info
+
+-- | Write an info value to the console, using its `Show` instance to produce a
+-- | `String`. Shorthand for `liftEff $ infoShow x`.
+infoShow :: forall a eff. Show a => a -> Aff (console :: C.CONSOLE | eff) Unit
+infoShow = liftEff <<< C.infoShow

test/Test/Main.purs

@@ -7,10 +7,9 @@ import Control.Apply ((*>))
 import Control.Parallel.Class (parallel, runParallel)
 import Control.Monad.Aff (Aff, runAff, makeAff, launchAff, later, later', forkAff, forkAll, Canceler(..), cancel, attempt, finally, apathize)
 import Control.Monad.Aff.AVar (AVAR, makeVar, makeVar', putVar, modifyVar, takeVar, killVar)
-import Control.Monad.Aff.Console (log)
+import Control.Monad.Aff.Console (CONSOLE, log)
 import Control.Monad.Cont.Class (callCC)
 import Control.Monad.Eff (Eff)
-import Control.Monad.Eff.Console (CONSOLE)
 import Control.Monad.Eff.Console (log) as Eff
 import Control.Monad.Eff.Exception (EXCEPTION, throwException, error, message, try)
 import Control.Monad.Error.Class (throwError)