Advertisement
Guest User

Untitled

a guest
Jul 19th, 2019
77
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.61 KB | None | 0 0
  1. module Page367 where
  2.  
  3. import Data.Time
  4.  
  5. data DatabaseItem = DbString String
  6. | DbNumber Integer
  7. | DbDate UTCTime
  8. deriving (Eq, Ord, Show)
  9.  
  10. theDatabase :: [DatabaseItem]
  11. theDatabase =
  12. [ DbDate (UTCTime
  13. (fromGregorian 1911 5 1)
  14. (secondsToDiffTime 34123))
  15. , DbNumber 9001
  16. , DbString "Hello, world!"
  17. , DbDate (UTCTime (fromGregorian 1921 5 1) (secondsToDiffTime 34123))
  18. ]
  19.  
  20. getTime :: DatabaseItem -> Maybe UTCTime
  21. getTime (DbDate t) = Just t
  22. getTime _ = Nothing
  23.  
  24. filterDbDate :: [DatabaseItem] -> [Maybe UTCTime]
  25. filterDbDate x = [ getTime d | d <- x ]
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement