text-render 0.1.0.1 → 0.1.0.2

raw patch · 2 files changed

+48/−6 lines, 2 filesdep +classy-prelude

Dependencies added: classy-prelude

Files

• src/Text/Render.hs +46/−4
• text-render.cabal +2/−2

@@ -1,14 +1,22 @@ {-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE NoImplicitPrelude #-} module Text.Render (-    Render(..),+    Render(..), Indenter,+    indented, wrapIndented, inNewLine, renderIndented,+    renderIndentedStartingAt,     renderTicks   ) where +import ClassyPrelude import qualified Prelude as P-import Prelude (($), (.), map, Int, Double, Functor(..), Show(..),-                Eq(..), Bool, Integer, Double, Monad(..)) import Control.Monad.Trans (MonadIO(..))-import Data.Monoid+import Control.Monad.Reader (ReaderT(..), MonadReader(..), (<=<), (>=>), ask,+                             asks, runReaderT)+import Control.Monad.Writer (WriterT(..), MonadWriter(..), runWriterT)+import Control.Monad.State.Strict (MonadState, StateT, State, get, gets,+                                   modify, put, liftM, liftIO, runState,+                                   runStateT, execState, execStateT,+                                   evalState, evalStateT) import Data.Text (Text) import qualified Data.Text as T import Text.Parsec (ParseError)@@ -20,13 +28,18 @@   -- | Render the object as a `Text`.   render :: a -> Text   render = T.pack . P.show+   -- | Many types of objects need to be rendered in parentheses.   renderParens :: a -> Text   renderParens = render+   -- | Render in the `IO` monad. Useful for objects containing IORefs.   renderIO :: MonadIO m => a -> m Text   renderIO = return . render +  renderI :: a -> Indenter+  renderI = tell . render+ instance Render Int instance Render Bool instance Render Integer@@ -41,3 +54,32 @@ -- | Renders and surrounds in backticks. Useful for printing user input. renderTicks :: Render a => a -> Text renderTicks x = "`" <> render x <> "`"++type Indenter = ReaderT Int (WriterT Text (State Int)) ()++indented :: Indenter -> Indenter+indented action = do+  c <- get+  put (c+1)+  action+  put c++inNewLine :: Indenter -> Indenter+inNewLine action = do+  ilevel <- ask+  current <- get+  tell $ "\n" <> T.replicate (ilevel * current) " "+  action++wrapIndented :: Render a => Text -> Text -> [a] -> Indenter+wrapIndented start finish things = do+  tell start+  indented $ mapM_ (inNewLine . renderI) things+  inNewLine $ tell finish++renderIndented :: Render a => Int -> a -> Text+renderIndented = renderIndentedStartingAt 0++renderIndentedStartingAt :: Render a => Int -> Int -> a -> Text+renderIndentedStartingAt start level e =+  snd $ evalState (runWriterT (runReaderT (renderI e) level)) start

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                text-render-version:             0.1.0.1+version:             0.1.0.2 synopsis:            A type class for rendering objects as text, pretty-printing, etc. -- description: homepage:            http://github.com/thinkpad20/text-render@@ -21,6 +21,6 @@   hs-source-dirs:      src -- other-modules:   -- other-extensions:-  build-depends:       base >=4.8 && <4.9, text, parsec, mtl+  build-depends:       base >=4.8 && <4.9, text, parsec, mtl, classy-prelude   -- hs-source-dirs:   default-language:    Haskell2010