module Hack2.Contrib.AirBackports where
import qualified Codec.Binary.UTF8.String as Codec
import Data.Time
import Data.Time.Clock.POSIX
import System.Directory
import System.IO
import System.Locale (defaultTimeLocale)
import qualified System.IO.Unsafe as Unsafe
import Data.Maybe
import Air.Env hiding (Default, def)
import Prelude ()
b2u, u2b :: String -> String
b2u = Codec.decodeString
u2b = Codec.encodeString
file_size :: String -> IO Integer
file_size path = withFile path ReadMode hFileSize
file_mtime :: String -> IO UTCTime
file_mtime = getModificationTime
now :: IO UTCTime
now = getCurrentTime
format_time :: String -> UTCTime -> String
format_time = formatTime defaultTimeLocale
purify :: IO a -> a
purify = Unsafe.unsafePerformIO
simple_time_format :: String
simple_time_format = "%Y-%m-%d %H:%M:%S %Z"
parse_time :: String -> String -> UTCTime
parse_time = readTime defaultTimeLocale