-- |
-- Module:      Data.Cache.Internal
-- Copyright:   (c) 2018 Henri Verroken
-- License:     BSD3
-- Maintainer:  Henri Verroken <henriverroken@gmail.com>
-- Stability:   stable
--
-- This modules exposes some of the internals of 'Data.Cache' as well as some
-- auxiliary functions for expert users.

module Data.Cache.Internal (
    -- * Cache constructor
    Cache(..)
  , CacheItem(..)

    -- * Unsafe auxiliary functions
  , nowSTM
) where

import Control.Concurrent.STM
import GHC.Conc (unsafeIOToSTM)
import System.Clock
import qualified Data.HashMap.Strict as HM

-- | The cache with keys of type @k@ and values of type @v@.
--
-- Create caches with the 'newCache' and 'copyCache' functions.
data Cache k v = Cache {
    Cache k v -> TVar (HashMap k (CacheItem v))
container :: TVar (HM.HashMap k (CacheItem v))
    -- | The default expiration value of newly added cache items.
    --
    -- See 'newCache' for more information on the default expiration value.
  , Cache k v -> Maybe TimeSpec
defaultExpiration :: Maybe TimeSpec
}

-- | A container data type holding a cache item.
data CacheItem v = CacheItem {
    CacheItem v -> v
item :: v
  , CacheItem v -> Maybe TimeSpec
itemExpiration :: Maybe TimeSpec
}

-- | Get the current time in the 'STM' monad using 'unsafeIOToSTM'.
nowSTM :: STM TimeSpec
nowSTM :: STM TimeSpec
nowSTM = IO TimeSpec -> STM TimeSpec
forall a. IO a -> STM a
unsafeIOToSTM (IO TimeSpec -> STM TimeSpec) -> IO TimeSpec -> STM TimeSpec
forall a b. (a -> b) -> a -> b
$ Clock -> IO TimeSpec
getTime Clock
Monotonic