GitAuthorTime.hs

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeOperators #-}
{-# OPTIONS_GHC -Wall #-}

{- | The name @gitAuthorTime@, targeting 'UTCTime': the time a commit was authored.

Any value of the target type has the name, as the identity.

@since 0.2.0.0
-}
module Document.Build.Name.GitAuthorTime (
  GitAuthorTimeLike (..),
) where

import Control.Lens (Optic)
import Data.Time (UTCTime)

{- | A field or a constructor named @gitAuthorTime@.

@since 0.2.0.0
-}
class GitAuthorTimeLike p f x x' where
  gitAuthorTime ::
    Optic p f x x' UTCTime UTCTime

{- | Identity

@since 0.2.0.0
-}
instance (x' ~ UTCTime) => GitAuthorTimeLike p f UTCTime x' where
  gitAuthorTime =
    id
  {-# INLINE gitAuthorTime #-}