validPath -> validPaths.

We don't need both.
This commit is contained in:
Shea Levy 2018-04-27 19:50:03 -07:00
parent 3c23fed2ac
commit 12a75f5c47
No known key found for this signature in database
GPG Key ID: 5C0BD6957D86FE27

View File

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