1 files changed, 36 insertions, 1 deletions

diff --git a/src/Data/BEncode/Types.hs b/src/Data/BEncode/Types.hs
index fae90fe..15f570f 100644
--- a/src/Data/BEncode/Types.hs
+++ b/src/Data/BEncode/Types.hs
@@ -8,11 +8,18 @@
 --   Types for working with bencode data.
 --
 module Data.BEncode.Types
-       ( BInteger
+       ( -- * Types
+         BInteger
        , BString
        , BList
        , BDict
        , BValue (..)
+
+         -- * Predicates
+       , isInteger
+       , isString
+       , isList
+       , isDict
        ) where
 
 import Control.DeepSeq
@@ -49,3 +56,31 @@ instance NFData BValue where
     rnf (BString  s) = rnf s
     rnf (BList    l) = rnf l
     rnf (BDict    d) = rnf d
+
+{--------------------------------------------------------------------
+  Predicates
+--------------------------------------------------------------------}
+
+-- | Test if bencoded value is an integer.
+isInteger :: BValue -> Bool
+isInteger (BInteger _) = True
+isInteger _            = False
+{-# INLINE isInteger #-}
+
+-- | Test if bencoded value is a string, both raw and utf8 encoded.
+isString :: BValue -> Bool
+isString (BString _) = True
+isString _           = False
+{-# INLINE isString #-}
+
+-- | Test if bencoded value is a list.
+isList :: BValue -> Bool
+isList (BList _) = True
+isList _         = False
+{-# INLINE isList #-}
+
+-- | Test if bencoded value is a dictionary.
+isDict :: BValue -> Bool
+isDict (BList _) = True
+isDict _         = False
+{-# INLINE isDict #-}