rock-0.1.0.1: A build system for incremental, parallel, and demand-driven computations

Safe HaskellNone
LanguageHaskell2010

Rock.Traces

Documentation

data ValueDeps f a Source #

Constructors

ValueDeps 

Fields

Instances
ShowTag f Hashed => Show1 (ValueDeps f) Source # 
Instance details

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) Source # 
Instance details

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) Source #

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

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