blob: 9b2e73065ec0dec4cf4f749da5f43a4d1b39d4f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
{-# LANGUAGE OverloadedStrings #-}
{-# OPTIONS -fno-warn-orphans #-}
module Data.ByteString.Base32.HexSpec ( spec ) where
import Control.Applicative
import Data.ByteString as BS
import Data.ByteString.Char8 as BC
import Data.ByteString.Base32.Hex
import Data.Char
import Test.Hspec
import Test.QuickCheck
instance Arbitrary ByteString where
arbitrary = BS.pack <$> arbitrary
spec :: Spec
spec = do
describe "encode" $ do
it "conform rfc examples" $ do
encode "" `shouldBe` ""
encode "f" `shouldBe` "CO======"
encode "fo" `shouldBe` "CPNG===="
encode "foo" `shouldBe` "CPNMU==="
encode "foob" `shouldBe` "CPNMUOG="
encode "fooba" `shouldBe` "CPNMUOJ1"
encode "foobar" `shouldBe` "CPNMUOJ1E8======"
describe "decode" $ do
it "conform rfc examples" $ do
decode "" `shouldBe` Right ""
decode "CO======" `shouldBe` Right "f"
decode "CPNG====" `shouldBe` Right "fo"
decode "CPNMU===" `shouldBe` Right "foo"
decode "CPNMUOG=" `shouldBe` Right "foob"
decode "CPNMUOJ1" `shouldBe` Right "fooba"
decode "CPNMUOJ1E8======" `shouldBe` Right "foobar"
it "inverse for encode" $ property $ \bs ->
decode (encode bs) == Right bs
it "case insensitive" $ property $ \bs ->
decode (BC.map toLower (encode bs)) == Right bs
it "fail gracefully if encoded data contains non alphabet chars" $ do
decode "#=======" `shouldBe` Left "'#' is not base32 character"
decode "AAAAAAAA#=======" `shouldBe` Left "'#' is not base32 character"
describe "decodeLenient" $ do
it "conform RFC examples" $ do
decode "" `shouldBe` Right ""
decode "CO======" `shouldBe` Right "f"
decode "CPNG====" `shouldBe` Right "fo"
decode "CPNMU===" `shouldBe` Right "foo"
decode "CPNMUOG=" `shouldBe` Right "foob"
decode "CPNMUOJ1" `shouldBe` Right "fooba"
decode "CPNMUOJ1E8======" `shouldBe` Right "foobar"
it "inverse for encode" $ property $ \bs ->
decodeLenient (encode bs) == Right bs
it "case insensitive" $ property $ \bs ->
decodeLenient (BC.map toLower (encode bs)) == Right bs
it "skip non alphabet chars" $ do
decodeLenient "|" `shouldBe` Right ""
decodeLenient "C|O" `shouldBe` Right "f"
|
