{-# OPTIONS_GHC -Wno-orphans #-}

module LawfulConversions.Relations.StringAndUtcTime where

import Data.Time
import Data.Time.Format.ISO8601
import LawfulConversions.Classes
import LawfulConversions.Prelude

-- | Implements ISO-8601.
instance IsSome String UTCTime where
  to :: UTCTime -> String
to = UTCTime -> String
forall t. ISO8601 t => t -> String
iso8601Show
  maybeFrom :: String -> Maybe UTCTime
maybeFrom = String -> Maybe UTCTime
forall (m :: * -> *) t. (MonadFail m, ISO8601 t) => String -> m t
iso8601ParseM