Safe Haskell	None
Language	Haskell2010

Nix.Render

Documentation

class (MonadFail m, MonadIO m) => MonadFile (m :: Type -> Type) where Source #

Minimal complete definition

Nothing

Methods

readFile :: Path -> m Text Source #

default readFile :: forall (t :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (MonadTrans t, MonadIO m', MonadFile m', m ~ t m') => Path -> m Text Source #

listDirectory :: Path -> m [Path] Source #

default listDirectory :: forall (t :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (MonadTrans t, MonadFile m', m ~ t m') => Path -> m [Path] Source #

getCurrentDirectory :: m Path Source #

default getCurrentDirectory :: forall (t :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (MonadTrans t, MonadFile m', m ~ t m') => m Path Source #

canonicalizePath :: Path -> m Path Source #

default canonicalizePath :: forall (t :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (MonadTrans t, MonadFile m', m ~ t m') => Path -> m Path Source #

getHomeDirectory :: m Path Source #

default getHomeDirectory :: forall (t :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (MonadTrans t, MonadFile m', m ~ t m') => m Path Source #

doesPathExist :: Path -> m Bool Source #

default doesPathExist :: forall (t :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (MonadTrans t, MonadFile m', m ~ t m') => Path -> m Bool Source #

doesFileExist :: Path -> m Bool Source #

default doesFileExist :: forall (t :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (MonadTrans t, MonadFile m', m ~ t m') => Path -> m Bool Source #

doesDirectoryExist :: Path -> m Bool Source #

default doesDirectoryExist :: forall (t :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (MonadTrans t, MonadFile m', m ~ t m') => Path -> m Bool Source #

getSymbolicLinkStatus :: Path -> m FileStatus Source #

default getSymbolicLinkStatus :: forall (t :: (Type -> Type) -> Type -> Type) (m' :: Type -> Type). (MonadTrans t, MonadFile m', m ~ t m') => Path -> m FileStatus Source #

Instances

Instances details

MonadFile IO Source #
Instance details Defined in Nix.Render Methods readFile :: Path -> IO Text Source # listDirectory :: Path -> IO [Path] Source # getCurrentDirectory :: IO Path Source # canonicalizePath :: Path -> IO Path Source # getHomeDirectory :: IO Path Source # doesPathExist :: Path -> IO Bool Source # doesFileExist :: Path -> IO Bool Source # doesDirectoryExist :: Path -> IO Bool Source # getSymbolicLinkStatus :: Path -> IO FileStatus Source #
(MonadFail m, MonadFile m) => MonadFile (StdIdT m) Source #
Instance details Defined in Nix.Fresh.Basic Methods readFile :: Path -> StdIdT m Text Source # listDirectory :: Path -> StdIdT m [Path] Source # getCurrentDirectory :: StdIdT m Path Source # canonicalizePath :: Path -> StdIdT m Path Source # getHomeDirectory :: StdIdT m Path Source # doesPathExist :: Path -> StdIdT m Bool Source # doesFileExist :: Path -> StdIdT m Bool Source # doesDirectoryExist :: Path -> StdIdT m Bool Source # getSymbolicLinkStatus :: Path -> StdIdT m FileStatus Source #
(MonadFix1T t m, MonadIO (Fix1T t m), MonadFail (Fix1T t m), MonadFile m) => MonadFile (Fix1T t m) Source #
Instance details Defined in Nix.Render Methods readFile :: Path -> Fix1T t m Text Source # listDirectory :: Path -> Fix1T t m [Path] Source # getCurrentDirectory :: Fix1T t m Path Source # canonicalizePath :: Path -> Fix1T t m Path Source # getHomeDirectory :: Fix1T t m Path Source # doesPathExist :: Path -> Fix1T t m Bool Source # doesFileExist :: Path -> Fix1T t m Bool Source # doesDirectoryExist :: Path -> Fix1T t m Bool Source # getSymbolicLinkStatus :: Path -> Fix1T t m FileStatus Source #

posAndMsg :: NSourcePos -> Doc a -> ParseError s Void Source #

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

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

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