| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Nix.Effects.Basic
Synopsis
- defaultToAbsolutePath :: forall e t (f :: Type -> Type) m. MonadNix e t f m => Path -> m Path
- expandHomePath :: MonadFile m => Path -> m Path
- removeDotDotIndirections :: Path -> Path
- (<///>) :: Path -> Path -> Path
- defaultFindEnvPath :: forall e t (f :: Type -> Type) m. MonadNix e t f m => String -> m Path
- findEnvPathM :: forall e t (f :: Type -> Type) m. MonadNix e t f m => Path -> m Path
- findPathBy :: forall e t (f :: Type -> Type) m. MonadNix e t f m => (Path -> m (Maybe Path)) -> [NValue t f m] -> Path -> m Path
- fetchTarball :: forall e t (f :: Type -> Type) m. MonadNix e t f m => NValue t f m -> m (NValue t f m)
- defaultFindPath :: forall e t (f :: Type -> Type) m. MonadNix e t f m => [NValue t f m] -> Path -> m Path
- findPathM :: forall e t (f :: Type -> Type) m. MonadNix e t f m => [NValue t f m] -> Path -> m Path
- defaultImportPath :: forall e t (f :: Type -> Type) m b. (MonadNix e t f m, MonadState (HashMap Path NExprLoc, b) m) => Path -> m (NValue t f m)
- defaultPathToDefaultNix :: forall e t (f :: Type -> Type) m. MonadNix e t f m => Path -> m Path
- pathToDefaultNixFile :: MonadFile m => Path -> m Path
- defaultTraceEffect :: MonadPutStr m => String -> m ()
Documentation
defaultToAbsolutePath :: forall e t (f :: Type -> Type) m. MonadNix e t f m => Path -> m Path Source #
removeDotDotIndirections :: Path -> Path Source #
Incorrectly normalize paths by rewriting patterns like ab.. to a.
This is incorrect on POSIX systems, because if b is a symlink, its
parent may be a different directory from a. See the discussion at
https://hackage.haskell.org/package/directory-1.3.1.5/docs/System-Directory.html#v:canonicalizePath
defaultFindEnvPath :: forall e t (f :: Type -> Type) m. MonadNix e t f m => String -> m Path Source #
findPathBy :: forall e t (f :: Type -> Type) m. MonadNix e t f m => (Path -> m (Maybe Path)) -> [NValue t f m] -> Path -> m Path Source #
fetchTarball :: forall e t (f :: Type -> Type) m. MonadNix e t f m => NValue t f m -> m (NValue t f m) Source #
defaultFindPath :: forall e t (f :: Type -> Type) m. MonadNix e t f m => [NValue t f m] -> Path -> m Path Source #
findPathM :: forall e t (f :: Type -> Type) m. MonadNix e t f m => [NValue t f m] -> Path -> m Path Source #
defaultImportPath :: forall e t (f :: Type -> Type) m b. (MonadNix e t f m, MonadState (HashMap Path NExprLoc, b) m) => Path -> m (NValue t f m) Source #
defaultPathToDefaultNix :: forall e t (f :: Type -> Type) m. MonadNix e t f m => Path -> m Path Source #
defaultTraceEffect :: MonadPutStr m => String -> m () Source #