hora-2.2.1: test/Test/TestDmyHm.hs
module Test.TestDmyHm where
import Data.Time.Hora.Type
import Test.Hspec
main :: SpecWith ()
main = describe "Test.TestDmyHm" $ do
it "case 1" $ do
a1 `shouldSatisfy` (< b1)
where a1 = DatePart {
year = 2016,
month = 10,
day = 3,
hour = 15,
minute = 23,
second = 10,
pico = 123456
}::DatePart Int
b1 = DatePart {
year = 2016,
month = 10,
day = 3,
hour = 15,
minute = 24,
second = 10,
pico = 123456
}::DatePart Int