[Haskell-cafe] Sillyness in the standard libs.

2007-11-19 Thread Arthur van Leeuwen
LS, here is a puzzle for you: try converting a System.Posix.Types.EpochTime into either a System.Time.CalendarTime or a Data.Time.Clock.UTCTime without going through read . show or a similar detour through strings. The problem comes up when trying to easily nicely display the access,

Re: [Haskell-cafe] Sillyness in the standard libs.

2007-11-19 Thread Brandon S. Allbery KF8NH
On Nov 19, 2007, at 16:06 , Arthur van Leeuwen wrote: here is a puzzle for you: try converting a System.Posix.Types.EpochTime into either a System.Time.CalendarTime or a Data.Time.Clock.UTCTime without going through read . show or a similar detour through strings. fromEnum and/or toEnum

Re: [Haskell-cafe] Sillyness in the standard libs.

2007-11-19 Thread Henning Thielemann
On Mon, 19 Nov 2007, Brandon S. Allbery KF8NH wrote: On Nov 19, 2007, at 16:06 , Arthur van Leeuwen wrote: here is a puzzle for you: try converting a System.Posix.Types.EpochTime into either a System.Time.CalendarTime or a Data.Time.Clock.UTCTime without going through read . show or

Re: [Haskell-cafe] Sillyness in the standard libs.

2007-11-19 Thread Andrew Coppin
Arthur van Leeuwen wrote: A closely related issue: fromIntegral is in Integral which also requires quotRem. However, the two are semantically quite disjoint. I can *easily* see the semantics of fromIntegral on EpochTime, but not the semantics of quotRem on EpochTime. Having

Re: [Haskell-cafe] Sillyness in the standard libs.

2007-11-19 Thread Henning Thielemann
On Mon, 19 Nov 2007, Andrew Coppin wrote: Arthur van Leeuwen wrote: A closely related issue: fromIntegral is in Integral which also requires quotRem. However, the two are semantically quite disjoint. I can *easily* see the semantics of fromIntegral on EpochTime, but not the

Re: [Haskell-cafe] Sillyness in the standard libs.

2007-11-19 Thread Brandon S. Allbery KF8NH
On Nov 19, 2007, at 16:50 , Henning Thielemann wrote: On Mon, 19 Nov 2007, Brandon S. Allbery KF8NH wrote: fromEnum and/or toEnum are helpful for this kind of thing, and I am occasionally tempted to bind cast = toEnum . fromEnum because I need it so much. Really? I'd like to know which

Re: [Haskell-cafe] Sillyness in the standard libs.

2007-11-19 Thread Brandon S. Allbery KF8NH
On Nov 19, 2007, at 17:10 , Brandon S. Allbery KF8NH wrote: CTime; POSIX allows (or used to allow) it to be a floating type in order to allow some non-UNIXlikes to represent POSIX times. But given that CTime is Enum, Foreign.C.Types already violates this; so why isn't it Hrm, not