Safe Haskell | Safe-Infered |
---|
Documentation
class (Functor m, Monad m, Functor (ApplyMonadBase m), Monad (ApplyMonadBase m), ToTree state) => ApplyMonad m state whereSource
type ApplyMonadBase m :: * -> *Source
nestedApply :: m x -> state (ApplyMonadBase m) -> m (x, state (ApplyMonadBase m))Source
liftApply :: (state (ApplyMonadBase m) -> ApplyMonadBase m x) -> state (ApplyMonadBase m) -> m (x, state (ApplyMonadBase m))Source
getApplyState :: m (state (ApplyMonadBase m))Source
putApplyState :: state m -> m ()Source
editFile :: state ~ ObjectMap => UUID -> (ByteString -> ByteString) -> m ()Source
editDirectory :: state ~ ObjectMap => UUID -> (DirContent -> DirContent) -> m ()Source
mDoesDirectoryExist :: state ~ Tree => FileName -> m BoolSource
mDoesFileExist :: state ~ Tree => FileName -> m BoolSource
mReadFilePS :: state ~ Tree => FileName -> m ByteStringSource
mReadFilePSs :: state ~ Tree => FileName -> m [ByteString]Source
mCreateDirectory :: state ~ Tree => FileName -> m ()Source
mRemoveDirectory :: state ~ Tree => FileName -> m ()Source
mCreateFile :: state ~ Tree => FileName -> m ()Source
mRemoveFile :: state ~ Tree => FileName -> m ()Source
mRename :: state ~ Tree => FileName -> FileName -> m ()Source
mModifyFilePS :: state ~ Tree => FileName -> (ByteString -> m ByteString) -> m ()Source
mModifyFilePSs :: state ~ Tree => FileName -> ([ByteString] -> m [ByteString]) -> m ()Source
mChangePref :: state ~ Tree => String -> String -> String -> m ()Source
ApplyMonad IO Tree | |
ApplyMonad RestrictedApply Tree | |
ApplyMonad FilePathMonad Tree | |
ApplyMonad AnnotatedM Tree | |
ApplyMonad SilentIO Tree | |
ApplyMonad TolerantIO Tree | |
(Functor m, Monad m) => ApplyMonad (TreeMonad m) Tree | |
ApplyMonad (HashedIO p) Tree | |
(Functor m, Monad m) => ApplyMonad (StateT (ObjectMap m) m) ObjectMap |
class (Functor m, Monad m, ApplyMonad (ApplyMonadOver m state) state) => ApplyMonadTrans m state whereSource
type ApplyMonadOver m state :: * -> *Source
runApplyMonad :: ApplyMonadOver m state x -> state m -> m (x, state m)Source
(Functor m, Monad m) => ApplyMonadTrans m Tree | |
(Functor m, Monad m) => ApplyMonadTrans m ObjectMap |
withFilePaths :: [FileName] -> FilePathMonad a -> [FileName]Source
withFiles :: [(FileName, ByteString)] -> RestrictedApply a -> [(FileName, ByteString)]Source