Safe Haskell	Safe-Inferred
Language	Haskell2010

Simplex.Messaging.SystemTime

Documentation

newtype RoundedSystemTime (t :: Nat) Source #

Constructors

RoundedSystemTime
Fields roundedSeconds :: Int64

Instances

Instances details

FromJSON (RoundedSystemTime t) Source #
Instance details Defined in Simplex.Messaging.SystemTime Methods parseJSON :: Value -> Parser (RoundedSystemTime t) parseJSONList :: Value -> Parser [RoundedSystemTime t] omittedField :: Maybe (RoundedSystemTime t)
ToJSON (RoundedSystemTime t) Source #
Instance details Defined in Simplex.Messaging.SystemTime Methods toJSON :: RoundedSystemTime t -> Value toEncoding :: RoundedSystemTime t -> Encoding toJSONList :: [RoundedSystemTime t] -> Value toEncodingList :: [RoundedSystemTime t] -> Encoding omitField :: RoundedSystemTime t -> Bool
Show (RoundedSystemTime t) Source #
Instance details Defined in Simplex.Messaging.SystemTime Methods showsPrec :: Int -> RoundedSystemTime t -> ShowS show :: RoundedSystemTime t -> String showList :: [RoundedSystemTime t] -> ShowS
Eq (RoundedSystemTime t) Source #
Instance details Defined in Simplex.Messaging.SystemTime Methods (==) :: RoundedSystemTime t -> RoundedSystemTime t -> Bool (/=) :: RoundedSystemTime t -> RoundedSystemTime t -> Bool
Ord (RoundedSystemTime t) Source #
Instance details Defined in Simplex.Messaging.SystemTime Methods compare :: RoundedSystemTime t -> RoundedSystemTime t -> Ordering (<) :: RoundedSystemTime t -> RoundedSystemTime t -> Bool (<=) :: RoundedSystemTime t -> RoundedSystemTime t -> Bool (>) :: RoundedSystemTime t -> RoundedSystemTime t -> Bool (>=) :: RoundedSystemTime t -> RoundedSystemTime t -> Bool max :: RoundedSystemTime t -> RoundedSystemTime t -> RoundedSystemTime t min :: RoundedSystemTime t -> RoundedSystemTime t -> RoundedSystemTime t
StrEncoding (RoundedSystemTime t) Source #
Instance details Defined in Simplex.Messaging.SystemTime Methods strEncode :: RoundedSystemTime t -> ByteString Source # strDecode :: ByteString -> Either String (RoundedSystemTime t) Source # strP :: Parser (RoundedSystemTime t) Source #
FromField (RoundedSystemTime t) Source #
Instance details Defined in Simplex.Messaging.SystemTime Methods fromField :: FieldParser (RoundedSystemTime t) #
ToField (RoundedSystemTime t) Source #
Instance details Defined in Simplex.Messaging.SystemTime Methods toField :: RoundedSystemTime t -> SQLData #

type SystemDate = RoundedSystemTime 86400 Source #

type SystemSeconds = RoundedSystemTime 1 Source #

getRoundedSystemTime :: forall t. KnownNat t => IO (RoundedSystemTime t) Source #

getSystemDate :: IO SystemDate Source #

getSystemSeconds :: IO SystemSeconds Source #

roundedToUTCTime :: RoundedSystemTime t -> UTCTime Source #