data-type-0.0.1: Data/Type/Test/Nat.hs

-- .$Header$
module Data.Type.Test.Nat where

import Data.Type.Nat

import Test.HUnit

bindTo = (=<<)

t0 :: Test
t0 = "fromNat zero" ~: 0 ~=? fromNat zero

t1 :: Test
t1 = "fromNat one" ~: 1 ~=? fromNat one

t2 :: Test
t2 = "fromNat two" ~: 2 ~=? fromNat two

t3 :: Test
t3 = "fromNat three" ~: 3 ~=? fromNat three

runTest :: IO ()
runTest = bindTo print . runTestTT $ test [t0, t1, t2, t3]

-- vim: expandtab:tabstop=4:shiftwidth=4