Commit ee165d1b authored by Camil Staps's avatar Camil Staps 🍃

Merge branch 'scanDir' into 'master'

fix type of scanDirectory to allow a unique state

See merge request !290
parents d971c0ae 710eca96
Pipeline #31717 failed with stage
in 1 minute and 7 seconds
......@@ -32,7 +32,8 @@ recursiveDelete :: !FilePath !*World -> *(!MaybeOSError (), !*World)
* @result The updated state.
* @result The new world.
*/
scanDirectory :: !(FilePath FileInfo .st *World -> *(.st, *World)) !.st !FilePath !*World -> *(![OSError], !.st, !*World)
scanDirectory ::
!(FilePath FileInfo .st -> *(*World -> *(.st, *World))) !.st !FilePath !*World -> *(![OSError], !.st, !*World)
/**
* Create an {{RTree}} from a root for a directory structure.
......
......@@ -39,7 +39,8 @@ recursiveDelete fp w
= removeDirectory fp w
= deleteFile fp w
scanDirectory :: !(FilePath FileInfo .st *World -> *(.st, *World)) !.st !FilePath !*World -> *(![OSError], !.st, !*World)
scanDirectory ::
!(FilePath FileInfo .st -> *(*World -> *(.st, *World))) !.st !FilePath !*World -> *(![OSError], !.st, !*World)
scanDirectory upd st dir w = scan dir [] st w
where
scan dir errs st w
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment