-- |The 'Instant' class, Internal
module Polysemy.Time.Class.Instant where

import Data.Time (Day, UTCTime(UTCTime))

-- |This abstracts over types that refer to a specific point in time.
class Instant i dt | i -> dt where
  dateTime :: i -> dt

instance Instant UTCTime UTCTime where
  dateTime =
    id

instance Instant Day UTCTime where
  dateTime day =
    UTCTime day 0