Pact.Time

A minimal time library for usage with the Pact Smart Contract Language.

The focus of this library is on minimality, performance, and binary level stability. Time is represented as 64-bit integral value that counts nominal micro-seconds since the modified Julian date epoch (MJD). The implementation ignores leap seconds.

While the library can parse date-time values with time zones, internally all date-times are represented as UTC and formatting only supports UTC. Only the default English language locale is supported.

Details about supported formats can be found in the Pact Language Reference.

NominalDiffTime

newtype NominalDiffTime

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

Constructors

NominalDiffTime

Fields

• _microseconds :: Micros

Instances

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

AdditiveGroup NominalDiffTime

Defined in Pact.Time.Internal

Methods

zeroV :: NominalDiffTime

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

negateV :: NominalDiffTime -> NominalDiffTime

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

VectorSpace NominalDiffTime

Defined in Pact.Time.Internal

Associated Types

type Scalar NominalDiffTime

Methods

(*^) :: Scalar 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

data 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.

Instances

FromJSON UTCTime

Defined in Pact.Time.Format.Internal

Methods

parseJSON :: Value -> Parser UTCTime

parseJSONList :: Value -> Parser [UTCTime]

ToJSON UTCTime

Defined in Pact.Time.Format.Internal

Methods

toJSON :: UTCTime -> Value

toEncoding :: UTCTime -> Encoding

toJSONList :: [UTCTime] -> Value

toEncodingList :: [UTCTime] -> Encoding

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

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.1-9K8MkxWuTDqEe3hC1elqXk" '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

posixEpoch :: UTCTime

The POSIX Epoch represented as UTCTime.

mjdEpoch :: UTCTime

The Epoch of the modified Julian day represented as UTCTime.

Formatting and Parsing

parseTime :: String -> String -> Maybe UTCTime

formatTime :: FormatTime t => String -> t -> String

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 CDouble

Defined in Data.AffineSpace

Associated Types

type Diff CDouble

Methods

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

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

AffineSpace CFloat

Defined in Data.AffineSpace

Associated Types

type Diff CFloat

Methods

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

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

AffineSpace CInt

Defined in Data.AffineSpace

Associated Types

type Diff CInt

Methods

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

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

AffineSpace CIntMax

Defined in Data.AffineSpace

Associated Types

type Diff CIntMax

Methods

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

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

AffineSpace CLLong

Defined in Data.AffineSpace

Associated Types

type Diff CLLong

Methods

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

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

AffineSpace CLong

Defined in Data.AffineSpace

Associated Types

type Diff CLong

Methods

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

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

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 UTCTime

Defined in Pact.Time.Internal

Associated Types

type Diff UTCTime

Methods

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

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

AffineSpace Integer

Defined in Data.AffineSpace

Associated Types

type Diff Integer

Methods

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

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

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

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

Defined in Data.VectorSpace

Associated Types

type Scalar CDouble

Methods

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

VectorSpace CFloat

Defined in Data.VectorSpace

Associated Types

type Scalar CFloat

Methods

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

VectorSpace CInt

Defined in Data.VectorSpace

Associated Types

type Scalar CInt

Methods

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

VectorSpace CIntMax

Defined in Data.VectorSpace

Associated Types

type Scalar CIntMax

Methods

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

VectorSpace CLLong

Defined in Data.VectorSpace

Associated Types

type Scalar CLLong

Methods

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

VectorSpace CLong

Defined in Data.VectorSpace

Associated Types

type Scalar CLong

Methods

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

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 NominalDiffTime

Defined in Pact.Time.Internal

Associated Types

type Scalar NominalDiffTime

Methods

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

VectorSpace Integer

Defined in Data.VectorSpace

Associated Types

type Scalar Integer

Methods

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

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

(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

Integral a => VectorSpace (Ratio a)

Defined in Data.VectorSpace

Associated Types

type Scalar (Ratio a)

Methods

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

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

Defined in Data.VectorSpace

Associated Types

type Scalar (Maybe v)

Methods

(*^) :: Scalar (Maybe v) -> Maybe v -> Maybe 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 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)

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

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

(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