||| Universal clock - Ported from Haskell time package.
||| 
||| Copyright 2021, HATTORI, Hiroki
||| This file is released under the MIT license, see LICENSE for more detail.
||| 
module Data.Time.Clock

import Data.Fixed
import Data.Rational

import public Data.Time.Clock.DiffTime
import public Data.Time.Clock.UTCTime
import Data.Time.Calendar

import Generics.Derive

%default total
%language ElabReflection

-- ---------------------------------------------------------------------------

public export
record UniversalTime where
  constructor ModJulianDate
  modJulianDate : Rational
%runElab derive "UniversalTime" [Generic, Eq, Ord, DecEq]

-- ---------------------------------------------------------------------------
-- vim: tw=80 sw=2 expandtab :
