syntax-printer (empty) → 0.1.0.0

raw patch · 8 files changed

+268/−0 lines, 8 filesdep +basedep +bytestringdep +scientificsetup-changed

Dependencies added: base, bytestring, scientific, semi-iso, syntax, text

Files

Data/Syntax/Printer/ByteString.hs +43/−0
Data/Syntax/Printer/ByteString/Lazy.hs +43/−0
Data/Syntax/Printer/Consumer.hs +33/−0
Data/Syntax/Printer/Text.hs +53/−0
Data/Syntax/Printer/Text/Lazy.hs +53/−0
LICENSE +20/−0
Setup.hs +2/−0
syntax-printer.cabal +21/−0

+ Data/Syntax/Printer/ByteString.hs view

@@ -0,0 +1,43 @@+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE GeneralizedNewtypeDeriving #-}+{- |+Module      :  Data.Syntax.Printer.ByteString+Description :  Prints to a ByteString Builder using strict ByteString as the sequence.+Copyright   :  (c) Paweł Nowak+License     :  MIT++Maintainer  :  Paweł Nowak <pawel834@gmail.com>+Stability   :  experimental+-}+module Data.Syntax.Printer.ByteString (+    Printer,+    runPrinter+    )+    where++import           Control.Monad+import           Data.ByteString (ByteString)+import qualified Data.ByteString as BS+import           Data.ByteString.Lazy.Builder+import           Data.SemiIsoFunctor+import           Data.Syntax+import           Data.Syntax.Printer.Consumer++-- | Prints a value to a Text Builder using a syntax description.+newtype Printer a = Printer { getConsumer :: Consumer Builder a }+    deriving (SemiIsoFunctor, SemiIsoApply, SemiIsoAlternative, SemiIsoMonad)++instance Syntax Printer ByteString where+    anyChar = Printer . Consumer $ Right . word8+    take n = Printer . Consumer $ Right . byteString . BS.take n+    takeWhile p = Printer . Consumer $ Right . byteString . BS.takeWhile p+    takeWhile1 p = Printer . Consumer $ Right . byteString <=< notNull . BS.takeWhile p+      where notNull t | BS.null t  = Left "takeWhile1 failed"+                      | otherwise = Right t+    takeTill1 p = Printer . Consumer $ Right . byteString <=< notNull . BS.takeWhile (not . p)+      where notNull t | BS.null t  = Left "takeTill1 failed"+                      | otherwise = Right t++-- | Runs the printer.+runPrinter :: Printer a -> a -> Either String Builder+runPrinter = runConsumer . getConsumer

+ Data/Syntax/Printer/ByteString/Lazy.hs view

@@ -0,0 +1,43 @@+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE GeneralizedNewtypeDeriving #-}+{- |+Module      :  Data.Syntax.Printer.ByteString.Lazy+Description :  Prints to a ByteString Builder using lazy ByteString as the sequence.+Copyright   :  (c) Paweł Nowak+License     :  MIT++Maintainer  :  Paweł Nowak <pawel834@gmail.com>+Stability   :  experimental+-}+module Data.Syntax.Printer.ByteString.Lazy (+    Printer,+    runPrinter+    )+    where++import           Control.Monad+import           Data.ByteString.Lazy (ByteString)+import qualified Data.ByteString.Lazy as BS+import           Data.ByteString.Lazy.Builder+import           Data.SemiIsoFunctor+import           Data.Syntax+import           Data.Syntax.Printer.Consumer++-- | Prints a value to a Text Builder using a syntax description.+newtype Printer a = Printer { getConsumer :: Consumer Builder a }+    deriving (SemiIsoFunctor, SemiIsoApply, SemiIsoAlternative, SemiIsoMonad)++instance Syntax Printer ByteString where+    anyChar = Printer . Consumer $ Right . word8+    take n = Printer . Consumer $ Right . lazyByteString . BS.take (fromIntegral n)+    takeWhile p = Printer . Consumer $ Right . lazyByteString . BS.takeWhile p+    takeWhile1 p = Printer . Consumer $ Right . lazyByteString <=< notNull . BS.takeWhile p+      where notNull t | BS.null t  = Left "takeWhile1 failed"+                      | otherwise = Right t+    takeTill1 p = Printer . Consumer $ Right . lazyByteString <=< notNull . BS.takeWhile (not . p)+      where notNull t | BS.null t  = Left "takeTill1 failed"+                      | otherwise = Right t++-- | Runs the printer.+runPrinter :: Printer a -> a -> Either String Builder+runPrinter = runConsumer . getConsumer

+ Data/Syntax/Printer/Consumer.hs view

@@ -0,0 +1,33 @@+{- |+Module      :  Data.Syntax.Printer.Consumer+Description :  Common base for both Text and ByteString printers.+Copyright   :  (c) Paweł Nowak+License     :  MIT++Maintainer  :  Paweł Nowak <pawel834@gmail.com>+Stability   :  experimental+-}+module Data.Syntax.Printer.Consumer where++import Control.Applicative+import Control.Lens.SemiIso+import Control.Monad+import Data.Monoid+import Data.SemiIsoFunctor++-- | A contravariant functor that consumes values using a monoid.+newtype Consumer m a = Consumer { runConsumer :: a -> Either String m }++instance SemiIsoFunctor (Consumer m) where+    simap f (Consumer p) = Consumer $ apply f >=> p++instance Monoid m => SemiIsoApply (Consumer m) where+    siunit = Consumer $ \_ -> Right mempty+    Consumer f /*/ Consumer g = Consumer $ \(a, b) -> (<>) <$> f a <*> g b++instance Monoid m => SemiIsoAlternative (Consumer m) where+    siempty = Consumer $ \_ -> Left "siempty"+    Consumer f /|/ Consumer g = Consumer $ \a -> f a <|> g a++instance Monoid m => SemiIsoMonad (Consumer m) where+    Consumer m //= f = Consumer $ \(a, b) -> (<>) <$> m a <*> runConsumer (f a) b

+ Data/Syntax/Printer/Text.hs view

@@ -0,0 +1,53 @@+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE GeneralizedNewtypeDeriving #-}+{- |+Module      :  Data.Syntax.Printer.Text+Description :  Prints to a Text Builder using strict Text as the sequence.+Copyright   :  (c) Paweł Nowak+License     :  MIT++Maintainer  :  Paweł Nowak <pawel834@gmail.com>+Stability   :  experimental+-}+module Data.Syntax.Printer.Text (+    Printer,+    runPrinter+    )+    where++import           Control.Monad+import           Data.SemiIsoFunctor+import           Data.Syntax+import           Data.Syntax.Char+import           Data.Syntax.Printer.Consumer+import           Data.Text (Text)+import qualified Data.Text as T+import           Data.Text.Lazy.Builder+import qualified Data.Text.Lazy.Builder.Int as B+import qualified Data.Text.Lazy.Builder.RealFloat as B+import qualified Data.Text.Lazy.Builder.Scientific as B++-- | Prints a value to a Text Builder using a syntax description.+newtype Printer a = Printer { getConsumer :: Consumer Builder a }+    deriving (SemiIsoFunctor, SemiIsoApply, SemiIsoAlternative, SemiIsoMonad)++instance Syntax Printer Text where+    anyChar = Printer . Consumer $ Right . singleton+    take n = Printer . Consumer $ Right . fromText . T.take n+    takeWhile p = Printer . Consumer $ Right . fromText . T.takeWhile p+    takeWhile1 p = Printer . Consumer $ Right . fromText <=< notNull . T.takeWhile p+      where notNull t | T.null t  = Left "takeWhile1 failed"+                      | otherwise = Right t+    takeTill1 p = Printer . Consumer $ Right . fromText <=< notNull . T.takeWhile (not . p)+      where notNull t | T.null t  = Left "takeTill1 failed"+                      | otherwise = Right t++instance SyntaxChar Printer Text where+    decimal = Printer . Consumer $ Right . B.decimal+    hexadecimal = Printer . Consumer $ Right . B.hexadecimal+    realFloat = Printer . Consumer $ Right . B.realFloat+    scientific = Printer . Consumer $ Right . B.scientificBuilder++-- | Runs the printer.+runPrinter :: Printer a -> a -> Either String Builder+runPrinter = runConsumer . getConsumer

+ Data/Syntax/Printer/Text/Lazy.hs view

@@ -0,0 +1,53 @@+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE GeneralizedNewtypeDeriving #-}+{- |+Module      :  Data.Syntax.Printer.Text.Lazy+Description :  Prints to a Text Builder using lazy Text as the sequence.+Copyright   :  (c) Paweł Nowak+License     :  MIT++Maintainer  :  Paweł Nowak <pawel834@gmail.com>+Stability   :  experimental+-}+module Data.Syntax.Printer.Text.Lazy (+    Printer,+    runPrinter+    )+    where++import           Control.Monad+import           Data.SemiIsoFunctor+import           Data.Syntax+import           Data.Syntax.Char+import           Data.Syntax.Printer.Consumer+import           Data.Text.Lazy (Text)+import qualified Data.Text.Lazy as T+import           Data.Text.Lazy.Builder+import qualified Data.Text.Lazy.Builder.Int as B+import qualified Data.Text.Lazy.Builder.RealFloat as B+import qualified Data.Text.Lazy.Builder.Scientific as B++-- | Prints a value to a Text Builder using a syntax description.+newtype Printer a = Printer { getConsumer :: Consumer Builder a }+    deriving (SemiIsoFunctor, SemiIsoApply, SemiIsoAlternative, SemiIsoMonad)++instance Syntax Printer Text where+    anyChar = Printer . Consumer $ Right . singleton+    take n = Printer . Consumer $ Right . fromLazyText . T.take (fromIntegral n)+    takeWhile p = Printer . Consumer $ Right . fromLazyText . T.takeWhile p+    takeWhile1 p = Printer . Consumer $ Right . fromLazyText <=< notNull . T.takeWhile p+      where notNull t | T.null t  = Left "takeWhile1 failed"+                      | otherwise = Right t+    takeTill1 p = Printer . Consumer $ Right . fromLazyText <=< notNull . T.takeWhile (not . p)+      where notNull t | T.null t  = Left "takeTill1 failed"+                      | otherwise = Right t++instance SyntaxChar Printer Text where+    decimal = Printer . Consumer $ Right . B.decimal+    hexadecimal = Printer . Consumer $ Right . B.hexadecimal+    realFloat = Printer . Consumer $ Right . B.realFloat+    scientific = Printer . Consumer $ Right . B.scientificBuilder++-- | Runs the printer.+runPrinter :: Printer a -> a -> Either String Builder+runPrinter = runConsumer . getConsumer

+ LICENSE view

@@ -0,0 +1,20 @@+Copyright (c) 2014 Paweł Nowak++Permission is hereby granted, free of charge, to any person obtaining+a copy of this software and associated documentation files (the+"Software"), to deal in the Software without restriction, including+without limitation the rights to use, copy, modify, merge, publish,+distribute, sublicense, and/or sell copies of the Software, and to+permit persons to whom the Software is furnished to do so, subject to+the following conditions:++The above copyright notice and this permission notice shall be included+in all copies or substantial portions of the Software.++THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.+IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY+CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,+TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE+SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

+ Setup.hs view

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

+ syntax-printer.cabal view

@@ -0,0 +1,21 @@+name:                syntax-printer+version:             0.1.0.0+synopsis:            Text and ByteString printers for 'syntax'.+license:             MIT+license-file:        LICENSE+author:              Paweł Nowak+maintainer:          Paweł Nowak <pawel834@gmail.com>+copyright:           Paweł Nowak 2014+category:            Data+build-type:          Simple+cabal-version:       >=1.10++library+  exposed-modules:     Data.Syntax.Printer.Consumer+                       Data.Syntax.Printer.Text+                       Data.Syntax.Printer.Text.Lazy+                       Data.Syntax.Printer.ByteString+                       Data.Syntax.Printer.ByteString.Lazy+  build-depends:       base >=4.7 && <4.8, semi-iso >= 0.5, syntax >= 0.3, text, bytestring, scientific >= 0.3+  default-language:    Haskell2010+  ghc-options:         -Wall