Test.FileSystem.Fake

Documentation

type FileSystem contents = Map String contents

newtype FileSystemT contents m a

Constructors

FileSystemT (ExceptT IOException (StateT (FileSystem contents) m) a)

Instances

MonadTrans (FileSystemT contents)

Defined in Test.FileSystem.Fake

Methods

lift :: Monad m => m a -> FileSystemT contents m a

Monad m => Monad (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

(>>=) :: FileSystemT contents m a -> (a -> FileSystemT contents m b) -> FileSystemT contents m b

(>>) :: FileSystemT contents m a -> FileSystemT contents m b -> FileSystemT contents m b

return :: a -> FileSystemT contents m a

fail :: String -> FileSystemT contents m a

Functor m => Functor (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

fmap :: (a -> b) -> FileSystemT contents m a -> FileSystemT contents m b

(<$) :: a -> FileSystemT contents m b -> FileSystemT contents m a

Monad m => Applicative (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

pure :: a -> FileSystemT contents m a

(<*>) :: FileSystemT contents m (a -> b) -> FileSystemT contents m a -> FileSystemT contents m b

liftA2 :: (a -> b -> c) -> FileSystemT contents m a -> FileSystemT contents m b -> FileSystemT contents m c

(*>) :: FileSystemT contents m a -> FileSystemT contents m b -> FileSystemT contents m b

(<*) :: FileSystemT contents m a -> FileSystemT contents m b -> FileSystemT contents m a

type FileSystemM contents = FileSystemT contents Identity

runFileSystemT :: Functor m => FileSystem contents -> FileSystemT contents m a -> m (FileSystem contents, Either IOException a)

evalFileSystemT :: Functor f => FileSystem contents -> FileSystemT contents f a -> f (Either IOException a)

execFileSystemT :: Functor f => FileSystem contents -> FileSystemT contents f a -> f (FileSystem contents)

runFileSystemM :: FileSystem contents -> FileSystemM contents a -> (FileSystem contents, Either IOException a)

evalFileSystemM :: FileSystem contents -> FileSystemM contents a -> Either IOException a

execFileSystemM :: FileSystem contents -> FileSystemM contents a -> FileSystem contents

readPath :: Monad m => FilePath -> FileSystemT contents m contents

writePath :: Monad m => FilePath -> contents -> FileSystemT contents m ()

modifyPath :: Monad m => FilePath -> (Maybe contents -> Maybe contents) -> FileSystemT contents m ()