isValidPath -> validPath

This commit is contained in:
Shea Levy 2018-04-27 04:51:35 -07:00
parent 02e1adf263
commit f086a5c5a9
No known key found for this signature in database
GPG Key ID: 5C0BD6957D86FE27

View File

@ -61,5 +61,5 @@ data ReadonlyStoreEffects rootedPath validPath m =
, -- | Project out the underlying 'rootedPath' from a 'validPath'
fromValidPath :: !(validPath -> rootedPath)
, -- | Is the given path valid?
isValidPath :: !(rootedPath -> m (Maybe validPath))
validPath :: !(rootedPath -> m (Maybe validPath))
}