Rock.Traces

Documentation

data ValueDeps f a

Constructors

ValueDeps

Fields

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

Instances

ShowTag f Identity => 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

(ShowTag f Identity, Show a) => 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, EqTag f Identity) => (forall a'. f a' -> m a') -> ValueDeps f a -> m (Maybe a)

record :: GCompare f => f a -> a -> DMap f Identity -> Traces f -> Traces f