Working prototype

21 files changed, 767 insertions, 61 deletions

diff --git a/bbcode/LICENSE b/bbcode/LICENSE
new file mode 100644
index 0000000..4ad71e2
--- /dev/null
+++ b/bbcode/LICENSE
@@ -0,0 +1,27 @@
+Statement of Purpose
+
+The laws of most jurisdictions throughout the world automatically confer exclusive Copyright and Related Rights (defined below) upon the creator and subsequent owner(s) (each and all, an "owner") of an original work of authorship and/or a database (each, a "Work").
+
+Certain owners wish to permanently relinquish those rights to a Work for the purpose of contributing to a commons of creative, cultural and scientific works ("Commons") that the public can reliably and without fear of later claims of infringement build upon, modify, incorporate in other works, reuse and redistribute as freely as possible in any form whatsoever and for any purposes, including without limitation commercial purposes. These owners may contribute to the Commons to promote the ideal of a free culture and the further production of creative, cultural and scientific works, or to gain reputation or greater distribution for their Work in part through the use and efforts of others.
+
+For these and/or other purposes and motivations, and without any expectation of additional consideration or compensation, the person associating CC0 with a Work (the "Affirmer"), to the extent that he or she is an owner of Copyright and Related Rights in the Work, voluntarily elects to apply CC0 to the Work and publicly distribute the Work under its terms, with knowledge of his or her Copyright and Related Rights in the Work and the meaning and intended legal effect of CC0 on those rights.
+
+1. Copyright and Related Rights. A Work made available under CC0 may be protected by copyright and related or neighboring rights ("Copyright and Related Rights"). Copyright and Related Rights include, but are not limited to, the following:
+
+the right to reproduce, adapt, distribute, perform, display, communicate, and translate a Work;
+moral rights retained by the original author(s) and/or performer(s);
+publicity and privacy rights pertaining to a person's image or likeness depicted in a Work;
+rights protecting against unfair competition in regards to a Work, subject to the limitations in paragraph 4(a), below;
+rights protecting the extraction, dissemination, use and reuse of data in a Work;
+database rights (such as those arising under Directive 96/9/EC of the European Parliament and of the Council of 11 March 1996 on the legal protection of databases, and under any national implementation thereof, including any amended or successor version of such directive); and
+other similar, equivalent or corresponding rights throughout the world based on applicable law or treaty, and any national implementations thereof.
+2. Waiver. To the greatest extent permitted by, but not in contravention of, applicable law, Affirmer hereby overtly, fully, permanently, irrevocably and unconditionally waives, abandons, and surrenders all of Affirmer's Copyright and Related Rights and associated claims and causes of action, whether now known or unknown (including existing as well as future claims and causes of action), in the Work (i) in all territories worldwide, (ii) for the maximum duration provided by applicable law or treaty (including future time extensions), (iii) in any current or future medium and for any number of copies, and (iv) for any purpose whatsoever, including without limitation commercial, advertising or promotional purposes (the "Waiver"). Affirmer makes the Waiver for the benefit of each member of the public at large and to the detriment of Affirmer's heirs and successors, fully intending that such Waiver shall not be subject to revocation, rescission, cancellation, termination, or any other legal or equitable action to disrupt the quiet enjoyment of the Work by the public as contemplated by Affirmer's express Statement of Purpose.
+
+3. Public License Fallback. Should any part of the Waiver for any reason be judged legally invalid or ineffective under applicable law, then the Waiver shall be preserved to the maximum extent permitted taking into account Affirmer's express Statement of Purpose. In addition, to the extent the Waiver is so judged Affirmer hereby grants to each affected person a royalty-free, non transferable, non sublicensable, non exclusive, irrevocable and unconditional license to exercise Affirmer's Copyright and Related Rights in the Work (i) in all territories worldwide, (ii) for the maximum duration provided by applicable law or treaty (including future time extensions), (iii) in any current or future medium and for any number of copies, and (iv) for any purpose whatsoever, including without limitation commercial, advertising or promotional purposes (the "License"). The License shall be deemed effective as of the date CC0 was applied by Affirmer to the Work. Should any part of the License for any reason be judged legally invalid or ineffective under applicable law, such partial invalidity or ineffectiveness shall not invalidate the remainder of the License, and in such case Affirmer hereby affirms that he or she will not (i) exercise any of his or her remaining Copyright and Related Rights in the Work or (ii) assert any associated claims and causes of action with respect to the Work, in either case contrary to Affirmer's express Statement of Purpose.
+
+4. Limitations and Disclaimers.
+
+No trademark or patent rights held by Affirmer are waived, abandoned, surrendered, licensed or otherwise affected by this document.
+Affirmer offers the Work as-is and makes no representations or warranties of any kind concerning the Work, express, implied, statutory or otherwise, including without limitation warranties of title, merchantability, fitness for a particular purpose, non infringement, or the absence of latent or other defects, accuracy, or the present or absence of errors, whether or not discoverable, all to the greatest extent permissible under applicable law.
+Affirmer disclaims responsibility for clearing rights of other persons that may apply to the Work or any use thereof, including without limitation any person's Copyright and Related Rights in the Work. Further, Affirmer disclaims responsibility for obtaining any necessary consents, permissions or other rights required for any use of the Work.
+Affirmer understands and acknowledges that Creative Commons is not a party to this document and has no duty or obligation with respect to this CC0 or use of the Work.
\ No newline at end of file
diff --git a/bbcode/Setup.hs b/bbcode/Setup.hs
new file mode 100644
index 0000000..9a994af
--- /dev/null
+++ b/bbcode/Setup.hs
@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain
diff --git a/bbcode/bbcode.cabal b/bbcode/bbcode.cabal
new file mode 100644
index 0000000..b17ff34
--- /dev/null
+++ b/bbcode/bbcode.cabal
@@ -0,0 +1,33 @@
+-- Initial bbcode.cabal generated by cabal init.  For further 
+-- documentation, see http://haskell.org/cabal/users-guide/
+
+name:                bbcode
+version:             0.0.0
+synopsis:            A tiny parser for bbcode->thermoprint-syntax-tree conversion
+-- description:         
+homepage:            git://git.yggdrasil.li/thermoprint
+license:             PublicDomain
+license-file:        LICENSE
+author:              Gregor Kleen
+maintainer:          aethoago@141.li
+-- copyright:           
+-- category:            
+build-type:          Simple
+-- extra-source-files:  
+cabal-version:       >=1.10
+
+library
+  exposed-modules:     BBCode
+  other-modules:       BBCode.Tokenizer
+                     , BBCode.Syntax
+  -- other-extensions:    
+  hs-source-dirs:      src
+  default-language:    Haskell2010
+  build-depends:       base >=4.8 && <4.9
+                     , thermoprint
+                     , attoparsec >=0.13.0 && <1
+                     , text >=1.2.1 && <2
+                     , parsec >=3.1.9 && <4
+                     , mtl >=2.2.1 && <3
+                     , case-insensitive >=1.2.0 && <2
+                     , containers >=0.5.6 && <1
\ No newline at end of file
diff --git a/bbcode/bbcode.nix b/bbcode/bbcode.nix
new file mode 100644
index 0000000..d363a17
--- /dev/null
+++ b/bbcode/bbcode.nix
@@ -0,0 +1,18 @@
+{ mkDerivation
+, stdenv
+, base
+, thermoprint
+, attoparsec, parsec, mtl, case-insensitive, containers
+}:
+mkDerivation {
+  pname = "bbcode";
+  version = "0.0.0";
+  src = ./.;
+  libraryHaskellDepends = [ base
+                            thermoprint
+                            attoparsec parsec mtl case-insensitive containers
+                          ];
+  homepage = "git://git.yggdrasil.li/thermoprint";
+  description = "A tiny parser for bbcode->thermoprint-syntax-tree conversion";
+  license = stdenv.lib.licenses.publicDomain;
+}
diff --git a/bbcode/src/BBCode.hs b/bbcode/src/BBCode.hs
new file mode 100644
index 0000000..750fb0f
--- /dev/null
+++ b/bbcode/src/BBCode.hs
@@ -0,0 +1,96 @@
+{-# LANGUAGE OverloadedStrings, OverloadedLists, RankNTypes, ImpredicativeTypes #-}
+
+module BBCode
+       ( parse
+       ) where
+
+import Thermoprint
+
+import BBCode.Tokenizer
+import BBCode.Syntax
+
+import Data.Maybe
+import Data.Monoid
+import Data.Either
+import Data.Bifunctor
+import Data.List
+import Data.Ord
+import Data.Foldable
+
+import Data.Function (on)
+
+import           Data.CaseInsensitive  ( CI )
+import qualified Data.CaseInsensitive as CI
+
+import           Data.Map  ( Map )
+import qualified Data.Map as Map
+
+import Prelude hiding (takeWhile)
+
+import Debug.Trace
+
+knownTags :: Map (CI String) (Either (Block String -> Block String) (Inline String -> Inline String))
+knownTags = [ ("center", Left Center)
+            , ("u", Right Underline)
+            ]
+
+isBlock, isInline :: String -> Bool
+isBlock = testTag isLeft
+isInline = testTag isRight
+testTag f k = fromMaybe False (f <$> Map.lookup (CI.mk k) knownTags)
+
+data Decorated c = Decorated c [String]
+                 deriving (Show, Eq)
+
+parse :: String -> Either String (Block String)
+parse input = (remerge . blockify <$> (tokenize input >>= treeify)) >>= semantics
+
+blockify :: ContentForest -> [Decorated String]
+blockify = map sortDeco . concat . map (blockify' [])
+  where
+    blockify' _ Empty = []
+    blockify' initial (Content str) = [str `Decorated` initial]
+    blockify' initial (Tagged cs tag) = concat $ map (blockify' $ tag : initial) cs
+    sortDeco :: Decorated c -> Decorated c
+    sortDeco (Decorated c tags) = Decorated c $ (nubBy ((==) `on` CI.mk) . sortBy blockiness) tags
+    blockiness :: String -> String -> Ordering
+    blockiness a b = comparing isBlock a b <> comparing CI.mk a b -- sort also alphabetically for the benefit of remerge
+
+remerge :: [Decorated String] -> ContentForest
+remerge [] = []
+remerge [(Decorated c deco)] = [appEndo applyDeco $ Content c]
+  where
+    applyDeco = foldMap (\t -> Endo (\c -> Tagged [c] t)) $ reverse deco
+remerge xs = concat $ map toTree $ groupLasts xs
+  where
+    groupLasts = groupBy ((==) `on` (listToMaybe . reverse . (\(Decorated _ ds) -> ds)))
+    -- toTree :: [Decorated String] -> [ContentTree]
+    toTree [] = []
+    toTree (x@(Decorated _ []):xs) = map (Content . (\(Decorated c []) -> c)) (x:xs)
+    toTree (x@(Decorated _ ds):xs) = [Tagged content tag]
+      where
+        tag = last ds
+        content = toTree $ map stripLast (x:xs)
+        stripLast (Decorated c ds) = Decorated c (init ds)
+
+unknownTag :: forall a. String -> Either String a
+unknownTag tag = Left $ "Unknown tag: " ++ tag
+
+semantics :: ContentForest -> Either String (Block String)
+semantics forest = Over <$> mapM semantics' forest
+
+semantics' :: ContentTree -> Either String (Block String)
+semantics' Empty = Right $ Over []
+semantics' (Content str) = Right $ Paragraph (Cooked str)
+semantics' (Tagged cs tag) = case Map.lookup (CI.mk tag) knownTags of
+  Nothing -> unknownTag tag
+  Just (Left f) -> Over . map f <$> mapM semantics' cs
+  Just (Right f) -> Paragraph . Beside . map f<$> mapM iSemantics cs
+
+iSemantics :: ContentTree -> Either String (Inline String)
+iSemantics Empty = Right $ Beside []
+iSemantics (Content str) = Right $ Cooked str
+iSemantics (Tagged cs tag) = case Map.lookup (CI.mk tag) knownTags of
+  Nothing -> unknownTag tag
+  Just (Left f) -> error "Known inline tag sorted within block"
+  Just (Right f) -> Beside . map f <$> mapM iSemantics cs
diff --git a/bbcode/src/BBCode/Syntax.hs b/bbcode/src/BBCode/Syntax.hs
new file mode 100644
index 0000000..a196e05
--- /dev/null
+++ b/bbcode/src/BBCode/Syntax.hs
@@ -0,0 +1,108 @@
+{-# LANGUAGE RecordWildCards #-}
+
+module BBCode.Syntax
+       ( treeify
+       , ContentForest
+       , ContentTree(..)
+       ) where
+
+import BBCode.Tokenizer (Token(..))
+
+import Data.Foldable
+import Data.Bifunctor
+import Data.Monoid
+
+import Control.Monad.State
+import Control.Monad.Trans
+import Control.Monad
+  
+import           Data.CaseInsensitive  ( CI )
+import qualified Data.CaseInsensitive as CI
+
+import Data.Function (on)
+
+type ContentForest = [ContentTree]
+data ContentTree = Content String
+                 | Tagged [ContentTree] String
+                 | Empty
+                 deriving (Show, Eq)
+
+data Step = Down [ContentTree] [ContentTree] String
+          deriving (Show)
+
+data Zipper = Zipper
+              { hole :: String
+              , prevs :: [ContentTree]
+              , steps :: [Step]
+              }
+              deriving (Show)
+
+type Parser = StateT Zipper (Either String)
+abort :: String -> Parser a
+abort = lift . Left
+
+
+treeify :: [Token] -> Either String ContentForest
+treeify tokenStream = second (postProcess . unZip) $ execStateT (mapM_ incorporate tokenStream) (Zipper "" [] [])
+
+postProcess :: ContentForest -> ContentForest
+postProcess forest = do
+  tree <- forest
+  let
+    tree' = postProcess' tree
+  guard $ tree' /= Empty
+  return tree'
+  where
+    postProcess' :: ContentTree -> ContentTree
+    postProcess' (Content "") = Empty
+    postProcess' (Tagged [] _) = Empty
+    postProcess' (Tagged cs t) = Tagged [c' | c <- cs, let c' = postProcess' c, c' /= Empty ] t
+    postProcess' x = x
+
+unZip :: Zipper -> ContentForest
+unZip Zipper{..} = reverse (apply hole steps : prevs)
+
+apply :: String -> [Step] -> ContentTree
+apply hole steps = hole `apply'` (reverse steps)
+apply' "" [] = Empty
+apply' hole [] = Content hole
+apply' hole (Down pres posts tag:steps) = Tagged (reverse pres ++ [hole `apply` steps] ++ posts) tag
+
+incorporate :: Token -> Parser ()
+incorporate (Text str) = append str
+incorporate (Whitespace str)
+  | delimitsPar str = do
+      currSteps <- gets steps
+      if null currSteps then
+        modify (\Zipper{..} -> Zipper { hole = "", steps = [], prevs = (hole `apply` steps : prevs) })
+        else
+        append str
+  | otherwise = append str
+  where
+    delimitsPar str = (sum . map (const (1 :: Integer)) . filter (== '\n') $ str) >= 1
+incorporate (TagOpen tagName) = modify $ (\z@(Zipper{..}) -> z { steps = (Down [] [] tagName : steps) })
+incorporate (TagClose tagName) = do
+  currSteps <- gets steps
+  case currSteps of
+    [] -> abort $ "Closing unopenend tag: " ++ tagName
+    (Down pres posts tagName':s) -> if ((==) `on` CI.mk) tagName tagName' then
+                                      goUp
+                                    else
+                                       abort $ "Mismatched tags: [" ++ tagName' ++ "]...[/" ++ tagName ++ "]"
+
+append :: String -> Parser ()
+append str = modify (\z@(Zipper{..}) -> z { hole = hole ++ str })
+
+goUp :: Parser ()
+goUp = do
+  (Down pres posts tagName:s) <- gets steps
+  hole <- gets hole
+  let
+    steppedHole = Tagged (reverse pres ++ [Content hole] ++ posts) tagName
+  case s of
+    [] -> modify $ (\z@(Zipper{..}) -> Zipper { hole = "", prevs = steppedHole : prevs, steps = [] })
+    (t:ts) -> do
+      let
+        (Down pres posts tagName) = t
+        t' = Down (steppedHole : pres) posts tagName
+      modify $ (\z -> z { hole = "", steps = (t':ts) })
diff --git a/bbcode/src/BBCode/Tokenizer.hs b/bbcode/src/BBCode/Tokenizer.hs
new file mode 100644
index 0000000..c860c7c
--- /dev/null
+++ b/bbcode/src/BBCode/Tokenizer.hs
@@ -0,0 +1,44 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module BBCode.Tokenizer
+       ( Token(..)
+       , tokenize
+       ) where
+
+import qualified Data.Text.Lazy as TL
+import qualified Data.Text as T
+
+import Control.Applicative
+import Data.Attoparsec.Text.Lazy
+
+import Data.Char (isSpace)
+import Data.Monoid (mconcat)
+
+data Token = Text String
+           | Whitespace String
+           | TagOpen String
+           | TagClose String
+           deriving (Show, Read, Eq)
+
+tokenize :: String -> Either String [Token]
+tokenize = eitherResult . parse (tokenize' <* endOfInput) . TL.pack
+
+tokenize' :: Parser [Token]
+tokenize' = many $ choice [ whitespace
+                          , Text . T.unpack <$> ("\\" *> "[")
+                          , tagClose
+                          , tagOpen
+                          , text
+                          ]
+
+whitespace :: Parser Token
+whitespace = Whitespace <$> many1 space
+
+tagOpen :: Parser Token
+tagOpen = TagOpen . T.unpack <$> ("[" *> takeWhile1 (/= ']') <* "]")
+
+tagClose :: Parser Token
+tagClose = TagClose . T.unpack <$> ("[/" *> takeWhile1 (/= ']') <* "]")
+
+text :: Parser Token
+text = Text . T.unpack <$> takeWhile1 (\c -> not (isSpace c) && notInClass "[" c)
diff --git a/default.nix b/default.nix
index 6b9e8ab..8c1478b 100644
--- a/default.nix
+++ b/default.nix
@@ -2,7 +2,13 @@
 }:
 
 rec {
-  servant = pkgs.haskellPackages.callPackage ./servant/servant.nix {
+  tprint = pkgs.haskellPackages.callPackage ./tprint/tprint.nix {
+    inherit thermoprint-servant thermoprint bbcode;
+  };
+  bbcode = pkgs.haskellPackages.callPackage ./bbcode/bbcode.nix {
+    inherit thermoprint;
+  };
+  thermoprint-servant = pkgs.haskellPackages.callPackage ./servant/servant.nix {
     inherit thermoprint;
   };
   thermoprint = pkgs.haskellPackages.callPackage ./thermoprint/thermoprint.nix {};
diff --git a/default.result.do b/default.result.do
index f7cf7ef..56be121 100644
--- a/default.result.do
+++ b/default.result.do
@@ -1,12 +1,18 @@
-find $2 -name '*.hs' -print0 | xargs --null redo-ifchange
-
-# Recording cross-component dependencies
 case $2 in
   servant)
-    redo-ifchange thermoprint.result
-  ;;
+    dir=servant
+    name=thermoprint-servant
+    ;;
+  *)
+    dir=$2
+    name=$2
+    ;;
 esac
 
-nix-build -A $2 -o $2.result-link 1>&2
+find $dir \( -name '*.hs' -or -name '*.cabal' -or -name '*.nix' \) -print0 | xargs --verbose --null redo-ifchange
+
+redo-ifchange default.nix
+
+nix-build -A $name -o $dir.result-link 1>&2
 
-exec readlink $2.result-link
\ No newline at end of file
+exec readlink $dir.result-link
\ No newline at end of file
diff --git a/servant/api/Thermoprint/Api.hs b/servant/api/Thermoprint/Api.hs
new file mode 100644
index 0000000..bd5744b
--- /dev/null
+++ b/servant/api/Thermoprint/Api.hs
@@ -0,0 +1,28 @@
+{-# LANGUAGE DataKinds, TypeOperators, DeriveGeneric #-}
+
+module Thermoprint.Api
+       ( ThermoprintApi
+       ) where
+
+import Thermoprint
+import Data.Aeson
+import Servant.API
+import qualified Data.Text.Lazy as Text
+import qualified Data.ByteString.Lazy.Char8 as ByteString
+import Data.ByteString.Lazy.Char8 (ByteString)
+import GHC.Generics
+
+import Control.Monad
+
+instance ToJSON ByteString where
+  toJSON = toJSON . Text.pack . ByteString.unpack
+instance FromJSON ByteString where
+  parseJSON value = (ByteString.pack . Text.unpack) `liftM` parseJSON value
+
+instance ToJSON c => ToJSON (Inline c)
+instance FromJSON c => FromJSON (Inline c)
+
+instance ToJSON c => ToJSON (Block c)
+instance FromJSON c => FromJSON (Block c)
+
+type ThermoprintApi = "print" :> Capture "printerId" Integer :> ReqBody '[JSON] (Block String) :> Post '[JSON] ()
diff --git a/servant/servant.cabal b/servant/servant.cabal
index b509dbc..b877196 100644
--- a/servant/servant.cabal
+++ b/servant/servant.cabal
@@ -16,11 +16,36 @@ build-type:          Simple
 -- extra-source-files:  
 cabal-version:       >=1.10
 
+library
+  exposed-modules:     Thermoprint.Api
+  hs-source-dirs:      api
+  default-language:    Haskell2010
+  other-extensions:    DataKinds
+                     , TypeOperators
+                     , DeriveGeneric
+  build-depends:       base >=4.8 && <4.9
+                     , thermoprint
+                     , aeson >=0.9.0 && <0.10
+                     , servant >=0.4.4 && <0.5
+                     , text >=1.2.1 && <4.5
+                     , bytestring >=0.10.6 && <0.11
+
 executable thermoprint
   main-is:             Main.hs
+  hs-source-dirs:      src
+  default-language:    Haskell2010
   -- other-modules:       
-  -- other-extensions:    
+  other-extensions:    RecordWildCards
+                     , OverloadedStrings
   build-depends:       base >=4.8 && <4.9
                      , thermoprint
-  hs-source-dirs:      src
-  default-language:    Haskell2010
\ No newline at end of file
+                     , thermoprint-servant
+                     , aeson >=0.9.0 && <0.10
+                     , wai >=3.0.3 && <3.1
+                     , servant-server >=0.4.4 && <0.5
+                     , warp >=3.1.3 && <3.2
+                     , text >=1.2.1 && <1.3
+                     , bytestring >=0.10.6 && <0.11
+                     , either >=4.4.1 && <4.5
+                     , optparse-applicative >=0.11.0 && <0.12
+                     , transformers >=0.4.2 && <0.5
\ No newline at end of file
diff --git a/servant/servant.nix b/servant/servant.nix
index 6c90a4f..a84fc77 100644
--- a/servant/servant.nix
+++ b/servant/servant.nix
@@ -2,16 +2,17 @@
 , stdenv
 , base
 , thermoprint
+, aeson, wai, servant-server, warp, optparse-applicative
 }:
 
 mkDerivation {
   pname = "thermoprint-servant";
   version = "0.0.0";
   src = ./.; 
-  isLibrary = false;
+  isLibrary = true;
   isExecutable = true;
   executableHaskellDepends = [
-    base thermoprint
+    base thermoprint aeson wai servant-server warp optparse-applicative
   ];
   homepage = "git://git.yggdrasil.li/thermoprint";
   description = "Server for interfacing to cheap thermoprinters";
diff --git a/servant/src/Main.hs b/servant/src/Main.hs
index e9e1deb..9d88559 100644
--- a/servant/src/Main.hs
+++ b/servant/src/Main.hs
@@ -1,2 +1,71 @@
+{-# LANGUAGE RecordWildCards, OverloadedStrings #-}
+
+import Thermoprint
+import Thermoprint.Api
+
+import Data.Aeson
+import Network.Wai
+import Network.Wai.Handler.Warp
+import Servant
+import qualified Data.Text.Lazy as Text
+import qualified Data.ByteString.Lazy.Char8 as ByteString
+import Data.ByteString.Lazy.Char8 (ByteString)
+import GHC.Generics
+
+import Control.Monad
+import Control.Monad.IO.Class
+import Control.Monad.Trans.Either
+
+import Options.Applicative
+
+import System.IO
+
+server :: Options -> Integer -> Block String -> EitherT ServantErr IO ()
+server Options{..} printerNo printOut = do
+  printerPath <- case genericIndex printers printerNo of
+    Just path -> return path
+    Nothing -> left $ err404 { errBody = "printerId out of bounds" }
+  liftIO $ withFile printerPath WriteMode doPrint
+  where
+    doPrint handle = do
+      hSetBuffering handle NoBuffering
+      ByteString.hPut handle $ render' printOut
+    genericIndex :: Integral i => [a] -> i -> Maybe a
+    genericIndex (x:_)  0 = Just x
+    genericIndex (_:xs) n
+      | n > 0     = genericIndex xs (n - 1)
+      | otherwise = Nothing
+    genericIndex _ _ = Nothing
+
+data Options = Options
+               { port :: Int
+               , printers :: [FilePath]
+               }
+
+options :: Parser Options
+options = Options
+          <$> option auto (
+            long "port"
+            <> short 'p'
+            <> metavar "PORT"
+            <> help "The port we'll run the server on"
+            <> value 8080
+            <> showDefault
+            )
+          <*> some (strArgument (
+                        metavar "PATH [...]"
+                        <> help "Path to one of the printers to use"
+                                ))
+
+thermoprintApi :: Proxy ThermoprintApi
+thermoprintApi = Proxy
+
 main :: IO ()
-main = undefined
+main = do
+  execParser opts >>= main'
+  where
+    opts = info (helper <*> options) (
+      fullDesc
+      <> header "thermoprint-servant - A REST server for interacting with a cheap thermoprinter"
+                                     )
+    main' args@(Options{..}) = run port $ serve thermoprintApi (server args)
diff --git a/thermoprint/src/Thermoprint.hs b/thermoprint/src/Thermoprint.hs
index c8c4c47..3541f81 100644
--- a/thermoprint/src/Thermoprint.hs
+++ b/thermoprint/src/Thermoprint.hs
@@ -1,3 +1,122 @@
+{-# LANGUAGE DeriveFunctor, DeriveGeneric, RecordWildCards, FlexibleInstances #-}
 module Thermoprint
-       (
+       ( Block(..)
+       , Inline(..)
+       , PrinterConf(..)
+       , render
+       , render'
+       , module Data.Monoid
        ) where
+
+import Data.Default
+import qualified Data.ByteString.Lazy as Lazy (ByteString)
+import Data.ByteString.Lazy.Char8 (pack)
+import Data.Monoid
+import GHC.Generics
+
+import Data.Binary.Put
+import Data.Encoding
+import Data.Encoding.CP437
+import Data.Word
+
+import Data.List
+
+-- data PrintOut c = Paragraph c
+--                 | Center (PrintOut c)
+--                 | Underline (PrintOut c)
+--                 | Concat (PrintOut c) (PrintOut c)
+--                 | Raw Lazy.ByteString 
+--                 deriving (Show, Read, Eq, Functor, Generic)
+
+data Block c = Over [Block c]
+             | Center (Block c)
+             | Paragraph (Inline c)
+             deriving (Show, Read, Eq, Functor, Generic)
+data Inline c = Beside [Inline c]
+              | Underline (Inline c)
+              | Cooked c
+              | Raw Lazy.ByteString
+              deriving (Show, Read, Eq, Functor, Generic)
+
+instance Monoid (Block c) where
+  mempty = Over []
+  mappend (Over xs) (Over ys) = Over (xs ++ ys)
+  mappend x (Over xs) = Over (x:xs)
+  mappend (Over xs) x = Over (xs ++ [x])
+  mappend x y = Over [x,y]
+
+instance Monoid c => Monoid (Inline c) where
+  mempty = Beside []
+  mappend (Cooked a) (Cooked b) = Cooked (a <> b)
+  mappend (Beside xs) (Beside ys) = Beside (xs ++ ys)
+  mappend x (Beside xs) = Beside (x:xs)
+  mappend (Beside xs) x = Beside (xs ++ [x])
+  mappend x y = Beside [x,y]
+
+data PrinterConf c = PrinterConf
+                     { renderCenter :: Put -> Put
+                     , renderUnderline :: Put -> Put
+                     , renderBeside :: [Put] -> Put
+                     , renderOver :: [Put] -> Put
+                     , renderParagraph :: Put -> Put
+                     , renderCooked :: c -> Put
+                     , finalize :: Put -> Put
+                     , columns :: Integer
+                     }
+
+instance Default (PrinterConf String) where
+  def = PrinterConf
+        { renderCenter = bracket [97, 1] [97, 0] . (>> enc "\n")
+        , renderUnderline = bracket [45, 2] [45, 0]
+        , renderBeside = sequence_
+        , renderOver = sequence_
+        , renderParagraph = (>> enc "\n")
+        , renderCooked = enc -- . wordBreak columns
+        , finalize = \t -> escSequence [64] >> t >> enc "\n"
+        , columns = columns
+        }
+    where
+      columns = 32 :: Integer
+      esc = 27 :: Word8
+      enc :: String -> Put
+      enc = encode CP437
+      escSequence :: [Word8] -> Put
+      escSequence = mapM_ putWord8 . (esc:)
+      bracket :: [Word8] -> [Word8] -> Put -> Put
+      bracket start end t = escSequence start >> t >> escSequence end
+      sequence_ :: Monad m => [m a] -> m ()
+      sequence_ xs = sequence xs >> return ()
+      ensureNewl :: String -> String
+      ensureNewl [] = "\n"
+      ensureNewl str
+        | last str == '\n' = str
+        | otherwise = str ++ "\n"
+      wordBreak :: Integer -> String -> String
+      wordBreak _ [] = []
+      wordBreak remains str
+        | w' > remains = (concat . intersperse "\n" $ chunk columns w) ++ wordBreak (w'' `div` columns) rest
+        | remains - w' == 0 = w ++ "\n" ++ wordBreak columns rest
+        | otherwise = w ++ wordBreak (remains - w') rest
+        where
+          (w:ws) = words str
+          rest = unwords ws
+          w' = genericLength w
+          w'' = w' - remains
+      chunk :: Integer -> [a] -> [[a]]
+      chunk _ [] = []
+
+render :: PrinterConf c -> Block c -> Lazy.ByteString
+render PrinterConf{..} = runPut . finalize . deconstruct
+  where
+    -- deconstruct :: Block c -> Put
+    deconstruct  (Over xs)     = renderOver $ map deconstruct xs
+    deconstruct  (Center x)    = renderCenter $ deconstruct x
+    deconstruct  (Paragraph x) = renderParagraph $ deconstruct' x
+    -- deconstruct' :: Inline c -> Put
+    deconstruct' (Beside xs)   = renderBeside $ map deconstruct' xs
+    deconstruct' (Underline x) = renderUnderline $ deconstruct' x
+    deconstruct' (Cooked x)    = renderCooked x
+    deconstruct' (Raw x)       = putLazyByteString x
+
+render' :: Block String -> Lazy.ByteString
+render' = render def
diff --git a/thermoprint/thermoprint.cabal b/thermoprint/thermoprint.cabal
index 6c8a395..ffd59dd 100644
--- a/thermoprint/thermoprint.cabal
+++ b/thermoprint/thermoprint.cabal
@@ -1,70 +1,36 @@
--- Initial thermoprint.cabal generated by cabal init.  For further 
--- documentation, see http://haskell.org/cabal/users-guide/
-
--- The name of the package.
 name:                thermoprint
-
--- The package version.  See the Haskell package versioning policy (PVP) 
--- for standards guiding when and how versions should be incremented.
--- http://www.haskell.org/haskellwiki/Package_versioning_policy
--- PVP summary:      +-+------- breaking API changes
---                   | | +----- non-breaking API additions
---                   | | | +--- code changes with no API change
 version:             0.0.0
-
--- A short (one-line) description of the package.
 synopsis:            Description of formatting supported by cheap thermoprinters
-
--- A longer description of the package.
 -- description:         
-
--- URL for the project homepage or repository.
 homepage:            git://git.yggdrasil.li/thermoprint
-
--- The license under which the package is released.
 license:             PublicDomain
-
--- The file containing the license text.
 license-file:        LICENSE
-
--- The package author(s).
 author:              Gregor Kleen
-
--- An email address to which users can send suggestions, bug reports, and 
--- patches.
 maintainer:          aethoago@141.li
-
--- A copyright notice.
 -- copyright:           
-
 -- category:            
 
 build-type:          Simple
 
--- Extra files to be distributed with the package, such as examples or a 
--- README.
 -- extra-source-files:  
-
--- Constraint on the version of Cabal needed to build this package.
 cabal-version:       >=1.10
 
 
 library
-  -- Modules exported by the library.
   exposed-modules:     Thermoprint
-  
-  -- Modules included in this library but not exported.
   -- other-modules:       
+  hs-source-dirs:      src
   
-  -- LANGUAGE extensions used by modules in this package.
-  -- other-extensions:    
+  default-language:    Haskell2010
+  other-extensions:    DeriveFunctor
+                     , DeriveGeneric
+                     , RecordWildCards
+                     , FlexibleInstances 
   
-  -- Other library packages from which modules are imported.
   build-depends:       base >=4.8 && <4.9
+                     , bytestring >=0.10.6 && <0.11
+                     , binary >=0.7.5 && <0.8
+                     , encoding >=0.8 && <0.9
+                     , data-default >=0.5.3 && <0.6
   
-  -- Directories containing source files.
-  hs-source-dirs:      src
-  
-  -- Base language which the package is written in.
-  default-language:    Haskell2010
   
\ No newline at end of file
diff --git a/thermoprint/thermoprint.nix b/thermoprint/thermoprint.nix
index 5453c35..76b8875 100644
--- a/thermoprint/thermoprint.nix
+++ b/thermoprint/thermoprint.nix
@@ -1,6 +1,7 @@
 { mkDerivation
 , stdenv
 , base
+, encoding, data-default
 }:
 
 mkDerivation {
@@ -9,8 +10,8 @@ mkDerivation {
   src = ./.; 
   isLibrary = true;
   isExecutable = false;
-  executableHaskellDepends = [
-    base
+  libraryHaskellDepends = [
+    base encoding data-default
   ];
   homepage = "git://git.yggdrasil.li/thermoprint";
   description = "Description of formatting supported by cheap thermoprinters";
diff --git a/tprint/LICENSE b/tprint/LICENSE
new file mode 100644
index 0000000..4ad71e2
--- /dev/null
+++ b/tprint/LICENSE
@@ -0,0 +1,27 @@
+Statement of Purpose
+
+The laws of most jurisdictions throughout the world automatically confer exclusive Copyright and Related Rights (defined below) upon the creator and subsequent owner(s) (each and all, an "owner") of an original work of authorship and/or a database (each, a "Work").
+
+Certain owners wish to permanently relinquish those rights to a Work for the purpose of contributing to a commons of creative, cultural and scientific works ("Commons") that the public can reliably and without fear of later claims of infringement build upon, modify, incorporate in other works, reuse and redistribute as freely as possible in any form whatsoever and for any purposes, including without limitation commercial purposes. These owners may contribute to the Commons to promote the ideal of a free culture and the further production of creative, cultural and scientific works, or to gain reputation or greater distribution for their Work in part through the use and efforts of others.
+
+For these and/or other purposes and motivations, and without any expectation of additional consideration or compensation, the person associating CC0 with a Work (the "Affirmer"), to the extent that he or she is an owner of Copyright and Related Rights in the Work, voluntarily elects to apply CC0 to the Work and publicly distribute the Work under its terms, with knowledge of his or her Copyright and Related Rights in the Work and the meaning and intended legal effect of CC0 on those rights.
+
+1. Copyright and Related Rights. A Work made available under CC0 may be protected by copyright and related or neighboring rights ("Copyright and Related Rights"). Copyright and Related Rights include, but are not limited to, the following:
+
+the right to reproduce, adapt, distribute, perform, display, communicate, and translate a Work;
+moral rights retained by the original author(s) and/or performer(s);
+publicity and privacy rights pertaining to a person's image or likeness depicted in a Work;
+rights protecting against unfair competition in regards to a Work, subject to the limitations in paragraph 4(a), below;
+rights protecting the extraction, dissemination, use and reuse of data in a Work;
+database rights (such as those arising under Directive 96/9/EC of the European Parliament and of the Council of 11 March 1996 on the legal protection of databases, and under any national implementation thereof, including any amended or successor version of such directive); and
+other similar, equivalent or corresponding rights throughout the world based on applicable law or treaty, and any national implementations thereof.
+2. Waiver. To the greatest extent permitted by, but not in contravention of, applicable law, Affirmer hereby overtly, fully, permanently, irrevocably and unconditionally waives, abandons, and surrenders all of Affirmer's Copyright and Related Rights and associated claims and causes of action, whether now known or unknown (including existing as well as future claims and causes of action), in the Work (i) in all territories worldwide, (ii) for the maximum duration provided by applicable law or treaty (including future time extensions), (iii) in any current or future medium and for any number of copies, and (iv) for any purpose whatsoever, including without limitation commercial, advertising or promotional purposes (the "Waiver"). Affirmer makes the Waiver for the benefit of each member of the public at large and to the detriment of Affirmer's heirs and successors, fully intending that such Waiver shall not be subject to revocation, rescission, cancellation, termination, or any other legal or equitable action to disrupt the quiet enjoyment of the Work by the public as contemplated by Affirmer's express Statement of Purpose.
+
+3. Public License Fallback. Should any part of the Waiver for any reason be judged legally invalid or ineffective under applicable law, then the Waiver shall be preserved to the maximum extent permitted taking into account Affirmer's express Statement of Purpose. In addition, to the extent the Waiver is so judged Affirmer hereby grants to each affected person a royalty-free, non transferable, non sublicensable, non exclusive, irrevocable and unconditional license to exercise Affirmer's Copyright and Related Rights in the Work (i) in all territories worldwide, (ii) for the maximum duration provided by applicable law or treaty (including future time extensions), (iii) in any current or future medium and for any number of copies, and (iv) for any purpose whatsoever, including without limitation commercial, advertising or promotional purposes (the "License"). The License shall be deemed effective as of the date CC0 was applied by Affirmer to the Work. Should any part of the License for any reason be judged legally invalid or ineffective under applicable law, such partial invalidity or ineffectiveness shall not invalidate the remainder of the License, and in such case Affirmer hereby affirms that he or she will not (i) exercise any of his or her remaining Copyright and Related Rights in the Work or (ii) assert any associated claims and causes of action with respect to the Work, in either case contrary to Affirmer's express Statement of Purpose.
+
+4. Limitations and Disclaimers.
+
+No trademark or patent rights held by Affirmer are waived, abandoned, surrendered, licensed or otherwise affected by this document.
+Affirmer offers the Work as-is and makes no representations or warranties of any kind concerning the Work, express, implied, statutory or otherwise, including without limitation warranties of title, merchantability, fitness for a particular purpose, non infringement, or the absence of latent or other defects, accuracy, or the present or absence of errors, whether or not discoverable, all to the greatest extent permissible under applicable law.
+Affirmer disclaims responsibility for clearing rights of other persons that may apply to the Work or any use thereof, including without limitation any person's Copyright and Related Rights in the Work. Further, Affirmer disclaims responsibility for obtaining any necessary consents, permissions or other rights required for any use of the Work.
+Affirmer understands and acknowledges that Creative Commons is not a party to this document and has no duty or obligation with respect to this CC0 or use of the Work.
\ No newline at end of file
diff --git a/tprint/Setup.hs b/tprint/Setup.hs
new file mode 100644
index 0000000..9a994af
--- /dev/null
+++ b/tprint/Setup.hs
@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain
diff --git a/tprint/src/Main.hs b/tprint/src/Main.hs
new file mode 100644
index 0000000..565295b
--- /dev/null
+++ b/tprint/src/Main.hs
@@ -0,0 +1,77 @@
+{-# LANGUAGE RecordWildCards #-}
+
+import Thermoprint
+import Thermoprint.Api
+
+import qualified BBCode (parse)
+
+import Options.Applicative
+
+import Data.Either
+import Control.Monad
+import Control.Monad.Trans.Either
+
+import System.IO
+import System.Exit
+
+import Data.Proxy
+import Servant.Client
+
+thermoprintApi :: Proxy ThermoprintApi
+thermoprintApi = Proxy
+
+data Options = Options
+               { baseUrl :: BaseUrl
+               , printerId :: Integer
+               , dryRun :: Bool
+               }
+
+options :: Parser Options
+options = Options
+          <$> option baseUrlReader (
+            long "url"
+            <> short 'u'
+            <> metavar "URL"
+            <> help "The base url of the api"
+            <> value (BaseUrl Http "localhost" 8080)
+            <> showDefaultWith showBaseUrl
+            )
+          <*> option auto (
+            long "printer"
+            <> short 'p'
+            <> metavar "INT"
+            <> help "The number of the printer to use"
+            <> value 0
+            <> showDefault
+            )
+          <*> flag False True (
+            long "dry-run"
+            <> short 'd'
+            <> help "Instead of sending data to printer output the parsed stream to stderr"
+            <> showDefault
+            )
+  where
+    baseUrlReader = str >>= either readerError return . parseBaseUrl
+
+main :: IO ()
+main = execParser opts >>= main'
+  where
+    opts = info (helper <*> options) (
+      fullDesc
+      <> header "tprint - A cli tool for interfacing with the REST api as provided by thermoprint-servant"
+      )
+
+    main' Options{..} = do
+      let
+        print :: Integer -> Block String -> EitherT ServantError IO ()
+        print = client thermoprintApi baseUrl
+      input <- BBCode.parse `liftM` getContents
+      input' <- either (\err -> hPutStrLn stderr ("Parse error: " ++ err) >> exitFailure) return input
+      case dryRun of
+        False -> do
+          res <- runEitherT $ print printerId input'
+          case res of
+            Left err -> hPutStrLn stderr $ show err
+            Right _ -> exitSuccess
+        True -> do
+          hPutStrLn stderr $ show input'
diff --git a/tprint/tprint.cabal b/tprint/tprint.cabal
new file mode 100644
index 0000000..a5d2a61
--- /dev/null
+++ b/tprint/tprint.cabal
@@ -0,0 +1,31 @@
+-- Initial tprint.cabal generated by cabal init.  For further 
+-- documentation, see http://haskell.org/cabal/users-guide/
+
+name:                tprint
+version:             0.0.0
+synopsis:            A cli-tool for interfacing with thermoprint-servant
+-- description:         
+homepage:            git://git.yggdrasil.li/thermoprint
+license:             PublicDomain
+license-file:        LICENSE
+author:              Gregor Kleen
+maintainer:          aethoago@141.li
+-- copyright:           
+-- category:            
+build-type:          Simple
+-- extra-source-files:  
+cabal-version:       >=1.10
+
+executable tprint
+  main-is:             Main.hs
+  -- other-modules:       
+  -- other-extensions:    
+  hs-source-dirs:      src
+  default-language:    Haskell2010
+  build-depends:       base >=4.8 && <4.9
+                     , thermoprint
+                     , thermoprint-servant
+                     , bbcode
+                     , optparse-applicative >=0.11.0 && <1
+                     , servant-client >=0.4.4 && <1
+                     , either >=4.4.1 && <5
\ No newline at end of file
diff --git a/tprint/tprint.nix b/tprint/tprint.nix
new file mode 100644
index 0000000..cce38c4
--- /dev/null
+++ b/tprint/tprint.nix
@@ -0,0 +1,20 @@
+{ mkDerivation
+, stdenv
+, base
+, thermoprint-servant, thermoprint, bbcode
+, optparse-applicative, servant-client
+}:
+mkDerivation {
+  pname = "tprint";
+  version = "0.0.0";
+  src = ./.;
+  isLibrary = false;
+  isExecutable = true;
+  executableHaskellDepends = [ base
+                               thermoprint thermoprint-servant bbcode
+                               optparse-applicative servant-client
+                             ];
+  homepage = "git://git.yggdrasil.li/thermoprint";
+  description = "A cli-tool for interfacing with thermoprint-servant";
+  license = stdenv.lib.licenses.publicDomain;
+}