-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | date time
--   
--   date time functions to pico precision
@package hora
@version 1.0

module Data.Time.Hora.Type.YmdHms
data YmdHms
YmdHms :: Int -> Int -> Int -> Int -> Int -> Int -> YmdHms
[year] :: YmdHms -> Int
[month] :: YmdHms -> Int
[day] :: YmdHms -> Int
[hour] :: YmdHms -> Int
[minute] :: YmdHms -> Int
[second] :: YmdHms -> Int
instance GHC.Classes.Eq Data.Time.Hora.Type.YmdHms.YmdHms
instance GHC.Show.Show Data.Time.Hora.Type.YmdHms.YmdHms
instance GHC.Classes.Ord Data.Time.Hora.Type.YmdHms.YmdHms

module Data.Time.Hora.Type.DmyHm

-- | Date, Time w/out second
data DmyHm a
DmyHm :: a -> a -> a -> a -> a -> DmyHm a
[day] :: DmyHm a -> a
[month] :: DmyHm a -> a
[year] :: DmyHm a -> a
[hour] :: DmyHm a -> a
[minute] :: DmyHm a -> a

-- | <pre>
--   (DmyHm {day = "12", month = "12", year = "2016", hour = "17", minute = "32"},"59.727280400000")
--   </pre>
type DmyHmp' = (DmyHm String, String)

-- | <pre>
--   DmyHmp (DmyHm {day = 12, month = 12, year = 2016, hour = 17, minute = 32},59.727482058000)
--   </pre>
newtype DmyHmp
DmyHmp :: (DmyHm Int, Pico) -> DmyHmp

-- | convert from more precise to more common type
pico2second :: DmyHmp -> YmdHms
instance GHC.Show.Show Data.Time.Hora.Type.DmyHm.DmyHmp
instance GHC.Classes.Eq Data.Time.Hora.Type.DmyHm.DmyHmp
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Time.Hora.Type.DmyHm.DmyHm a)
instance GHC.Show.Show (Data.Time.Hora.Type.DmyHm.DmyHm GHC.Types.Int)
instance GHC.Show.Show (Data.Time.Hora.Type.DmyHm.DmyHm GHC.Base.String)
instance GHC.Base.Functor Data.Time.Hora.Type.DmyHm.DmyHm
instance GHC.Classes.Ord Data.Time.Hora.Type.DmyHm.DmyHmp
instance GHC.Classes.Ord (Data.Time.Hora.Type.DmyHm.DmyHm GHC.Types.Int)

module Data.Time.Hora.Type.Time
data TimeSpan a
Sec :: a -> TimeSpan a
Pico :: a -> TimeSpan a
Milli :: a -> TimeSpan a
data Tz a
Tz :: TimeZone -> a -> Tz a

-- | constraint
type TwoInt a b = (Integral a, Integral b)
instance GHC.Show.Show a => GHC.Show.Show (Data.Time.Hora.Type.Time.Tz a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Time.Hora.Type.Time.TimeSpan a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Time.Hora.Type.Time.TimeSpan a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Time.Hora.Type.Time.TimeSpan a)

module Data.Time.Hora.Format

-- | yyyymmdd
ymd :: TimeZone -> UTCTime -> Tz String

-- | format UTCTime just as you need it. uses <a>defaultTimeLocale</a>
--   
--   <pre>
--   import Text.Regex.Do.Replace.Template 
--   import Prelude hiding ((&lt;),(&gt;))
--   ...
--   
--   it "formatUTCTime" $ do
--       t1 &lt;- getCurrentTime 
--       let p1@DmyHm{..} = partFormats
--       traceIO $ formatUTCTime (("{day}/{month} {hour}:{minute}") &lt; 
--                       [("day",day),("month",month),("hour",hour),("minute",minute)])
--                       t1
--   
--   12/12 18:39                      
--   </pre>
formatUTCTime :: String -> UTCTime -> String

-- | %T%Q
hmsFraction :: String

-- | %T %Q
hmsFraction' :: String

-- | %F %T
ymdHms :: String

-- | %S.%-q
--   
--   second.pico
spicoFormat :: String

-- | some formats <i>no padding</i>
--   
--   see <a>formatTime</a> for full measure
--   
--   <pre>
--   day     %-d
--   month   %-m
--   year    %Y
--   hour    %-H
--   minute  %-M
--   </pre>
partFormats :: DmyHm String

module Data.Time.Hora.Parse

-- | specified time in specified zone, to <tt>DmyHmP</tt>
parse' :: TimeZone -> UTCTime -> Tz DmyHmp

-- | from specified <a>UTCTime</a>
class Parse out
parse :: Parse out => UTCTime -> out
instance Data.Time.Hora.Parse.Parse Data.Time.Hora.Type.DmyHm.DmyHmp
instance Data.Time.Hora.Parse.Parse Data.Time.Hora.Type.DmyHm.DmyHmp'

module Data.Time.Hora.Timestamp

-- | time with Pico in current timezone
--   
--   <pre>
--   &gt;&gt;&gt; now
--   Tz CET (DmyHm {day = 12, month = 12, year = 2016, hour = 19, minute = 33},15.546562180000)
--   </pre>
now :: IO (Tz DmyHmp)

-- | timestamp
--   
--   second.fraction. <b>UTC</b>
--   
--   <pre>
--   &gt;&gt;&gt; t
--   14:41:29.785834836
--   </pre>
t :: IO String

-- | timestamp
--   
--   second.fraction. <b>UTC</b>
--   
--   <pre>
--   &gt;&gt;&gt; t'
--   14:41:29 .785834836
--   </pre>
t' :: IO String

-- | date, time (to second) <b>UTC</b>
--   
--   <pre>
--   &gt;&gt;&gt; dt
--   2016-12-12 14:43:13
--   </pre>
dt :: IO String

-- | date stamp <i>yyyymmdd</i>
--   
--   <b>local</b> timezone
--   
--   <pre>
--   &gt;&gt;&gt; d
--   Tz CET "20161212"
--   </pre>
d :: IO (Tz String)

module Data.Time.Hora.Convert

-- | pico in 1 second
picoSec :: Integral a => a

-- | pico in 1 milli
picoMs :: Integral a => a

-- | milli in 1 sec
msSec :: Integral a => a

-- | <pre>
--   &gt;&gt;&gt; toPico (Milli 1)
--      1000000000 
--   </pre>
toPico :: TwoInt a b => TimeSpan a -> b

-- | <pre>
--   &gt;&gt;&gt; toMilli (Sec 1)
--      1000    
--   </pre>
toMilli :: TwoInt a b => TimeSpan a -> b
toSec :: TwoInt a b => TimeSpan a -> b
toDiffTime :: Integral a => TimeSpan a -> DiffTime
nominalDiff :: Integral a => TimeSpan a -> NominalDiffTime

module Data.Time.Hora.Future

-- | <a>getCurrentTime</a> +/- offset
--   
--   from unit test:
--   
--   <pre>
--   getCurrentTime
--   futureUTCTime $ Milli 100
--   futureUTCTime $ Sec 3
--   
--   2016-12-12 15:34:03.138798524 UTC
--   2016-12-12 15:34:03.23893359 UTC
--   2016-12-12 15:34:06.138978355 UTC
--   </pre>
futureUTCTime :: Integral a => TimeSpan a -> IO UTCTime

-- | time diff in milli
timeDiffMs :: UTCTime -> UTCTime -> Int