module Codec.Binary.Base16
( EncIncData(..)
, EncIncRes(..)
, encodeInc
, encode
, DecIncData(..)
, DecIncRes(..)
, decodeInc
, decode
, chop
, unchop
) where
import Codec.Binary.Util
import Control.Monad
import Data.Array
import Data.Bits
import Data.Maybe
import Data.Word
import qualified Data.Map as M
_encMap =
[ (0, '0'), (1, '1'), (2, '2'), (3, '3'), (4, '4')
, (5, '5'), (6, '6'), (7, '7'), (8, '8'), (9, '9')
, (10, 'A'), (11, 'B'), (12, 'C'), (13, 'D'), (14, 'E')
, (15, 'F') ]
encodeArray :: Array Word8 Char
encodeArray = array (0, 64) _encMap
decodeMap :: M.Map Char Word8
decodeMap = M.fromList [(snd i, fst i) | i <- _encMap]
encodeInc :: EncIncData -> EncIncRes String
encodeInc EDone = EFinal []
encodeInc (EChunk os) = EPart (concat $ map toHex os) encodeInc
encode :: [Word8] -> String
encode = encoder encodeInc
decodeInc :: DecIncData String -> DecIncRes String
decodeInc d = dI [] d
where
dec2 cs = let
ds = map (flip M.lookup decodeMap) cs
es@[e1, e2] = map fromJust ds
o = e1 `shiftL` 4 .|. e2
allJust = and . map isJust
in if allJust ds
then Just o
else Nothing
dI [] DDone = DFinal [] []
dI lo DDone = DFail [] lo
dI lo (DChunk s) = doDec [] (lo ++ s)
where
doDec acc s'@(c1:c2:cs) = maybe
(DFail acc s')
(\ b -> doDec (acc ++ [b]) cs)
(dec2 [c1, c2])
doDec acc s = DPart acc (dI s)
decode :: String -> Maybe [Word8]
decode = decoder decodeInc
chop :: Int
-> String
-> [String]
chop n "" = []
chop n s = let
enc_len | n < 2 = 2
| otherwise = n `div` 2 * 2
in take enc_len s : chop n (drop enc_len s)
unchop :: [String]
-> String
unchop = foldr (++) ""