first commit

Author: superfashi

.gitignore

@@ -0,0 +1,2 @@
+.stack-work/
+*~

CHANGELOG.md

@@ -0,0 +1,11 @@
+# Changelog for `tlvmmt`
+
+All notable changes to this project will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
+and this project adheres to the
+[Haskell Package Versioning Policy](https://pvp.haskell.org/).
+
+## Unreleased
+
+## 0.1.0.0 - YYYY-MM-DD

LICENSE

@@ -0,0 +1,12 @@
+Copyright (C) 2023 by SuperFashi <[email protected]>
+
+Permission to use, copy, modify, and/or distribute this software for
+any purpose with or without fee is hereby granted.
+
+THE SOFTWARE IS PROVIDED “AS IS” AND THE AUTHOR DISCLAIMS ALL
+WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES
+OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE
+FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY
+DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN
+AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
+OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.

README.md

@@ -0,0 +1 @@
+# tlvmmt

Setup.hs

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

app/Main.hs

@@ -0,0 +1,32 @@
+module Main (main) where
+
+import Control.Monad.Trans.Class (lift)
+import Data.Binary (get)
+import Data.Binary.Get (Decoder (..), runGetIncremental)
+import qualified Data.ByteString as B (null)
+import qualified Data.ByteString.Lazy as L (readFile)
+import qualified Data.ByteString.Lazy.Internal as L (ByteString (Chunk, Empty), chunk)
+import Data.Int (Int64)
+import Lib (TLVPacket)
+import ListT (ListT, cons)
+import qualified ListT (head)
+import Text.Show.Pretty (pPrint)
+
+parseTLVPackets :: MonadFail m => Decoder TLVPacket -> (Int64, L.ByteString) -> ListT m TLVPacket
+parseTLVPackets (Fail _ loc e) (br, _) = lift $ fail $ "error parse at " ++ show (br + loc) ++ ": " ++ e
+parseTLVPackets (Done r _ p) (_, L.Empty) | B.null r = return p
+parseTLVPackets (Done r o p) (br, input) = cons p $ parseTLVPackets (runGetIncremental get) (o + br, L.chunk r input)
+parseTLVPackets (Partial k) (br, L.Empty) = parseTLVPackets (k Nothing) (br, L.Empty)
+parseTLVPackets (Partial k) (br, L.Chunk bs input) = parseTLVPackets (k (Just bs)) (br, input)
+
+main :: IO ()
+main = do
+  file <- L.readFile "F:\\29999.mmts"
+  let packets = parseTLVPackets (runGetIncremental get) (0, file)
+  len <- ListT.head packets
+  pPrint len
+
+-- list <- toList $ parseTLVPackets (runGetIncremental get) file
+-- print list
+
+-- mapM_ print $ runGet (parseLimitPacket 2) input

package.yaml

@@ -0,0 +1,66 @@
+name:                tlvmmt
+version:             0.1.0.0
+github:              "superfashi/tlvmmt"
+license:             0BSD
+author:              "SuperFashi"
+maintainer:          "[email protected]"
+copyright:           "2023 SuperFashi"
+
+extra-source-files:
+- README.md
+- CHANGELOG.md
+
+# Metadata used when publishing your package
+# synopsis:            Short description of your package
+# category:            Web
+
+# To avoid duplicated efforts in documentation and dealing with the
+# complications of embedding Haddock markup inside cabal files, it is
+# common to point users to the README.md file.
+description:         Please see the README on GitHub at <https://github.com/superfashi/tlvmmt#readme>
+
+dependencies:
+- base >= 4.15 && < 5
+- binary
+- bytestring
+
+ghc-options:
+- -Wall
+- -Wcompat
+- -Widentities
+- -Wincomplete-record-updates
+- -Wincomplete-uni-patterns
+- -Wmissing-export-lists
+- -Wmissing-home-modules
+- -Wpartial-fields
+- -Wredundant-constraints
+
+library:
+  source-dirs: src
+  dependencies:
+  - extra
+
+executables:
+  tlvmmt-exe:
+    main:                Main.hs
+    source-dirs:         app
+    ghc-options:
+    - -threaded
+    - -rtsopts
+    - -with-rtsopts=-N
+    dependencies:
+    - tlvmmt
+    - list-t
+    - transformers
+    - pretty-show
+
+tests:
+  tlvmmt-test:
+    main:                Spec.hs
+    source-dirs:         test
+    ghc-options:
+    - -threaded
+    - -rtsopts
+    - -with-rtsopts=-N
+    dependencies:
+    - tlvmmt

src/Common.hs

@@ -0,0 +1,54 @@
+module Common where
+
+import Data.Binary (Binary (..), Get, Word8)
+import Data.Binary.Get
+  ( Decoder (..),
+    isEmpty,
+    pushChunks,
+    pushEndOfInput,
+    runGetIncremental,
+  )
+import qualified Data.ByteString as B
+import Data.ByteString.Lazy (ByteString)
+
+data FragmentationIndicator
+  = FragmentationIndicatorUndivided
+  | FragmentationIndicatorDividedHead
+  | FragmentationIndicatorDividedBody
+  | FragmentationIndicatorDividedEnd
+  deriving (Show, Enum)
+
+data ISO639LanguageCode = ISO639LanguageCode Word8 Word8 Word8
+
+instance Show ISO639LanguageCode where
+  show (ISO639LanguageCode a b c) =
+    [ toEnum $ fromIntegral a,
+      toEnum $ fromIntegral b,
+      toEnum $ fromIntegral c
+    ]
+
+instance Binary ISO639LanguageCode where
+  get = ISO639LanguageCode <$> get <*> get <*> get
+  put (ISO639LanguageCode a b c) = put a >> put b >> put c
+
+consumeAll :: Get a -> ByteString -> Get a
+consumeAll g bs = do
+  case pushEndOfInput $ runGetIncremental g `pushChunks` bs of
+    Fail _ loc err -> fail $ "error at " ++ show loc ++ ": " ++ err
+    Partial _ -> fail "not enough bytes"
+    -- Done _ _ a -> return a
+    Done r _ a -> if B.null r then return a else fail "unconsumed input"
+
+repeatRead :: Get a -> Get [a]
+repeatRead g = do
+  end <- isEmpty
+  if end
+    then return []
+    else do
+      a <- g
+      as <- repeatRead g
+      return $ a : as
+
+readN :: Binary a => Word8 -> Get [a]
+readN 0 = return []
+readN n = (:) <$> get <*> readN (n - 1)