Rock.Traces

Documentation

data ValueDeps f a

Constructors

ValueDeps

Fields

• value :: !(Hashed a)
• dependencies :: !(DMap f Hashed)

Instances

ShowTag f Hashed => Show1 (ValueDeps f)

Defined in Rock.Traces

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> ValueDeps f a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [ValueDeps f a] -> ShowS

(Show a, ShowTag f Hashed) => Show (ValueDeps f a)

Defined in Rock.Traces

Methods

showsPrec :: Int -> ValueDeps f a -> ShowS

show :: ValueDeps f a -> String

showList :: [ValueDeps f a] -> ShowS

type Traces f = DMap f (ValueDeps f)

verifyDependencies :: Monad m => (forall a'. f a' -> m (Hashed a')) -> ValueDeps f a -> m (Maybe a)

record :: (GCompare f, HashTag f) => f a -> a -> DMap f Identity -> Traces f -> Traces f