Nix.Render

Documentation

class (MonadFail m, MonadIO m) => MonadFile m where

Minimal complete definition

Nothing

Methods

readFile :: Path -> m Text

default readFile :: (MonadTrans t, MonadIO m', MonadFile m', m ~ t m') => Path -> m Text

listDirectory :: Path -> m [Path]

default listDirectory :: (MonadTrans t, MonadFile m', m ~ t m') => Path -> m [Path]

getCurrentDirectory :: m Path

default getCurrentDirectory :: (MonadTrans t, MonadFile m', m ~ t m') => m Path

canonicalizePath :: Path -> m Path

default canonicalizePath :: (MonadTrans t, MonadFile m', m ~ t m') => Path -> m Path

getHomeDirectory :: m Path

default getHomeDirectory :: (MonadTrans t, MonadFile m', m ~ t m') => m Path

doesPathExist :: Path -> m Bool

default doesPathExist :: (MonadTrans t, MonadFile m', m ~ t m') => Path -> m Bool

doesFileExist :: Path -> m Bool

default doesFileExist :: (MonadTrans t, MonadFile m', m ~ t m') => Path -> m Bool

doesDirectoryExist :: Path -> m Bool

default doesDirectoryExist :: (MonadTrans t, MonadFile m', m ~ t m') => Path -> m Bool

getSymbolicLinkStatus :: Path -> m FileStatus

default getSymbolicLinkStatus :: (MonadTrans t, MonadFile m', m ~ t m') => Path -> m FileStatus

Instances

MonadFile IO

Defined in Nix.Render

Methods

readFile :: Path -> IO Text

listDirectory :: Path -> IO [Path]

getCurrentDirectory :: IO Path

canonicalizePath :: Path -> IO Path

getHomeDirectory :: IO Path

doesPathExist :: Path -> IO Bool

doesFileExist :: Path -> IO Bool

doesDirectoryExist :: Path -> IO Bool

getSymbolicLinkStatus :: Path -> IO FileStatus

(MonadFail m, MonadFile m) => MonadFile (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

readFile :: Path -> StdIdT m Text

listDirectory :: Path -> StdIdT m [Path]

getCurrentDirectory :: StdIdT m Path

canonicalizePath :: Path -> StdIdT m Path

getHomeDirectory :: StdIdT m Path

doesPathExist :: Path -> StdIdT m Bool

doesFileExist :: Path -> StdIdT m Bool

doesDirectoryExist :: Path -> StdIdT m Bool

getSymbolicLinkStatus :: Path -> StdIdT m FileStatus

(MonadFix1T t m, MonadIO (Fix1T t m), MonadFail (Fix1T t m), MonadFile m) => MonadFile (Fix1T t m)

Defined in Nix.Render

Methods

readFile :: Path -> Fix1T t m Text

listDirectory :: Path -> Fix1T t m [Path]

getCurrentDirectory :: Fix1T t m Path

canonicalizePath :: Path -> Fix1T t m Path

getHomeDirectory :: Fix1T t m Path

doesPathExist :: Path -> Fix1T t m Bool

doesFileExist :: Path -> Fix1T t m Bool

doesDirectoryExist :: Path -> Fix1T t m Bool

getSymbolicLinkStatus :: Path -> Fix1T t m FileStatus

posAndMsg :: SourcePos -> Doc a -> ParseError s Void

renderLocation :: MonadFile m => SrcSpan -> Doc a -> m (Doc a)

errorContext :: Path -> Pos -> Pos -> Pos -> Pos -> Doc a

sourceContext :: MonadFile m => Path -> Pos -> Pos -> Pos -> Pos -> Doc a -> m (Doc a)