Pact.Time.Internal

This is an internal module. No guarantee is provided regarding the stability of the functions in this module. Use at your own risk.

Documentation

type Micros = Int64

type Day = Int

NominalDiffTime

newtype NominalDiffTime

A time interval as measured by UTC, that does not take leap-seconds into account.

Constructors

NominalDiffTime

Fields

• _microseconds :: Micros

Instances

Bounded NominalDiffTime

Defined in Pact.Time.Internal

Methods

minBound :: NominalDiffTime

maxBound :: NominalDiffTime

Enum NominalDiffTime

Defined in Pact.Time.Internal

Methods

succ :: NominalDiffTime -> NominalDiffTime

pred :: NominalDiffTime -> NominalDiffTime

toEnum :: Int -> NominalDiffTime

fromEnum :: NominalDiffTime -> Int

enumFrom :: NominalDiffTime -> [NominalDiffTime]

enumFromThen :: NominalDiffTime -> NominalDiffTime -> [NominalDiffTime]

enumFromTo :: NominalDiffTime -> NominalDiffTime -> [NominalDiffTime]

enumFromThenTo :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime -> [NominalDiffTime]

Show NominalDiffTime

Defined in Pact.Time.Format.Internal

Methods

showsPrec :: Int -> NominalDiffTime -> ShowS

show :: NominalDiffTime -> String

showList :: [NominalDiffTime] -> ShowS

Serialize NominalDiffTime

Serializes NominalDiffTime as 64-bit signed microseconds in little endian encoding.

Defined in Pact.Time.Internal

Methods

put :: Putter NominalDiffTime

get :: Get NominalDiffTime

NFData NominalDiffTime

Defined in Pact.Time.Internal

Methods

rnf :: NominalDiffTime -> ()

Eq NominalDiffTime

Defined in Pact.Time.Internal

Methods

(==) :: NominalDiffTime -> NominalDiffTime -> Bool

(/=) :: NominalDiffTime -> NominalDiffTime -> Bool

Ord NominalDiffTime

Defined in Pact.Time.Internal

Methods

compare :: NominalDiffTime -> NominalDiffTime -> Ordering

(<) :: NominalDiffTime -> NominalDiffTime -> Bool

(<=) :: NominalDiffTime -> NominalDiffTime -> Bool

(>) :: NominalDiffTime -> NominalDiffTime -> Bool

(>=) :: NominalDiffTime -> NominalDiffTime -> Bool

max :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime

min :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime

AdditiveAbelianSemigroup NominalDiffTime

Defined in Pact.Time.Internal

AdditiveGroup NominalDiffTime

Defined in Pact.Time.Internal

Methods

invert :: NominalDiffTime -> NominalDiffTime

minus :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime

AdditiveMonoid NominalDiffTime

Defined in Pact.Time.Internal

Methods

zero :: NominalDiffTime

AdditiveSemigroup NominalDiffTime

Defined in Pact.Time.Internal

Methods

plus :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime

toMicroseconds :: NominalDiffTime -> Micros

Convert from NominalDiffTime to a 64-bit representation of microseconds.

fromMicroseconds :: Micros -> NominalDiffTime

Convert from a 64-bit representation of microseconds to NominalDiffTime.

toSeconds :: NominalDiffTime -> Decimal

Convert from NominalDiffTime to a DecimalRaw representation of seconds.

fromSeconds :: Decimal -> NominalDiffTime

Convert from DecimalRaw representation of seconds to NominalDiffTime.

The result is rounded using banker's method, i.e. remainders of 0.5 a rounded to the next even integer.

nominalDay :: NominalDiffTime

The nominal length of a day: precisely 86400 SI seconds.

scaleNominalDiffTime :: Integral a => a -> NominalDiffTime -> NominalDiffTime

divNominalDiffTime :: Integral a => NominalDiffTime -> a -> NominalDiffTime

UTCTime

newtype UTCTime

UTCTime with microseconds precision. Internally it is represented as 64-bit count nominal microseconds since MJD Epoch.

This implementation ignores leap seconds. Time differences are measured as nominal time, with a nominal day having exaxtly 24 * 60 * 60 SI seconds. As a consequence the difference between two dates as computed by this module is generally equal or smaller than what is actually measured by a clock.

Constructors

UTCTime

Fields

• _utcTime :: NominalDiffTime

Instances

FromJSON UTCTime

Defined in Pact.Time.Format.Internal

Methods

parseJSON :: Value -> Parser UTCTime

parseJSONList :: Value -> Parser [UTCTime]

omittedField :: Maybe UTCTime

ToJSON UTCTime

Defined in Pact.Time.Format.Internal

Methods

toJSON :: UTCTime -> Value

toEncoding :: UTCTime -> Encoding

toJSONList :: [UTCTime] -> Value

toEncodingList :: [UTCTime] -> Encoding

omitField :: UTCTime -> Bool

Generic UTCTime

Defined in Pact.Time.Internal

Associated Types

type Rep UTCTime :: Type -> Type

Methods

from :: UTCTime -> Rep UTCTime x

to :: Rep UTCTime x -> UTCTime

Read UTCTime

Defined in Pact.Time.Format.Internal

Methods

readsPrec :: Int -> ReadS UTCTime

readList :: ReadS [UTCTime]

readPrec :: ReadPrec UTCTime

readListPrec :: ReadPrec [UTCTime]

Show UTCTime

Defined in Pact.Time.Format.Internal

Methods

showsPrec :: Int -> UTCTime -> ShowS

show :: UTCTime -> String

showList :: [UTCTime] -> ShowS

Serialize UTCTime

Defined in Pact.Time.Internal

Methods

put :: Putter UTCTime

get :: Get UTCTime

NFData UTCTime

Defined in Pact.Time.Internal

Methods

rnf :: UTCTime -> ()

Eq UTCTime

Defined in Pact.Time.Internal

Methods

(==) :: UTCTime -> UTCTime -> Bool

(/=) :: UTCTime -> UTCTime -> Bool

Ord UTCTime

Defined in Pact.Time.Internal

Methods

compare :: UTCTime -> UTCTime -> Ordering

(<) :: UTCTime -> UTCTime -> Bool

(<=) :: UTCTime -> UTCTime -> Bool

(>) :: UTCTime -> UTCTime -> Bool

(>=) :: UTCTime -> UTCTime -> Bool

max :: UTCTime -> UTCTime -> UTCTime

min :: UTCTime -> UTCTime -> UTCTime

LeftTorsor UTCTime

Defined in Pact.Time.Internal

Associated Types

type Diff UTCTime

Methods

add :: Diff UTCTime -> UTCTime -> UTCTime

diff :: UTCTime -> UTCTime -> Diff UTCTime

type Rep UTCTime

Defined in Pact.Time.Internal

type Rep UTCTime = D1 ('MetaData "UTCTime" "Pact.Time.Internal" "pact-time-0.3.0.1-48iocCFVBhNFn5qKDoNmak" 'True) (C1 ('MetaCons "UTCTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "_utcTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NominalDiffTime)))

type Diff UTCTime

Defined in Pact.Time.Internal

type Diff UTCTime = NominalDiffTime

getCurrentTime :: IO UTCTime

day :: Lens' UTCTime ModifiedJulianDay

The date of a UTCTime value represented as modified Julian Day.

dayTime :: Lens' UTCTime NominalDiffTime

The day time of a UTCTime value represented as NominalDiffTime since 00:00:00 of that respective day.

fromDayAndDayTime :: ModifiedJulianDay -> NominalDiffTime -> UTCTime

Create a UTCTime from a date and a daytime. The date is represented as modified Julian Day and the day time is represented as NominalDiffTime since '00:00:00' of the respective day.

Note that this implementation does not support representation of leap seconds.

toPosixTimestampMicros :: UTCTime -> Micros

fromPosixTimestampMicros :: Micros -> UTCTime

mjdEpoch :: UTCTime

The Epoch of the modified Julian day represented as UTCTime.

posixEpoch :: UTCTime

The POSIX Epoch represented as UTCTime.

Julian Dates

newtype ModifiedJulianDay

Constructors

ModifiedJulianDay Day

Instances

NFData ModifiedJulianDay

Defined in Pact.Time.Internal

Methods

rnf :: ModifiedJulianDay -> ()

Eq ModifiedJulianDay

Defined in Pact.Time.Internal

Methods

(==) :: ModifiedJulianDay -> ModifiedJulianDay -> Bool

(/=) :: ModifiedJulianDay -> ModifiedJulianDay -> Bool

Ord ModifiedJulianDay

Defined in Pact.Time.Internal

Methods

compare :: ModifiedJulianDay -> ModifiedJulianDay -> Ordering

(<) :: ModifiedJulianDay -> ModifiedJulianDay -> Bool

(<=) :: ModifiedJulianDay -> ModifiedJulianDay -> Bool

(>) :: ModifiedJulianDay -> ModifiedJulianDay -> Bool

(>=) :: ModifiedJulianDay -> ModifiedJulianDay -> Bool

max :: ModifiedJulianDay -> ModifiedJulianDay -> ModifiedJulianDay

min :: ModifiedJulianDay -> ModifiedJulianDay -> ModifiedJulianDay

data ModifiedJulianDate

Modified Julian Day Representation of UTC

Constructors

ModifiedJulianDate

Fields

• _mjdDay :: !ModifiedJulianDay
• _mjdTime :: !NominalDiffTime

Instances

Generic ModifiedJulianDate

Defined in Pact.Time.Internal

Associated Types

type Rep ModifiedJulianDate :: Type -> Type

Methods

from :: ModifiedJulianDate -> Rep ModifiedJulianDate x

to :: Rep ModifiedJulianDate x -> ModifiedJulianDate

NFData ModifiedJulianDate

Defined in Pact.Time.Internal

Methods

rnf :: ModifiedJulianDate -> ()

Eq ModifiedJulianDate

Defined in Pact.Time.Internal

Methods

(==) :: ModifiedJulianDate -> ModifiedJulianDate -> Bool

(/=) :: ModifiedJulianDate -> ModifiedJulianDate -> Bool

Ord ModifiedJulianDate

Defined in Pact.Time.Internal

Methods

compare :: ModifiedJulianDate -> ModifiedJulianDate -> Ordering

(<) :: ModifiedJulianDate -> ModifiedJulianDate -> Bool

(<=) :: ModifiedJulianDate -> ModifiedJulianDate -> Bool

(>) :: ModifiedJulianDate -> ModifiedJulianDate -> Bool

(>=) :: ModifiedJulianDate -> ModifiedJulianDate -> Bool

max :: ModifiedJulianDate -> ModifiedJulianDate -> ModifiedJulianDate

min :: ModifiedJulianDate -> ModifiedJulianDate -> ModifiedJulianDate

type Rep ModifiedJulianDate

Defined in Pact.Time.Internal

type Rep ModifiedJulianDate = D1 ('MetaData "ModifiedJulianDate" "Pact.Time.Internal" "pact-time-0.3.0.1-48iocCFVBhNFn5qKDoNmak" 'False) (C1 ('MetaCons "ModifiedJulianDate" 'PrefixI 'True) (S1 ('MetaSel ('Just "_mjdDay") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModifiedJulianDay) :*: S1 ('MetaSel ('Just "_mjdTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NominalDiffTime)))

toModifiedJulianDate :: UTCTime -> ModifiedJulianDate

Convert from UTCTime to modified Julian Day time.

fromModifiedJulianDate :: ModifiedJulianDate -> UTCTime

Convert from modified Julian Day time to UTCTime.

Reexports

class AdditiveSemigroup g where

Additive Semigroup

(a `plus` b) `plus` c == a `plus` (b `plus` c)

Methods

plus :: g -> g -> g

Instances

AdditiveSemigroup Int16

Defined in Numeric.Additive

Methods

plus :: Int16 -> Int16 -> Int16

AdditiveSemigroup Int32

Defined in Numeric.Additive

Methods

plus :: Int32 -> Int32 -> Int32

AdditiveSemigroup Int64

Defined in Numeric.Additive

Methods

plus :: Int64 -> Int64 -> Int64

AdditiveSemigroup Int8

Defined in Numeric.Additive

Methods

plus :: Int8 -> Int8 -> Int8

AdditiveSemigroup Rational

Defined in Numeric.Additive

Methods

plus :: Rational -> Rational -> Rational

AdditiveSemigroup Word16

Defined in Numeric.Additive

Methods

plus :: Word16 -> Word16 -> Word16

AdditiveSemigroup Word32

Defined in Numeric.Additive

Methods

plus :: Word32 -> Word32 -> Word32

AdditiveSemigroup Word64

Defined in Numeric.Additive

Methods

plus :: Word64 -> Word64 -> Word64

AdditiveSemigroup Word8

Defined in Numeric.Additive

Methods

plus :: Word8 -> Word8 -> Word8

AdditiveSemigroup Word128

Defined in Numeric.Additive

Methods

plus :: Word128 -> Word128 -> Word128

AdditiveSemigroup Word256

Defined in Numeric.Additive

Methods

plus :: Word256 -> Word256 -> Word256

AdditiveSemigroup NominalDiffTime

Defined in Pact.Time.Internal

Methods

plus :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime

AdditiveSemigroup Integer

Defined in Numeric.Additive

Methods

plus :: Integer -> Integer -> Integer

AdditiveSemigroup Natural

Defined in Numeric.Additive

Methods

plus :: Natural -> Natural -> Natural

AdditiveSemigroup Int

Defined in Numeric.Additive

Methods

plus :: Int -> Int -> Int

AdditiveSemigroup Word

Defined in Numeric.Additive

Methods

plus :: Word -> Word -> Word

class AdditiveSemigroup g => AdditiveMonoid g where

Additive Monoid

a `plus` zero == a

zero `plus` a == a

Methods

zero :: g

Instances

AdditiveMonoid Int16

Defined in Numeric.Additive

Methods

zero :: Int16

AdditiveMonoid Int32

Defined in Numeric.Additive

Methods

zero :: Int32

AdditiveMonoid Int64

Defined in Numeric.Additive

Methods

zero :: Int64

AdditiveMonoid Int8

Defined in Numeric.Additive

Methods

zero :: Int8

AdditiveMonoid Rational

Defined in Numeric.Additive

Methods

zero :: Rational

AdditiveMonoid Word16

Defined in Numeric.Additive

Methods

zero :: Word16

AdditiveMonoid Word32

Defined in Numeric.Additive

Methods

zero :: Word32

AdditiveMonoid Word64

Defined in Numeric.Additive

Methods

zero :: Word64

AdditiveMonoid Word8

Defined in Numeric.Additive

Methods

zero :: Word8

AdditiveMonoid Word128

Defined in Numeric.Additive

Methods

zero :: Word128

AdditiveMonoid Word256

Defined in Numeric.Additive

Methods

zero :: Word256

AdditiveMonoid NominalDiffTime

Defined in Pact.Time.Internal

Methods

zero :: NominalDiffTime

AdditiveMonoid Integer

Defined in Numeric.Additive

Methods

zero :: Integer

AdditiveMonoid Natural

Defined in Numeric.Additive

Methods

zero :: Natural

AdditiveMonoid Int

Defined in Numeric.Additive

Methods

zero :: Int

AdditiveMonoid Word

Defined in Numeric.Additive

Methods

zero :: Word

class AdditiveMonoid g => AdditiveGroup g where

Additive Group

a `plus` inverse a == zero

inverse a `plus` a == zero

Minimal complete definition

invert | minus

Methods

invert :: g -> g

minus :: g -> g -> g

Instances

AdditiveGroup Int16

Defined in Numeric.Additive

Methods

invert :: Int16 -> Int16

minus :: Int16 -> Int16 -> Int16

AdditiveGroup Int32

Defined in Numeric.Additive

Methods

invert :: Int32 -> Int32

minus :: Int32 -> Int32 -> Int32

AdditiveGroup Int64

Defined in Numeric.Additive

Methods

invert :: Int64 -> Int64

minus :: Int64 -> Int64 -> Int64

AdditiveGroup Int8

Defined in Numeric.Additive

Methods

invert :: Int8 -> Int8

minus :: Int8 -> Int8 -> Int8

AdditiveGroup Rational

Defined in Numeric.Additive

Methods

invert :: Rational -> Rational

minus :: Rational -> Rational -> Rational

AdditiveGroup Word16

Defined in Numeric.Additive

Methods

invert :: Word16 -> Word16

minus :: Word16 -> Word16 -> Word16

AdditiveGroup Word32

Defined in Numeric.Additive

Methods

invert :: Word32 -> Word32

minus :: Word32 -> Word32 -> Word32

AdditiveGroup Word64

Defined in Numeric.Additive

Methods

invert :: Word64 -> Word64

minus :: Word64 -> Word64 -> Word64

AdditiveGroup Word8

Defined in Numeric.Additive

Methods

invert :: Word8 -> Word8

minus :: Word8 -> Word8 -> Word8

AdditiveGroup Word128

Defined in Numeric.Additive

Methods

invert :: Word128 -> Word128

minus :: Word128 -> Word128 -> Word128

AdditiveGroup Word256

Defined in Numeric.Additive

Methods

invert :: Word256 -> Word256

minus :: Word256 -> Word256 -> Word256

AdditiveGroup NominalDiffTime

Defined in Pact.Time.Internal

Methods

invert :: NominalDiffTime -> NominalDiffTime

minus :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime

AdditiveGroup Integer

Defined in Numeric.Additive

Methods

invert :: Integer -> Integer

minus :: Integer -> Integer -> Integer

AdditiveGroup Int

Defined in Numeric.Additive

Methods

invert :: Int -> Int

minus :: Int -> Int -> Int

AdditiveGroup Word

Defined in Numeric.Additive

Methods

invert :: Word -> Word

minus :: Word -> Word -> Word

(^-^) :: AdditiveAbelianGroup g => g -> g -> g infix 6

(^+^) :: AdditiveAbelianSemigroup g => g -> g -> g infixl 6

(.+^) :: (AdditiveAbelianGroup (Diff t), LeftTorsor t) => t -> Diff t -> t infixl 6

(^+.) :: (AdditiveAbelianGroup (Diff t), LeftTorsor t) => Diff t -> t -> t infixl 6

(.-.) :: (AdditiveAbelianGroup (Diff t), LeftTorsor t) => t -> t -> Diff t infix 6

(.-^) :: (AdditiveAbelianGroup (Diff t), LeftTorsor t) => t -> Diff t -> t infixl 6

(*^) :: Integral a => a -> NominalDiffTime -> NominalDiffTime