lawful-conversions-0.2: src/library/LawfulConversions/Relations/DayAndString.hs

{-# OPTIONS_GHC -Wno-orphans #-}

module LawfulConversions.Relations.DayAndString where

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

-- | Implements ISO-8601.
instance IsSome String Day where
  to = iso8601Show
  maybeFrom = iso8601ParseM