Contents

import Data.Char         (intToDigit)
import Test.Hspec        (Spec, describe, it)
import Test.Hspec.Runner (configFastFail, defaultConfig, hspecWith)
import Test.QuickCheck   (Positive(Positive), (==>), property)

import qualified Numeric as Num (showIntAtBase)

import Trinary (readTri, showTri)

main :: IO ()
main = hspecWith defaultConfig {configFastFail = True} specs

specs :: Spec
specs = describe "trinary" $ do

    -- As of 2016-08-10, there was no reference file
    -- for the test cases in `exercism/x-common`.

    let refShowTri n = Num.showIntAtBase 3 intToDigit n ""

    it "can show Int trinary" $
      property $ \(Positive n) -> refShowTri n == showTri (n :: Int)

    it "can show Integer trinary" $
      property $ \(Positive n) -> refShowTri n == showTri (n :: Integer)

    it "can read Int trinary" $
      property $ \(Positive n) -> n == readTri (refShowTri (n :: Int))

    it "can read Integer trinary" $
      property $ \(Positive n) -> n == readTri (refShowTri (n :: Integer))

    it "can read invalid trinary" $
      \n -> any (`notElem` ['0'..'2']) (show n) ==> (readTri . show $ n) == (0 :: Int)

Version data entries

165 entries across 165 versions & 1 rubygems

Version	Path
trackler-2.1.0.9	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.1.0.8	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.1.0.7	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.1.0.6	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.1.0.5	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.1.0.4	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.1.0.3	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.1.0.2	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.1.0.1	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.1.0.0	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.0.8.55	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.0.8.54	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.0.8.53	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.0.8.52	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.0.8.51	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.0.8.50	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.0.8.49	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.0.8.48	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.0.8.47	tracks/haskell/exercises/trinary/test/Tests.hs
trackler-2.0.8.46	tracks/haskell/exercises/trinary/test/Tests.hs