diff options
author | Sam Truzjan <pxqr.sta@gmail.com> | 2013-12-19 02:26:23 +0400 |
---|---|---|
committer | Sam Truzjan <pxqr.sta@gmail.com> | 2013-12-19 02:26:23 +0400 |
commit | 69c1dc3c0e2a18ed43018fdbdd63bfe1a2212618 (patch) | |
tree | 31943a46e2033a7e0a0f4c9d625bcaac51eab97c /src/Network/KRPC | |
parent | f349e9427db4a1b35d0af6801f6ad00b8a17991e (diff) |
Remove Scheme module
Diffstat (limited to 'src/Network/KRPC')
-rw-r--r-- | src/Network/KRPC/Scheme.hs | 82 |
1 files changed, 0 insertions, 82 deletions
diff --git a/src/Network/KRPC/Scheme.hs b/src/Network/KRPC/Scheme.hs deleted file mode 100644 index 244f035d..00000000 --- a/src/Network/KRPC/Scheme.hs +++ /dev/null | |||
@@ -1,82 +0,0 @@ | |||
1 | -- | | ||
2 | -- Copyright : (c) Sam Truzjan 2013 | ||
3 | -- License : BSD3 | ||
4 | -- Maintainer : pxqr.sta@gmail.com | ||
5 | -- Stability : experimental | ||
6 | -- Portability : portable | ||
7 | -- | ||
8 | -- This module provides message scheme validation for core protocol | ||
9 | -- messages from 'Remote.KRPC.Procotol'. This module should be used | ||
10 | -- with 'Remote.KRPC.Protocol', otherwise (if you are using 'Remote.KRPC') | ||
11 | -- this module seems to be useless. | ||
12 | -- | ||
13 | {-# LANGUAGE DefaultSignatures #-} | ||
14 | {-# LANGUAGE TypeSynonymInstances #-} | ||
15 | {-# LANGUAGE MultiParamTypeClasses #-} | ||
16 | {-# LANGUAGE FunctionalDependencies #-} | ||
17 | module Network.KRPC.Scheme | ||
18 | ( KMessage(..) | ||
19 | , KQueryScheme(..), methodQueryScheme | ||
20 | , KResponseScheme(..), methodRespScheme | ||
21 | ) where | ||
22 | |||
23 | import Control.Applicative | ||
24 | import Data.BEncode.BDict as BS | ||
25 | import Data.BEncode.Types as BS | ||
26 | |||
27 | import Network.KRPC.Protocol | ||
28 | import Network.KRPC | ||
29 | |||
30 | |||
31 | -- | Used to validate any message by its scheme | ||
32 | -- | ||
33 | -- forall m. m `validate` scheme m | ||
34 | -- | ||
35 | class KMessage message scheme | message -> scheme where | ||
36 | -- | Get a message scheme. | ||
37 | scheme :: message -> scheme | ||
38 | |||
39 | -- | Check a message with a scheme. | ||
40 | validate :: message -> scheme -> Bool | ||
41 | |||
42 | default validate :: Eq scheme => message -> scheme -> Bool | ||
43 | validate = (==) . scheme | ||
44 | {-# INLINE validate #-} | ||
45 | |||
46 | |||
47 | instance KMessage KError ErrorCode where | ||
48 | scheme = errorCode | ||
49 | {-# INLINE scheme #-} | ||
50 | |||
51 | data KQueryScheme = KQueryScheme { | ||
52 | qscMethod :: MethodName | ||
53 | , qscParams :: [ParamName] | ||
54 | } deriving (Show, Read, Eq, Ord) | ||
55 | |||
56 | bdictKeys :: BDict -> [BKey] | ||
57 | bdictKeys (Cons k _ xs) = k : bdictKeys xs | ||
58 | bdictKeys Nil = [] | ||
59 | |||
60 | instance KMessage KQuery KQueryScheme where | ||
61 | scheme q = KQueryScheme | ||
62 | { qscMethod = queryMethod q | ||
63 | , qscParams = bdictKeys $ queryArgs q | ||
64 | } | ||
65 | {-# INLINE scheme #-} | ||
66 | |||
67 | methodQueryScheme :: Method a b -> KQueryScheme | ||
68 | methodQueryScheme = KQueryScheme <$> methodName <*> methodParams | ||
69 | {-# INLINE methodQueryScheme #-} | ||
70 | |||
71 | newtype KResponseScheme = KResponseScheme | ||
72 | { rscVals :: [ValName] | ||
73 | } deriving (Show, Read, Eq, Ord) | ||
74 | |||
75 | instance KMessage KResponse KResponseScheme where | ||
76 | {-# SPECIALIZE instance KMessage KResponse KResponseScheme #-} | ||
77 | scheme = KResponseScheme . bdictKeys . respVals | ||
78 | {-# INLINE scheme #-} | ||
79 | |||
80 | methodRespScheme :: Method a b -> KResponseScheme | ||
81 | methodRespScheme = KResponseScheme . methodVals | ||
82 | {-# INLINE methodRespScheme #-} | ||