{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TypeApplications #-}
module HUnit.Credential where

import qualified Control.Monad.Trans.State.Strict as S
import qualified System.Random as Random

import Protocol.Credential
import HUnit.Utils

hunit :: TestTree
hunit = testGroup "Credential"
 [ testGroup "randomCredential"
	 [ testCase "0" $
		S.evalState randomCredential (Random.mkStdGen 0) @?=
			Credential "xLcs7ev6Jy6FHHE"
	 ]
 , testGroup "readCredential" $
		let (==>) inp exp =
			testCase (show inp) $ readCredential inp @?= exp in
	 [ "" ==> Left CredentialError_Length
	 , "xLcs7ev6Jy6FH_E"  ==> Left (CredentialError_BadChar '_')
	 , "xLcs7ev6Jy6FHIE"  ==> Left (CredentialError_BadChar 'I')
	 , "xLcs7ev6Jy6FH0E"  ==> Left (CredentialError_BadChar '0')
	 , "xLcs7ev6Jy6FHOE"  ==> Left (CredentialError_BadChar 'O')
	 , "xLcs7ev6Jy6FHlE"  ==> Left (CredentialError_BadChar 'l')
	 , "xLcs7ev6Jy6FH6"   ==> Left CredentialError_Length
	 , "xLcs7ev6Jy6FHHy1" ==> Left CredentialError_Length
	 , "xLcs7ev6Jy6FHHF"  ==> Left CredentialError_Checksum
	 , "xLcs7ev6Jy6FHHE"  ==> Right (Credential "xLcs7ev6Jy6FHHE")
	 ]
 ]