Test.FileSystem.Fake

Documentation

type FileSystem contents = Map String contents

newtype FileSystemT contents m a

Constructors

FileSystemT

Fields

• unFileSystemT :: StateT (FileSystem contents) m a

Instances

(MonadReader r m, MonadWriter w m) => MonadRWS r w (FileSystem contents) (FileSystemT contents m)

Defined in Test.FileSystem.Fake

MonadWriter w m => MonadWriter w (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

writer :: (a, w) -> FileSystemT contents m a

tell :: w -> FileSystemT contents m ()

listen :: FileSystemT contents m a -> FileSystemT contents m (a, w)

pass :: FileSystemT contents m (a, w -> w) -> FileSystemT contents m a

MonadReader r m => MonadReader r (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

ask :: FileSystemT contents m r

local :: (r -> r) -> FileSystemT contents m a -> FileSystemT contents m a

reader :: (r -> a) -> FileSystemT contents m a

MonadError e m => MonadError e (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

throwError :: e -> FileSystemT contents m a

catchError :: FileSystemT contents m a -> (e -> FileSystemT contents m a) -> FileSystemT contents m a

MonadTrans (FileSystemT contents)

Defined in Test.FileSystem.Fake

Methods

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

Monad m => MonadState (FileSystem contents) (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

get :: FileSystemT contents m (FileSystem contents)

put :: FileSystem contents -> FileSystemT contents m ()

state :: (FileSystem contents -> (a, FileSystem contents)) -> 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

MonadFix m => MonadFix (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

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

MonadFail m => MonadFail (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

fail :: String -> 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

MonadIO m => MonadIO (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

liftIO :: IO a -> FileSystemT contents m a

MonadPlus m => Alternative (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

empty :: FileSystemT contents m a

(<|>) :: FileSystemT contents m a -> FileSystemT contents m a -> FileSystemT contents m a

some :: FileSystemT contents m a -> FileSystemT contents m [a]

many :: FileSystemT contents m a -> FileSystemT contents m [a]

MonadPlus m => MonadPlus (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

mzero :: FileSystemT contents m a

mplus :: FileSystemT contents m a -> FileSystemT contents m a -> FileSystemT contents m a

MonadThrow m => MonadThrow (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

throwM :: Exception e => e -> FileSystemT contents m a

MonadCatch m => MonadCatch (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

catch :: Exception e => FileSystemT contents m a -> (e -> FileSystemT contents m a) -> FileSystemT contents m a

MonadMask m => MonadMask (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

mask :: ((forall a. FileSystemT contents m a -> FileSystemT contents m a) -> FileSystemT contents m b) -> FileSystemT contents m b

uninterruptibleMask :: ((forall a. FileSystemT contents m a -> FileSystemT contents m a) -> FileSystemT contents m b) -> FileSystemT contents m b

generalBracket :: FileSystemT contents m a -> (a -> ExitCase b -> FileSystemT contents m c) -> (a -> FileSystemT contents m b) -> FileSystemT contents m (b, c)

MonadCont m => MonadCont (FileSystemT contents m)

Defined in Test.FileSystem.Fake

Methods

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

type FileSystemM contents = FileSystemT contents Identity

type MonadFileSystem contents = MonadState (FileSystem contents)

runFileSystemT :: FileSystemT contents m a -> FileSystem contents -> m (a, FileSystem contents)

evalFileSystemT :: Functor f => FileSystemT contents f a -> FileSystem contents -> f a

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

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

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

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

readPath :: (MonadThrow m, MonadFileSystem contents m) => FilePath -> m contents

writePath :: MonadFileSystem contents m => FilePath -> contents -> m ()

modifyPath :: MonadFileSystem contents m => FilePath -> (Maybe contents -> Maybe contents) -> m ()