getmodtime.hs
来自「Haskell是一种程序语言。特别的」· HS 代码 · 共 32 行
HS
32 行
-----------------------------------------------------------------------------
-- |
-- Module : Getmodtime
-- Copyright : Thomas Hallgren
--
-- Maintainer : Malcolm Wallace <Malcolm.Wallace@cs.york.ac.uk>
-- Stability : Stable
-- Portability : All
--
-- Modification time functionality, especially "When"
-----------------------------------------------------------------------------
module Getmodtime(isOlder, show_When, When(..)) where
import Time
-- | One of Never modified, or modified At a ClockTime
data When = Never | At ClockTime deriving (Eq, Ord)
instance Show When where
showsPrec d Never = showString "Never"
showsPrec d (At i) = showString ("At "++show i)
show_When Never = "Never"
show_When (At t) = show t
isOlder :: When -> When -> Bool
isOlder Never _ = True
isOlder _ Never = False
isOlder (At t1) (At t2) = t1 < t2
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?