{-# OPTIONS_GHC -Wno-orphans #-}

module LawfulConversions.Relations.DayAndString where

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

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