From fafdbec2cb64f11513bfe3a0a220562de97d9e36 Mon Sep 17 00:00:00 2001
From: Sam T <pxqr.sta@gmail.com>
Date: Sun, 12 May 2013 07:25:41 +0400
Subject: ~ Remove orphaned scheme validation.

---
 src/Remote/KRPC/Method.hs   | 14 --------------
 src/Remote/KRPC/Protocol.hs | 45 ++-------------------------------------------
 2 files changed, 2 insertions(+), 57 deletions(-)

(limited to 'src')

diff --git a/src/Remote/KRPC/Method.hs b/src/Remote/KRPC/Method.hs
index 4283256b..4d91fe47 100644
--- a/src/Remote/KRPC/Method.hs
+++ b/src/Remote/KRPC/Method.hs
@@ -9,7 +9,6 @@
 {-# LANGUAGE FlexibleInstances, UndecidableInstances #-}
 module Remote.KRPC.Method
        ( Method(methodName, methodParams, methodVals)
-       , methodQueryScheme, methodRespScheme
 
          -- * Construction
        , method
@@ -18,10 +17,6 @@ module Remote.KRPC.Method
        , idM
        ) where
 
-import Control.Applicative
-import Data.BEncode
-import Data.Set as S
-
 import Remote.KRPC.Protocol
 
 
@@ -43,15 +38,6 @@ data Method param result = Method {
     -- | Description of each return value in /right to left/ order.
   , methodVals   :: [ValName]
   }
-methodQueryScheme :: Method a b -> KQueryScheme
-methodQueryScheme = KQueryScheme <$> methodName
-                                 <*> S.fromList . methodParams
-{-# INLINE methodQueryScheme #-}
-
-
-methodRespScheme :: Method a b -> KResponseScheme
-methodRespScheme = KResponseScheme . S.fromList . methodVals
-{-# INLINE methodRespScheme #-}
 
 -- TODO ppMethod
 
diff --git a/src/Remote/KRPC/Protocol.hs b/src/Remote/KRPC/Protocol.hs
index 7351831b..133c899a 100644
--- a/src/Remote/KRPC/Protocol.hs
+++ b/src/Remote/KRPC/Protocol.hs
@@ -17,19 +17,15 @@
 {-# LANGUAGE DefaultSignatures #-}
 module Remote.KRPC.Protocol
        (
-         -- * Message
-         KMessage(..)
 
          -- * Error
-       , KError(..), errorCode, mkKError
+         KError(..), errorCode, mkKError
 
          -- * Query
        , KQuery(queryMethod, queryArgs), MethodName, ParamName, kquery
-       , KQueryScheme(KQueryScheme, qscMethod, qscParams)
 
          -- * Response
        , KResponse(respVals), ValName, kresponse
-       , KResponseScheme(KResponseScheme, rscVals)
 
        , sendMessage, recvResponse
 
@@ -52,28 +48,11 @@ import Data.ByteString as B
 import Data.ByteString.Char8 as BC
 import qualified Data.ByteString.Lazy as LB
 import Data.Map as M
-import Data.Set as S
 
 import Network.Socket hiding (recvFrom)
 import Network.Socket.ByteString
 
 
-
--- | Used to validate message by its scheme
---
---  forall m. m `validate` scheme m
---
-class KMessage message scheme | message -> scheme where
-  -- | Get a message scheme.
-  scheme :: message -> scheme
-
-  -- | Check a message with a scheme.
-  validate :: message -> scheme -> Bool
-
-  default validate :: Eq scheme => message -> scheme -> Bool
-  validate = (==) . scheme
-  {-# INLINE validate #-}
-
 -- TODO Text -> ByteString
 -- TODO document that it is and how transferred
 data KError
@@ -102,11 +81,6 @@ instance BEncodable KError where
 
   fromBEncode _ = decodingError "KError"
 
-instance KMessage KError ErrorCode where
-  {-# SPECIALIZE instance KMessage KError ErrorCode #-}
-  scheme = errorCode
-  {-# INLINE scheme #-}
-
 type ErrorCode = Int
 
 errorCode :: KError -> ErrorCode
@@ -157,15 +131,8 @@ kquery :: MethodName -> [(ParamName, BEncode)] -> KQuery
 kquery name args = KQuery name (M.fromList args)
 {-# INLINE kquery #-}
 
-data KQueryScheme = KQueryScheme {
-    qscMethod :: MethodName
-  , qscParams :: Set ParamName
-  } deriving (Show, Read, Eq, Ord)
 
-instance KMessage KQuery KQueryScheme where
-  {-# SPECIALIZE instance KMessage KQuery KQueryScheme #-}
-  scheme q = KQueryScheme (queryMethod q) (M.keysSet (queryArgs q))
-  {-# INLINE scheme #-}
+
 
 type ValName = ByteString
 
@@ -191,14 +158,6 @@ kresponse :: [(ValName, BEncode)] -> KResponse
 kresponse = KResponse . M.fromList
 {-# INLINE kresponse #-}
 
-newtype KResponseScheme = KResponseScheme {
-    rscVals :: Set ValName
-  } deriving (Show, Read, Eq, Ord)
-
-instance KMessage KResponse KResponseScheme where
-  {-# SPECIALIZE instance KMessage KResponse KResponseScheme #-}
-  scheme = KResponseScheme . keysSet . respVals
-  {-# INLINE scheme #-}
 
 
 type KRemoteAddr = (HostAddress, PortNumber)
-- 
cgit v1.2.3