import Test.QuickCheck
import qualified Data.Text as T
import Data.Text.Arbitrary
import Data.Text.CP437

compareChars :: (Char, Char) -> Bool
compareChars (a, b) = a == b || b == '\x0'

propReversableInRange :: T.Text -> Bool
propReversableInRange t = all compareChars (T.zip t (cp437ToText (textToCp437 t)))

main :: IO ()
main = quickCheck propReversableInRange