git.iko.soy/typeable/random-token
on master help sign in
typeable/random-token/spec/TokenSpec.hs
12 lines 377 B history raw
1module TokenSpec where
3import Random.Token
4import Test.Hspec
5import Test.Hspec.QuickCheck
7spec :: Spec
8spec = do
9 prop "asciiToToken . tokenToAscii ~ id" $ \ (t :: Token ()) ->
10 t == (either (error . show) id $ asciiToToken $ tokenToAscii t)
11 prop "textToToken . tokenToText ~ id" $ \ (t :: Token ()) ->
12 t == (either (error . show) id $ textToToken $ tokenToText t)