Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/include/Time.hi

Copyright © 2021 Plan 9 Foundation.
Distributed under the MIT License.
Download the Plan 9 distribution.


interface Time where {

{-# NEED #-}
instance Prelude.Bounded Month;

{-# NEED #-}
instance Prelude.Bounded Day;

{-# NEED #-}
instance Ix.Ix Month;

{-# NEED #-}
instance Ix.Ix Day;

{-# NEED #-}
instance Prelude.Read TimeDiff;

{-# NEED #-}
instance Prelude.Read Month;

{-# NEED #-}
instance Prelude.Read Day;

{-# NEED #-}
instance Prelude.Read CalendarTime;

{-# NEED #-}
instance Prelude.Show Locale.TimeLocale;

{-# NEED #-}
instance Prelude.Show TimeDiff;

{-# NEED #-}
instance Prelude.Show Month;

{-# NEED #-}
instance Prelude.Show Day;

{-# NEED #-}
instance Prelude.Show CalendarTime;

{-# NEED #-}
instance Prelude.Show ClockTime;

{-# NEED #-}
instance Prelude.Enum Month;

{-# NEED #-}
instance Prelude.Enum Day;

{-# NEED #-}
instance Prelude.Eq Locale.TimeLocale;

{-# NEED #-}
instance Prelude.Eq TimeDiff;

{-# NEED #-}
instance Prelude.Eq Month;

{-# NEED #-}
instance Prelude.Eq Day;

{-# NEED #-}
instance Prelude.Eq CalendarTime;

{-# NEED #-}
instance Prelude.Eq ClockTime;

{-# NEED #-}
instance Prelude.Ord Locale.TimeLocale;

{-# NEED #-}
instance Prelude.Ord TimeDiff;

{-# NEED #-}
instance Prelude.Ord Month;

{-# NEED #-}
instance Prelude.Ord Day;

{-# NEED #-}
instance Prelude.Ord CalendarTime;

{-# NEED #-}
instance Prelude.Ord ClockTime;
interface ! Time
{-# NEED diffClockTimes #-}
diffClockTimes{-# 2 #-}::(ClockTime -> (ClockTime -> TimeDiff));

{-# NEED calendarTimeToString #-}
calendarTimeToString{-# 0 #-}::(CalendarTime -> Prelude.String);

{-# NEED formatCalendarTime #-}
formatCalendarTime{-# 3 #-}::(Locale.TimeLocale -> (Prelude.String -> (CalendarTime -> Prelude.String)));
interface Locale
{-# NEED TimeLocale #-}
data TimeLocale;
interface ! Time
{-# NEED toCalendarTime #-}
toCalendarTime{-# 1 #-}::(ClockTime -> (NHC.Internal.IO CalendarTime));

{-# NEED getClockTime #-}
getClockTime{-# 0 #-}::(NHC.Internal.IO ClockTime);

{-# NEED addToClockTime #-}
addToClockTime{-# 2 #-}::(TimeDiff -> (ClockTime -> ClockTime));

{-# NEED {TimeDiff TimeDiff tdYear tdMonth tdDay tdHour tdMin tdSec tdPicosec} #-}
data TimeDiff
  = TimeDiff {tdYear :: Prelude.Int} {tdMonth :: Prelude.Int} {tdDay :: Prelude.Int} {tdHour :: Prelude.Int} {tdMin :: Prelude.Int} {tdSec :: Prelude.Int} {tdPicosec :: Prelude.Integer};

{-# NEED toClockTime #-}
toClockTime{-# 1 #-}::(CalendarTime -> ClockTime);

{-# NEED toUTCTime #-}
toUTCTime{-# 1 #-}::(ClockTime -> CalendarTime);

{-# NEED {CalendarTime CalendarTime ctYear ctMonth ctDay ctHour ctMin ctSec ctPicosec ctWDay ctYDay ctTZName ctTZ ctIsDST} #-}
data CalendarTime
  = CalendarTime {ctYear :: Prelude.Int} {ctMonth :: Month} {ctDay :: Prelude.Int} {ctHour :: Prelude.Int} {ctMin :: Prelude.Int} {ctSec :: Prelude.Int} {ctPicosec :: Prelude.Integer} {ctWDay :: Day} {ctYDay :: Prelude.Int} {ctTZName :: Prelude.String} {ctTZ :: Prelude.Int} {ctIsDST :: Prelude.Bool};

{-# NEED {Day Sunday Monday Tuesday Wednesday Thursday Friday Saturday} #-}
data Day
  = Sunday 
  | Monday 
  | Tuesday 
  | Wednesday 
  | Thursday 
  | Friday 
  | Saturday ;

{-# NEED {Month January February March April May June July August September October November December} #-}
data Month
  = January 
  | February 
  | March 
  | April 
  | May 
  | June 
  | July 
  | August 
  | September 
  | October 
  | November 
  | December ;

{-# NEED ClockTime #-}
data ClockTime;
interface NHC.Internal
{-# NEED IO #-}
newtype {-#  #-} IO;
}

Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2021 Plan 9 Foundation. All Rights Reserved.
Comments to webmaster@9p.io.