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

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

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 -> ()

VectorSpace NominalDiffTime

Defined in Pact.Time.Internal

Associated Types

type Scalar NominalDiffTime

Methods

(*^) :: Scalar NominalDiffTime -> NominalDiffTime -> NominalDiffTime

AdditiveGroup NominalDiffTime

Defined in Pact.Time.Internal

Methods

zeroV :: NominalDiffTime

(^+^) :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime

negateV :: NominalDiffTime -> NominalDiffTime

(^-^) :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime

type Scalar NominalDiffTime

Defined in Pact.Time.Internal

type Scalar NominalDiffTime = Rational

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 Decimal representation of seconds.

fromSeconds :: Decimal -> NominalDiffTime

Convert from Decimal 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.

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

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

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

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

ToJSON UTCTime

Defined in Pact.Time.Format.Internal

Methods

toJSON :: UTCTime -> Value

toEncoding :: UTCTime -> Encoding

toJSONList :: [UTCTime] -> Value

toEncodingList :: [UTCTime] -> Encoding

FromJSON UTCTime

Defined in Pact.Time.Format.Internal

Methods

parseJSON :: Value -> Parser UTCTime

parseJSONList :: Value -> Parser [UTCTime]

Serialize UTCTime

Defined in Pact.Time.Internal

Methods

put :: Putter UTCTime

get :: Get UTCTime

NFData UTCTime

Defined in Pact.Time.Internal

Methods

rnf :: UTCTime -> ()

AffineSpace UTCTime

Defined in Pact.Time.Internal

Associated Types

type Diff UTCTime

Methods

(.-.) :: UTCTime -> UTCTime -> Diff UTCTime

(.+^) :: UTCTime -> Diff UTCTime -> UTCTime

type Rep UTCTime

Defined in Pact.Time.Internal

type Rep UTCTime = D1 ('MetaData "UTCTime" "Pact.Time.Internal" "pact-time-0.2.0.0-3wMwyzgM4Cx3uihv7VMGTk" '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

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

NFData ModifiedJulianDay

Defined in Pact.Time.Internal

Methods

rnf :: ModifiedJulianDay -> ()

data ModifiedJulianDate

Modified Julian Day Representation of UTC

Constructors

ModifiedJulianDate

Fields

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

Instances

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

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 -> ()

type Rep ModifiedJulianDate

Defined in Pact.Time.Internal

type Rep ModifiedJulianDate = D1 ('MetaData "ModifiedJulianDate" "Pact.Time.Internal" "pact-time-0.2.0.0-3wMwyzgM4Cx3uihv7VMGTk" '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 AdditiveGroup (Diff p) => AffineSpace p where

Minimal complete definition

Nothing

Associated Types

type Diff p

Associated vector space

type Diff p = GenericDiff p

Methods

(.-.) :: p -> p -> Diff p infix 6

Subtract points

(.+^) :: p -> Diff p -> p infixl 6

Point plus vector

Instances

AffineSpace Double

Defined in Data.AffineSpace

Associated Types

type Diff Double

Methods

(.-.) :: Double -> Double -> Diff Double

(.+^) :: Double -> Diff Double -> Double

AffineSpace Float

Defined in Data.AffineSpace

Associated Types

type Diff Float

Methods

(.-.) :: Float -> Float -> Diff Float

(.+^) :: Float -> Diff Float -> Float

AffineSpace Int

Defined in Data.AffineSpace

Associated Types

type Diff Int

Methods

(.-.) :: Int -> Int -> Diff Int

(.+^) :: Int -> Diff Int -> Int

AffineSpace Integer

Defined in Data.AffineSpace

Associated Types

type Diff Integer

Methods

(.-.) :: Integer -> Integer -> Diff Integer

(.+^) :: Integer -> Diff Integer -> Integer

AffineSpace CSChar

Defined in Data.AffineSpace

Associated Types

type Diff CSChar

Methods

(.-.) :: CSChar -> CSChar -> Diff CSChar

(.+^) :: CSChar -> Diff CSChar -> CSChar

AffineSpace CShort

Defined in Data.AffineSpace

Associated Types

type Diff CShort

Methods

(.-.) :: CShort -> CShort -> Diff CShort

(.+^) :: CShort -> Diff CShort -> CShort

AffineSpace CInt

Defined in Data.AffineSpace

Associated Types

type Diff CInt

Methods

(.-.) :: CInt -> CInt -> Diff CInt

(.+^) :: CInt -> Diff CInt -> CInt

AffineSpace CLong

Defined in Data.AffineSpace

Associated Types

type Diff CLong

Methods

(.-.) :: CLong -> CLong -> Diff CLong

(.+^) :: CLong -> Diff CLong -> CLong

AffineSpace CLLong

Defined in Data.AffineSpace

Associated Types

type Diff CLLong

Methods

(.-.) :: CLLong -> CLLong -> Diff CLLong

(.+^) :: CLLong -> Diff CLLong -> CLLong

AffineSpace CFloat

Defined in Data.AffineSpace

Associated Types

type Diff CFloat

Methods

(.-.) :: CFloat -> CFloat -> Diff CFloat

(.+^) :: CFloat -> Diff CFloat -> CFloat

AffineSpace CDouble

Defined in Data.AffineSpace

Associated Types

type Diff CDouble

Methods

(.-.) :: CDouble -> CDouble -> Diff CDouble

(.+^) :: CDouble -> Diff CDouble -> CDouble

AffineSpace CIntMax

Defined in Data.AffineSpace

Associated Types

type Diff CIntMax

Methods

(.-.) :: CIntMax -> CIntMax -> Diff CIntMax

(.+^) :: CIntMax -> Diff CIntMax -> CIntMax

AffineSpace UTCTime

Defined in Pact.Time.Internal

Associated Types

type Diff UTCTime

Methods

(.-.) :: UTCTime -> UTCTime -> Diff UTCTime

(.+^) :: UTCTime -> Diff UTCTime -> UTCTime

Integral a => AffineSpace (Ratio a)

Defined in Data.AffineSpace

Associated Types

type Diff (Ratio a)

Methods

(.-.) :: Ratio a -> Ratio a -> Diff (Ratio a)

(.+^) :: Ratio a -> Diff (Ratio a) -> Ratio a

AffineSpace p => AffineSpace (a -> p)

Defined in Data.AffineSpace

Associated Types

type Diff (a -> p)

Methods

(.-.) :: (a -> p) -> (a -> p) -> Diff (a -> p)

(.+^) :: (a -> p) -> Diff (a -> p) -> a -> p

(AffineSpace p, AffineSpace q) => AffineSpace (p, q)

Defined in Data.AffineSpace

Associated Types

type Diff (p, q)

Methods

(.-.) :: (p, q) -> (p, q) -> Diff (p, q)

(.+^) :: (p, q) -> Diff (p, q) -> (p, q)

AffineSpace a => AffineSpace (Rec0 a s)

Defined in Data.AffineSpace

Associated Types

type Diff (Rec0 a s)

Methods

(.-.) :: Rec0 a s -> Rec0 a s -> Diff (Rec0 a s)

(.+^) :: Rec0 a s -> Diff (Rec0 a s) -> Rec0 a s

(AffineSpace p, AffineSpace q, AffineSpace r) => AffineSpace (p, q, r)

Defined in Data.AffineSpace

Associated Types

type Diff (p, q, r)

Methods

(.-.) :: (p, q, r) -> (p, q, r) -> Diff (p, q, r)

(.+^) :: (p, q, r) -> Diff (p, q, r) -> (p, q, r)

(AffineSpace (f p), AffineSpace (g p)) => AffineSpace (AffineDiffProductSpace f g p)

Defined in Data.AffineSpace

Associated Types

type Diff (AffineDiffProductSpace f g p)

Methods

(.-.) :: AffineDiffProductSpace f g p -> AffineDiffProductSpace f g p -> Diff (AffineDiffProductSpace f g p)

(.+^) :: AffineDiffProductSpace f g p -> Diff (AffineDiffProductSpace f g p) -> AffineDiffProductSpace f g p

(AffineSpace (f p), AffineSpace (g p)) => AffineSpace ((f :*: g) p)

Defined in Data.AffineSpace

Associated Types

type Diff ((f :*: g) p)

Methods

(.-.) :: (f :*: g) p -> (f :*: g) p -> Diff ((f :*: g) p)

(.+^) :: (f :*: g) p -> Diff ((f :*: g) p) -> (f :*: g) p

AffineSpace (f p) => AffineSpace (M1 i c f p)

Defined in Data.AffineSpace

Associated Types

type Diff (M1 i c f p)

Methods

(.-.) :: M1 i c f p -> M1 i c f p -> Diff (M1 i c f p)

(.+^) :: M1 i c f p -> Diff (M1 i c f p) -> M1 i c f p

class AdditiveGroup v => VectorSpace v where

Vector space v.

Minimal complete definition

Nothing

Associated Types

type Scalar v

type Scalar v = Scalar (VRep v)

Methods

(*^) :: Scalar v -> v -> v infixr 7

Scale a vector

Instances

VectorSpace Double

Defined in Data.VectorSpace

Associated Types

type Scalar Double

Methods

(*^) :: Scalar Double -> Double -> Double

VectorSpace Float

Defined in Data.VectorSpace

Associated Types

type Scalar Float

Methods

(*^) :: Scalar Float -> Float -> Float

VectorSpace Int

Defined in Data.VectorSpace

Associated Types

type Scalar Int

Methods

(*^) :: Scalar Int -> Int -> Int

VectorSpace Integer

Defined in Data.VectorSpace

Associated Types

type Scalar Integer

Methods

(*^) :: Scalar Integer -> Integer -> Integer

VectorSpace CSChar

Defined in Data.VectorSpace

Associated Types

type Scalar CSChar

Methods

(*^) :: Scalar CSChar -> CSChar -> CSChar

VectorSpace CShort

Defined in Data.VectorSpace

Associated Types

type Scalar CShort

Methods

(*^) :: Scalar CShort -> CShort -> CShort

VectorSpace CInt

Defined in Data.VectorSpace

Associated Types

type Scalar CInt

Methods

(*^) :: Scalar CInt -> CInt -> CInt

VectorSpace CLong

Defined in Data.VectorSpace

Associated Types

type Scalar CLong

Methods

(*^) :: Scalar CLong -> CLong -> CLong

VectorSpace CLLong

Defined in Data.VectorSpace

Associated Types

type Scalar CLLong

Methods

(*^) :: Scalar CLLong -> CLLong -> CLLong

VectorSpace CFloat

Defined in Data.VectorSpace

Associated Types

type Scalar CFloat

Methods

(*^) :: Scalar CFloat -> CFloat -> CFloat

VectorSpace CDouble

Defined in Data.VectorSpace

Associated Types

type Scalar CDouble

Methods

(*^) :: Scalar CDouble -> CDouble -> CDouble

VectorSpace CIntMax

Defined in Data.VectorSpace

Associated Types

type Scalar CIntMax

Methods

(*^) :: Scalar CIntMax -> CIntMax -> CIntMax

VectorSpace NominalDiffTime

Defined in Pact.Time.Internal

Associated Types

type Scalar NominalDiffTime

Methods

(*^) :: Scalar NominalDiffTime -> NominalDiffTime -> NominalDiffTime

VectorSpace v => VectorSpace (Maybe v)

Defined in Data.VectorSpace

Associated Types

type Scalar (Maybe v)

Methods

(*^) :: Scalar (Maybe v) -> Maybe v -> Maybe v

Integral a => VectorSpace (Ratio a)

Defined in Data.VectorSpace

Associated Types

type Scalar (Ratio a)

Methods

(*^) :: Scalar (Ratio a) -> Ratio a -> Ratio a

(RealFloat v, VectorSpace v) => VectorSpace (Complex v)

Defined in Data.VectorSpace

Associated Types

type Scalar (Complex v)

Methods

(*^) :: Scalar (Complex v) -> Complex v -> Complex v

VectorSpace (Diff (VRep p)) => VectorSpace (GenericDiff p)

Defined in Data.AffineSpace

Associated Types

type Scalar (GenericDiff p)

Methods

(*^) :: Scalar (GenericDiff p) -> GenericDiff p -> GenericDiff p

VectorSpace v => VectorSpace (a -> v)

Defined in Data.VectorSpace

Associated Types

type Scalar (a -> v)

Methods

(*^) :: Scalar (a -> v) -> (a -> v) -> a -> v

(VectorSpace u, s ~ Scalar u, VectorSpace v, s ~ Scalar v) => VectorSpace (u, v)

Defined in Data.VectorSpace

Associated Types

type Scalar (u, v)

Methods

(*^) :: Scalar (u, v) -> (u, v) -> (u, v)

(HasTrie a, VectorSpace v) => VectorSpace (a :->: v)

Defined in Data.VectorSpace

Associated Types

type Scalar (a :->: v)

Methods

(*^) :: Scalar (a :->: v) -> (a :->: v) -> a :->: v

VectorSpace a => VectorSpace (Rec0 a s)

Defined in Data.VectorSpace

Associated Types

type Scalar (Rec0 a s)

Methods

(*^) :: Scalar (Rec0 a s) -> Rec0 a s -> Rec0 a s

(VectorSpace u, s ~ Scalar u, VectorSpace v, s ~ Scalar v, VectorSpace w, s ~ Scalar w) => VectorSpace (u, v, w)

Defined in Data.VectorSpace

Associated Types

type Scalar (u, v, w)

Methods

(*^) :: Scalar (u, v, w) -> (u, v, w) -> (u, v, w)

(AffineSpace (f p), AffineSpace (g p), VectorSpace (Diff (f p)), VectorSpace (Diff (g p)), Scalar (Diff (f p)) ~ Scalar (Diff (g p))) => VectorSpace (AffineDiffProductSpace f g p)

Defined in Data.AffineSpace

Associated Types

type Scalar (AffineDiffProductSpace f g p)

Methods

(*^) :: Scalar (AffineDiffProductSpace f g p) -> AffineDiffProductSpace f g p -> AffineDiffProductSpace f g p

(VectorSpace (f p), VectorSpace (g p), Scalar (f p) ~ Scalar (g p)) => VectorSpace ((f :*: g) p)

Defined in Data.VectorSpace

Associated Types

type Scalar ((f :*: g) p)

Methods

(*^) :: Scalar ((f :*: g) p) -> (f :*: g) p -> (f :*: g) p

(VectorSpace u, s ~ Scalar u, VectorSpace v, s ~ Scalar v, VectorSpace w, s ~ Scalar w, VectorSpace x, s ~ Scalar x) => VectorSpace (u, v, w, x)

Defined in Data.VectorSpace

Associated Types

type Scalar (u, v, w, x)

Methods

(*^) :: Scalar (u, v, w, x) -> (u, v, w, x) -> (u, v, w, x)

VectorSpace (f p) => VectorSpace (M1 i c f p)

Defined in Data.VectorSpace

Associated Types

type Scalar (M1 i c f p)

Methods

(*^) :: Scalar (M1 i c f p) -> M1 i c f p -> M1 i c f p