Contents

import Test.Hspec        (Spec, it)
import Test.Hspec.Runner (configFastFail, defaultConfig, hspecWith)
import Test.QuickCheck   (Positive(Positive), property)

import qualified Numeric as Num (showOct)

import Octal (readOct, showOct)

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

specs :: Spec
specs = do

    it "can show Int octal" $
      property $ \(Positive n) -> Num.showOct n "" == showOct (n :: Int)

    it "can show Integer octal" $
      property $ \(Positive n) -> Num.showOct n "" == showOct (n :: Integer)

    it "can read Int octal" $
      property $ \(Positive n) -> n == readOct (Num.showOct (n :: Int) "")

    it "can read Integer octal" $
      property $ \(Positive n) -> n == readOct (Num.showOct (n :: Integer) "")

Version data entries

229 entries across 229 versions & 1 rubygems

Version	Path
trackler-2.2.1.180	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.179	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.178	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.177	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.176	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.175	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.174	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.173	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.172	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.171	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.170	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.169	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.167	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.166	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.165	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.164	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.163	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.162	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.161	tracks/haskell/exercises/octal/test/Tests.hs
trackler-2.2.1.160	tracks/haskell/exercises/octal/test/Tests.hs