Permit validPaths to use effects

According to @shlevy, whether or not a rooted path is a valid path is
not an intrinsic property of the rooted path and requires a side effect
to determine, so this change modifies the `StoreEffects` record to
reflect that.
This commit is contained in:
Gabriel Gonzalez 2018-04-29 13:44:35 -07:00
parent 972e2c706f
commit e750f60609

View File

@ -93,7 +93,7 @@ data StoreEffects rootedPath validPath m =
, -- | Project out the underlying 'rootedPath' from a 'validPath'
fromValidPath :: !(validPath -> rootedPath)
, -- | Which of the given paths are valid?
validPaths :: !(HashSet rootedPath -> HashSet validPath)
validPaths :: !(HashSet rootedPath -> m (HashSet validPath))
, -- | Get the paths that refer to a given path.
referrers :: !(validPath -> m (HashSet Path))
, -- | Get a root to the 'Path'.