Safe Haskell	Safe-Inferred
Language	Haskell2010

System.Nix.Internal.Nar.Effects

Synopsis

data NarEffects (m :: * -> *) = NarEffects {
- narReadFile :: FilePath -> m ByteString
- narWriteFile :: FilePath -> ByteString -> m ()
- narStreamFile :: FilePath -> m (Maybe ByteString) -> m ()
- narListDir :: FilePath -> m [FilePath]
- narCreateDir :: FilePath -> m ()
- narCreateLink :: FilePath -> FilePath -> m ()
- narGetPerms :: FilePath -> m Permissions
- narSetPerms :: FilePath -> Permissions -> m ()
- narIsDir :: FilePath -> m Bool
- narIsSymLink :: FilePath -> m Bool
- narFileSize :: FilePath -> m Int64
- narReadLink :: FilePath -> m FilePath
- narDeleteDir :: FilePath -> m ()
- narDeleteFile :: FilePath -> m ()
}
narEffectsIO :: (MonadIO m, MonadFail m, MonadBaseControl IO m) => NarEffects m

Documentation

data NarEffects (m :: * -> *) Source #

Constructors

NarEffects

Fields

narReadFile :: FilePath -> m ByteString
narWriteFile :: FilePath -> ByteString -> m ()
narStreamFile :: FilePath -> m (Maybe ByteString) -> m ()
narListDir :: FilePath -> m [FilePath]
narCreateDir :: FilePath -> m ()
narCreateLink :: FilePath -> FilePath -> m ()
narGetPerms :: FilePath -> m Permissions
narSetPerms :: FilePath -> Permissions -> m ()
narIsDir :: FilePath -> m Bool
narIsSymLink :: FilePath -> m Bool
narFileSize :: FilePath -> m Int64
narReadLink :: FilePath -> m FilePath
narDeleteDir :: FilePath -> m ()
narDeleteFile :: FilePath -> m ()

Instances

Instances details

Monad m => MonadReader (NarEffects m) (NarParser m) Source #
Instance details Defined in System.Nix.Internal.Nar.Parser Methods ask :: NarParser m (NarEffects m) # local :: (NarEffects m -> NarEffects m) -> NarParser m a -> NarParser m a # reader :: (NarEffects m -> a) -> NarParser m a #

narEffectsIO :: (MonadIO m, MonadFail m, MonadBaseControl IO m) => NarEffects m Source #

A particular NarEffects that uses regular POSIX for file manipulation You would replace this with your own NarEffects if you wanted a different backend