Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type FileSystem meta contents = Map String (meta contents) Source #
data MetaHandlers meta contents m Source #
MetaHandlers | |
|
newtype FileSystemT meta contents m a Source #
FileSystemT (ReaderT (MetaHandlers meta contents m) (ExceptT IOException (StateT (FileSystem meta contents) m)) a) |
Instances
MonadTrans (FileSystemT meta contents) Source # | |
Defined in Test.FileSystem.Fake lift :: Monad m => m a -> FileSystemT meta contents m a # | |
Monad m => Monad (FileSystemT meta contents m) Source # | |
Defined in Test.FileSystem.Fake (>>=) :: FileSystemT meta contents m a -> (a -> FileSystemT meta contents m b) -> FileSystemT meta contents m b # (>>) :: FileSystemT meta contents m a -> FileSystemT meta contents m b -> FileSystemT meta contents m b # return :: a -> FileSystemT meta contents m a # fail :: String -> FileSystemT meta contents m a # | |
Functor m => Functor (FileSystemT meta contents m) Source # | |
Defined in Test.FileSystem.Fake fmap :: (a -> b) -> FileSystemT meta contents m a -> FileSystemT meta contents m b # (<$) :: a -> FileSystemT meta contents m b -> FileSystemT meta contents m a # | |
Monad m => Applicative (FileSystemT meta contents m) Source # | |
Defined in Test.FileSystem.Fake pure :: a -> FileSystemT meta contents m a # (<*>) :: FileSystemT meta contents m (a -> b) -> FileSystemT meta contents m a -> FileSystemT meta contents m b # liftA2 :: (a -> b -> c) -> FileSystemT meta contents m a -> FileSystemT meta contents m b -> FileSystemT meta contents m c # (*>) :: FileSystemT meta contents m a -> FileSystemT meta contents m b -> FileSystemT meta contents m b # (<*) :: FileSystemT meta contents m a -> FileSystemT meta contents m b -> FileSystemT meta contents m a # |
type FileSystemM meta contents = FileSystemT meta contents Identity Source #
type SimplestMetaHandlers contents = MetaHandlers Identity contents Identity Source #
simplestMetaHandlers :: SimplestMetaHandlers contents Source #
runFileSystemT :: Functor m => MetaHandlers meta contents m -> FileSystem meta contents -> FileSystemT meta contents m a -> m (FileSystem meta contents, Either IOException a) Source #
runFileSystemM :: MetaHandlers meta contents Identity -> FileSystem meta contents -> FileSystemM meta contents a -> (FileSystem meta contents, Either IOException a) Source #
writeFileT :: Monad m => FilePath -> contents -> FileSystemT meta contents m () Source #