Rock.Traces

Documentation

data ValueDeps f dep a

Constructors

ValueDeps

Fields

• value :: !a
• dependencies :: !(DHashMap f dep)

Instances

(GShow f, Has' Show f dep) => Show1 (ValueDeps f dep)

Defined in Rock.Traces

Methods

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

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

(Show a, GShow f, Has' Show f dep) => Show (ValueDeps f dep a)

Defined in Rock.Traces

Methods

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

show :: ValueDeps f dep a -> String

showList :: [ValueDeps f dep a] -> ShowS

type Traces f dep = DHashMap f (ValueDeps f dep)

verifyDependencies :: (MonadIO m, GEq f, Has' Eq f dep) => (forall a'. f a' -> m a') -> (forall a'. f a' -> a' -> m (dep a')) -> ValueDeps f dep a -> m (Maybe a)

record :: (GEq f, Hashable (Some f)) => f a -> a -> DHashMap f g -> Traces f g -> Traces f g