Fixed one errant runState use

This commit is contained in:
Justus Adam 2018-02-08 14:25:53 +01:00 committed by Alexis King
parent dedbacec57
commit db512cc9f5

View File

@ -84,7 +84,7 @@ implemented in-memory in terms of 'Control.Monad.Freer.State.State'. With
@
runInMemoryFileSystem :: [('FilePath', 'String')] -> 'Eff' (FileSystem ': effs) '~>' 'Eff' effs
runInMemoryFileSystem initVfs = 'Control.Monad.Freer.State.runState' initVfs '.' fsToState where
runInMemoryFileSystem initVfs = 'Control.Monad.Freer.State.evalState' initVfs '.' fsToState where
fsToState :: 'Eff' (FileSystem ': effs) '~>' 'Eff' ('Control.Monad.Freer.State.State' [('FilePath', 'String')] ': effs)
fsToState = 'reinterpret' '$' \case
ReadFile path -> 'Control.Monad.Freer.State.get' '>>=' \\vfs -> case 'lookup' path vfs of