Sha256: 1eb0bb714775f9d80b95f7864304394fa87ffed8dea257e777d67d969196c02c

Contents?: true

Size: 791 Bytes

Versions: 217

Compression:

Stored size: 791 Bytes

Contents

module Test.Leap

import Leap

%access export

assertBool : Bool -> Bool -> IO ()
assertBool expected given = putStrLn $ if given == expected then "Test Passed" else "Test Failed"

assertTrue : Bool -> IO ()
assertTrue = assertBool True

assertFalse : Bool -> IO ()
assertFalse = assertBool False

-- year not divisible by 4: common year
test2015 : IO ()
test2015 = assertFalse (isLeap 2015)

-- year divisible by 4, not divisible by 100: leap year
test2016 : IO ()
test2016 = assertTrue (isLeap 2016)

-- year divisible by 100, not divisible by 400: common year
test2100 : IO ()
test2100 = assertFalse (isLeap 2100)

-- year divisible by 400: leap year
test2000 : IO ()
test2000 = assertTrue (isLeap 2000)

runTests : IO ()
runTests = do
    test2015
    test2016
    test2100
    test2000

Version data entries

217 entries across 217 versions & 1 rubygems

Version Path
trackler-2.2.1.100 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.99 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.98 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.97 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.96 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.95 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.94 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.93 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.92 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.91 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.90 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.89 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.88 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.87 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.86 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.85 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.84 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.83 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.82 tracks/idris/exercises/leap/src/Test/Leap.idr
trackler-2.2.1.81 tracks/idris/exercises/leap/src/Test/Leap.idr