From b8125ca1c38274d4323d976996355e5f14b264ed Mon Sep 17 00:00:00 2001
From: Sam T <sta.cs.vsu@gmail.com>
Date: Wed, 3 Apr 2013 01:10:26 +0400
Subject: + torrent metainfo

---
 src/Data/Torrent.hs | 151 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 151 insertions(+)
 create mode 100644 src/Data/Torrent.hs

diff --git a/src/Data/Torrent.hs b/src/Data/Torrent.hs
new file mode 100644
index 00000000..53ec4ff8
--- /dev/null
+++ b/src/Data/Torrent.hs
@@ -0,0 +1,151 @@
+{-# OPTIONS -fno-warn-orphans #-}
+{-# LANGUAGE OverloadedStrings #-}
+-- | This module provides torrent metainfo serialization.
+module Data.Torrent
+       ( Torrent(..), TorrentInfo(..), TorrentFile(..)
+       , fromFile
+       ) where
+
+import Control.Applicative
+import Control.Monad
+import qualified Data.Map as M
+import           Data.ByteString (ByteString)
+import qualified Data.ByteString as B
+import qualified Data.ByteString.Char8 as BC (pack, unpack)
+import           Data.Text (Text)
+import Crypto.Hash.SHA1
+import Data.BEncode
+import Network.URL
+
+type Time = Text
+
+-- TODO comment fields
+-- TODO more convenient form of torrent info.
+data Torrent = Torrent {
+      tInfoHash     :: ByteString
+    , tAnnounce     ::       URL
+    , tAnnounceList :: Maybe [[URL]]
+    , tComment      :: Maybe Text
+    , tCreatedBy    :: Maybe ByteString
+    , tCreationDate :: Maybe Time
+    , tEncoding     :: Maybe ByteString
+    , tInfo         :: TorrentInfo
+    , tPublisher    :: Maybe URL
+    , tPublisherURL :: Maybe URL
+    } deriving Show
+
+data TorrentInfo =
+    SingleFile {
+      tLength       :: Int
+    , tMD5sum       :: Maybe ByteString
+    , tName         :: ByteString
+
+    , tPieceLength  :: Int
+    , tPieces       :: ByteString -- Vector ByteString?
+    , tPrivate      :: Maybe Bool
+    }
+  | MultiFile {
+      tFiles        :: [TorrentFile]
+    , tName         :: ByteString
+
+    , tPieceLength  :: Int
+    , tPieces       :: ByteString -- Vector ByteString?
+    , tPrivate      :: Maybe Bool
+    } deriving (Show, Read, Eq)
+
+data TorrentFile = TorrentFile {
+      tfLength      :: Int
+    , tfMD5sum      :: Maybe ByteString
+    , tfPath        :: [ByteString]
+    } deriving (Show, Read, Eq)
+
+instance BEncodable URL where
+  toBEncode = toBEncode . BC.pack . exportURL -- TODO utf8 encoding
+  {-# INLINE toBEncode #-}
+
+  fromBEncode (BString s) | Just url <- importURL (BC.unpack s) = return url
+  fromBEncode b           = decodingError $ "url <" ++ show b ++ ">"
+  {-# INLINE fromBEncode #-}
+
+instance BEncodable Torrent where
+  toBEncode t = fromAscAssocs
+    [ "announce"      -->  tAnnounce t
+    , "announce-list" -->? tAnnounceList t
+    , "comment"       -->? tComment t
+    , "created by"    -->? tCreatedBy t
+    , "creation date" -->? tCreationDate t
+    , "encoding"      -->? tEncoding t
+    , "info"          -->  tInfo t
+    , "publisher"     -->? tPublisher t
+    , "publisher-url" -->? tPublisherURL t
+    ]
+
+  fromBEncode (BDict d) | Just info <- M.lookup "info" d =
+    Torrent <$> pure (hashlazy (encode info))
+            <*> d >--  "announce"
+            <*> d >--? "announce-list"
+            <*> d >--? "comment"
+            <*> d >--? "created by"
+            <*> d >--? "creation date"
+            <*> d >--? "encoding"
+            <*> d >--  "info"
+            <*> d >--? "publisher"
+            <*> d >--? "publisher-url"
+
+  fromBEncode _ = decodingError "Torrent"
+
+
+instance BEncodable TorrentInfo where
+  toBEncode ti@(SingleFile { })  = fromAscAssocs
+    [ "length"       -->  tLength ti
+    , "md5sum"       -->? tMD5sum ti
+    , "name"         -->  tName ti
+
+    , "piece length" -->  tPieceLength ti
+    , "pieces"       -->  tPieces ti
+    , "private"      -->? tPrivate ti
+    ]
+
+  toBEncode ti@(MultiFile {}) = fromAscAssocs
+    [ "files"        -->  tFiles ti
+    , "name"         -->  tName ti
+
+    , "piece length" -->  tPieceLength ti
+    , "pieces"       -->  tPieces ti
+    , "private"      -->? tPrivate ti
+    ]
+
+  fromBEncode (BDict d)
+    | Just (BList fs) <- M.lookup "files" d =
+      MultiFile   <$> mapM fromBEncode fs
+                  <*> d >--  "name"
+                  <*> d >--  "piece length"
+                  <*> d >--  "pieces"
+                  <*> d >--? "private"
+    | otherwise =
+      SingleFile  <$> d >--  "length"
+                  <*> d >--? "md5sum"
+                  <*> d >--  "name"
+                  <*> d >--  "piece length"
+                  <*> d >--  "pieces"
+                  <*> d >--? "private"
+  fromBEncode _ = decodingError "TorrentInfo"
+
+
+instance BEncodable TorrentFile where
+  toBEncode tf = fromAssocs
+                 [ "length" -->  tfLength tf
+                 , "md5sum" -->? tfMD5sum tf
+                 , "path"   -->  tfPath tf
+                 ]
+
+  fromBEncode (BDict d) =
+    TorrentFile <$> d >--  "length"
+                <*> d >--? "md5sum"
+                <*> d >--  "path"
+
+  fromBEncode _ = decodingError "TorrentFile"
+
+
+fromFile :: FilePath -> IO (Result Torrent)
+fromFile path = (fromBEncode <=< decode) <$> B.readFile path
-- 
cgit v1.2.3