Data.Cache.Trace

Documentation

data CacheEvent k t v

Constructors

CacheEvict

Fields

• _ceKey :: !k
• _ceTracking :: !t
• _ceValue :: v

CacheAdd

Fields

• _ceKey :: !k
• _ceTracking :: !t
• _ceValue :: v

Instances

(Eq k, Eq t, Eq v) => Eq (CacheEvent k t v)

Defined in Data.Cache.Trace

Methods

(==) :: CacheEvent k t v -> CacheEvent k t v -> Bool

(/=) :: CacheEvent k t v -> CacheEvent k t v -> Bool

(Ord k, Ord t, Ord v) => Ord (CacheEvent k t v)

Defined in Data.Cache.Trace

Methods

compare :: CacheEvent k t v -> CacheEvent k t v -> Ordering

(<) :: CacheEvent k t v -> CacheEvent k t v -> Bool

(<=) :: CacheEvent k t v -> CacheEvent k t v -> Bool

(>) :: CacheEvent k t v -> CacheEvent k t v -> Bool

(>=) :: CacheEvent k t v -> CacheEvent k t v -> Bool

max :: CacheEvent k t v -> CacheEvent k t v -> CacheEvent k t v

min :: CacheEvent k t v -> CacheEvent k t v -> CacheEvent k t v

(Read k, Read t, Read v) => Read (CacheEvent k t v)

Defined in Data.Cache.Trace

Methods

readsPrec :: Int -> ReadS (CacheEvent k t v)

readList :: ReadS [CacheEvent k t v]

readPrec :: ReadPrec (CacheEvent k t v)

readListPrec :: ReadPrec [CacheEvent k t v]

(Show k, Show t, Show v) => Show (CacheEvent k t v)

Defined in Data.Cache.Trace

Methods

showsPrec :: Int -> CacheEvent k t v -> ShowS

show :: CacheEvent k t v -> String

showList :: [CacheEvent k t v] -> ShowS

type CacheTrace k t v = DList (CacheEvent k t v)

class MonadTrace (trc :: Bool) where

Methods

trace :: Applicative m => w -> Tracable trc w m ()

Instances

MonadTrace False

Defined in Data.Cache.Trace

Methods

trace :: Applicative m => w -> Tracable False w m ()

MonadTrace True

Defined in Data.Cache.Trace

Methods

trace :: Applicative m => w -> Tracable True w m ()

class MonadAtomicRef m => MonadAtomicRefTraced trc w m where

Methods

atomicModifyRefTraced :: Ref m a -> (a -> (a, w, b)) -> Tracable trc w m b

Atomically mutate the contents of a reference with trace data output

atomicModifyRefTraced' :: Ref m a -> (a -> (a, w, b)) -> Tracable trc w m b

Strict version of atomicModifyRefTraced. This forces both the value stored in the reference as well as the value returned but not the trace.

atomicModifyRefTracedM' :: Ref m a -> (forall m'. Monad m' => a -> Tracable trc w m' (a, b)) -> Tracable trc w m b

Strict Monadic update function so that tracing is closer to zero cost when unused.

Instances

(MonadAtomicRef m, Monoid w) => MonadAtomicRefTraced False w m

Defined in Data.Cache.Trace

Methods

atomicModifyRefTraced :: Ref m a -> (a -> (a, w, b)) -> Tracable False w m b

atomicModifyRefTraced' :: Ref m a -> (a -> (a, w, b)) -> Tracable False w m b

atomicModifyRefTracedM' :: Ref m a -> (forall (m' :: Type -> Type). Monad m' => a -> Tracable False w m' (a, b)) -> Tracable False w m b

(MonadAtomicRef m, Monoid w) => MonadAtomicRefTraced True w m

Defined in Data.Cache.Trace

Methods

atomicModifyRefTraced :: Ref m a -> (a -> (a, w, b)) -> Tracable True w m b

atomicModifyRefTraced' :: Ref m a -> (a -> (a, w, b)) -> Tracable True w m b

atomicModifyRefTracedM' :: Ref m a -> (forall (m' :: Type -> Type). Monad m' => a -> Tracable True w m' (a, b)) -> Tracable True w m b

atomicModifyRefTracedM'_ :: (MonadAtomicRefTraced trc w m, forall mg. Monad mg => Functor (Tracable trc w mg)) => Ref m a -> (forall m'. (Monad m', Functor (Tracable trc w m')) => a -> Tracable trc w m' a) -> Tracable trc w m ()

data family Tracable (trc :: Bool) :: * -> (* -> *) -> * -> *

Instances

Monoid w => MonadTrans (Tracable False w)

Defined in Data.Cache.Trace

Methods

lift :: Monad m => m a -> Tracable False w m a

Monoid w => MonadTrans (Tracable True w)

Defined in Data.Cache.Trace

Methods

lift :: Monad m => m a -> Tracable True w m a

Monad m => Monad (Tracable False w m)

Defined in Data.Cache.Trace

Methods

(>>=) :: Tracable False w m a -> (a -> Tracable False w m b) -> Tracable False w m b

(>>) :: Tracable False w m a -> Tracable False w m b -> Tracable False w m b

return :: a -> Tracable False w m a

fail :: String -> Tracable False w m a

(Monoid w, Monad m) => Monad (Tracable True w m)

Defined in Data.Cache.Trace

Methods

(>>=) :: Tracable True w m a -> (a -> Tracable True w m b) -> Tracable True w m b

(>>) :: Tracable True w m a -> Tracable True w m b -> Tracable True w m b

return :: a -> Tracable True w m a

fail :: String -> Tracable True w m a

Functor m => Functor (Tracable False w m)

Defined in Data.Cache.Trace

Methods

fmap :: (a -> b) -> Tracable False w m a -> Tracable False w m b

(<$) :: a -> Tracable False w m b -> Tracable False w m a

Functor m => Functor (Tracable True w m)

Defined in Data.Cache.Trace

Methods

fmap :: (a -> b) -> Tracable True w m a -> Tracable True w m b

(<$) :: a -> Tracable True w m b -> Tracable True w m a

MonadFix m => MonadFix (Tracable False w m)

Defined in Data.Cache.Trace

Methods

mfix :: (a -> Tracable False w m a) -> Tracable False w m a

(Monoid w, MonadFix m) => MonadFix (Tracable True w m)

Defined in Data.Cache.Trace

Methods

mfix :: (a -> Tracable True w m a) -> Tracable True w m a

MonadFail m => MonadFail (Tracable False w m)

Defined in Data.Cache.Trace

Methods

fail :: String -> Tracable False w m a

(Monoid w, MonadFail m) => MonadFail (Tracable True w m)

Defined in Data.Cache.Trace

Methods

fail :: String -> Tracable True w m a

Monad m => Applicative (Tracable False w m)

Defined in Data.Cache.Trace

Methods

pure :: a -> Tracable False w m a

(<*>) :: Tracable False w m (a -> b) -> Tracable False w m a -> Tracable False w m b

liftA2 :: (a -> b -> c) -> Tracable False w m a -> Tracable False w m b -> Tracable False w m c

(*>) :: Tracable False w m a -> Tracable False w m b -> Tracable False w m b

(<*) :: Tracable False w m a -> Tracable False w m b -> Tracable False w m a

(Monoid w, Monad m) => Applicative (Tracable True w m)

Defined in Data.Cache.Trace

Methods

pure :: a -> Tracable True w m a

(<*>) :: Tracable True w m (a -> b) -> Tracable True w m a -> Tracable True w m b

liftA2 :: (a -> b -> c) -> Tracable True w m a -> Tracable True w m b -> Tracable True w m c

(*>) :: Tracable True w m a -> Tracable True w m b -> Tracable True w m b

(<*) :: Tracable True w m a -> Tracable True w m b -> Tracable True w m a

(Monoid w, MonadIO m) => MonadIO (Tracable False w m)

Defined in Data.Cache.Trace

Methods

liftIO :: IO a -> Tracable False w m a

(Monoid w, MonadIO m) => MonadIO (Tracable True w m)

Defined in Data.Cache.Trace

Methods

liftIO :: IO a -> Tracable True w m a

(Monoid w, MonadPlus m) => Alternative (Tracable False w m)

Defined in Data.Cache.Trace

Methods

empty :: Tracable False w m a

(<|>) :: Tracable False w m a -> Tracable False w m a -> Tracable False w m a

some :: Tracable False w m a -> Tracable False w m [a]

many :: Tracable False w m a -> Tracable False w m [a]

(Monoid w, MonadPlus m) => Alternative (Tracable True w m)

Defined in Data.Cache.Trace

Methods

empty :: Tracable True w m a

(<|>) :: Tracable True w m a -> Tracable True w m a -> Tracable True w m a

some :: Tracable True w m a -> Tracable True w m [a]

many :: Tracable True w m a -> Tracable True w m [a]

(Monoid w, MonadPlus m) => MonadPlus (Tracable False w m)

Defined in Data.Cache.Trace

Methods

mzero :: Tracable False w m a

mplus :: Tracable False w m a -> Tracable False w m a -> Tracable False w m a

(Monoid w, MonadPlus m) => MonadPlus (Tracable True w m)

Defined in Data.Cache.Trace

Methods

mzero :: Tracable True w m a

mplus :: Tracable True w m a -> Tracable True w m a -> Tracable True w m a

newtype Tracable False w m a

Defined in Data.Cache.Trace

newtype Tracable False w m a = UntracedT {

• runUntracedT :: m a

}

newtype Tracable True w m a

Defined in Data.Cache.Trace

newtype Tracable True w m a = TracedT {

• runTracedT :: m (a, w)

}