Nix.Effects

Documentation

newtype StorePath

A path into the nix store

Constructors

StorePath

Fields

• unStorePath :: FilePath

Instances

Convertible e t f m => ToValue StorePath m (NValue' t f m (NValue t f m))

Defined in Nix.Convert

Methods

toValue :: StorePath -> m (NValue' t f m (NValue t f m))

class (MonadFile m, MonadStore m, MonadPutStr m, MonadHttp m, MonadEnv m, MonadPaths m, MonadInstantiate m, MonadExec m, MonadIntrospect m) => MonadEffects t f m where

Methods

makeAbsolutePath :: FilePath -> m FilePath

Determine the absolute path of relative path in the current context

findEnvPath :: String -> m FilePath

findPath :: [NValue t f m] -> FilePath -> m FilePath

Having an explicit list of sets corresponding to the NIX_PATH and a file path try to find an existing path

importPath :: FilePath -> m (NValue t f m)

pathToDefaultNix :: FilePath -> m FilePath

derivationStrict :: NValue t f m -> m (NValue t f m)

traceEffect :: String -> m ()

Instances

(MonadEffects t f m, MonadDataContext f m) => MonadEffects t f (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

makeAbsolutePath :: FilePath -> StdIdT m FilePath

findEnvPath :: String -> StdIdT m FilePath

findPath :: [NValue t f (StdIdT m)] -> FilePath -> StdIdT m FilePath

importPath :: FilePath -> StdIdT m (NValue t f (StdIdT m))

pathToDefaultNix :: FilePath -> StdIdT m FilePath

derivationStrict :: NValue t f (StdIdT m) -> StdIdT m (NValue t f (StdIdT m))

traceEffect :: String -> StdIdT m ()

(MonadFix m, MonadFile m, MonadCatch m, MonadEnv m, MonadPaths m, MonadExec m, MonadHttp m, MonadInstantiate m, MonadIntrospect m, MonadPlus m, MonadPutStr m, MonadStore m, MonadAtomicRef m, Typeable m, Scoped (StdValue m) m, MonadReader (Context m (StdValue m)) m, MonadState (HashMap FilePath NExprLoc) m, MonadDataErrorContext (StdThunk m) (StdCited m) m, MonadThunk (StdThunk m) m (StdValue m), MonadValue (StdValue m) m) => MonadEffects (StdThunk m) (StdCited m) m

Defined in Nix.Standard

Methods

makeAbsolutePath :: FilePath -> m FilePath

findEnvPath :: String -> m FilePath

findPath :: [NValue (StdThunk m) (StdCited m) m] -> FilePath -> m FilePath

importPath :: FilePath -> m (NValue (StdThunk m) (StdCited m) m)

pathToDefaultNix :: FilePath -> m FilePath

derivationStrict :: NValue (StdThunk m) (StdCited m) m -> m (NValue (StdThunk m) (StdCited m) m)

traceEffect :: String -> m ()

class Monad m => MonadIntrospect m where

Minimal complete definition

Nothing

Methods

recursiveSize :: a -> m Word

default recursiveSize :: (MonadTrans t, MonadIntrospect m', m ~ t m') => a -> m Word

Instances

MonadIntrospect IO

Defined in Nix.Effects

Methods

recursiveSize :: a -> IO Word

MonadIntrospect m => MonadIntrospect (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

recursiveSize :: a -> StdIdT m Word

MonadIntrospect (t (Fix1 t)) => MonadIntrospect (Fix1 t)

Defined in Nix.Standard

Methods

recursiveSize :: a -> Fix1 t Word

(MonadIntrospect r, MonadIntrospect m) => MonadIntrospect (StandardTF r m)

Defined in Nix.Standard

Methods

recursiveSize :: a -> StandardTF r m Word

MonadIntrospect (t (Fix1T t m) m) => MonadIntrospect (Fix1T t m)

Defined in Nix.Standard

Methods

recursiveSize :: a -> Fix1T t m Word

class Monad m => MonadExec m where

Minimal complete definition

Nothing

Methods

exec' :: [String] -> m (Either ErrorCall NExprLoc)

default exec' :: (MonadTrans t, MonadExec m', m ~ t m') => [String] -> m (Either ErrorCall NExprLoc)

Instances

MonadExec IO

Defined in Nix.Effects

Methods

exec' :: [String] -> IO (Either ErrorCall NExprLoc)

MonadExec m => MonadExec (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

exec' :: [String] -> StdIdT m (Either ErrorCall NExprLoc)

MonadExec (t (Fix1 t)) => MonadExec (Fix1 t)

Defined in Nix.Standard

Methods

exec' :: [String] -> Fix1 t (Either ErrorCall NExprLoc)

(MonadExec r, MonadExec m) => MonadExec (StandardTF r m)

Defined in Nix.Standard

Methods

exec' :: [String] -> StandardTF r m (Either ErrorCall NExprLoc)

MonadExec (t (Fix1T t m) m) => MonadExec (Fix1T t m)

Defined in Nix.Standard

Methods

exec' :: [String] -> Fix1T t m (Either ErrorCall NExprLoc)

class Monad m => MonadInstantiate m where

Minimal complete definition

Nothing

Methods

instantiateExpr :: String -> m (Either ErrorCall NExprLoc)

default instantiateExpr :: (MonadTrans t, MonadInstantiate m', m ~ t m') => String -> m (Either ErrorCall NExprLoc)

Instances

MonadInstantiate IO

Defined in Nix.Effects

Methods

instantiateExpr :: String -> IO (Either ErrorCall NExprLoc)

MonadInstantiate m => MonadInstantiate (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

instantiateExpr :: String -> StdIdT m (Either ErrorCall NExprLoc)

MonadInstantiate (t (Fix1 t)) => MonadInstantiate (Fix1 t)

Defined in Nix.Standard

Methods

instantiateExpr :: String -> Fix1 t (Either ErrorCall NExprLoc)

(MonadInstantiate r, MonadInstantiate m) => MonadInstantiate (StandardTF r m)

Defined in Nix.Standard

Methods

instantiateExpr :: String -> StandardTF r m (Either ErrorCall NExprLoc)

MonadInstantiate (t (Fix1T t m) m) => MonadInstantiate (Fix1T t m)

Defined in Nix.Standard

Methods

instantiateExpr :: String -> Fix1T t m (Either ErrorCall NExprLoc)

pathExists :: MonadFile m => FilePath -> m Bool

class Monad m => MonadEnv m where

Minimal complete definition

Nothing

Methods

getEnvVar :: String -> m (Maybe String)

default getEnvVar :: (MonadTrans t, MonadEnv m', m ~ t m') => String -> m (Maybe String)

getCurrentSystemOS :: m Text

default getCurrentSystemOS :: (MonadTrans t, MonadEnv m', m ~ t m') => m Text

getCurrentSystemArch :: m Text

default getCurrentSystemArch :: (MonadTrans t, MonadEnv m', m ~ t m') => m Text

Instances

MonadEnv IO

Defined in Nix.Effects

Methods

getEnvVar :: String -> IO (Maybe String)

getCurrentSystemOS :: IO Text

getCurrentSystemArch :: IO Text

MonadEnv m => MonadEnv (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

getEnvVar :: String -> StdIdT m (Maybe String)

getCurrentSystemOS :: StdIdT m Text

getCurrentSystemArch :: StdIdT m Text

MonadEnv (t (Fix1 t)) => MonadEnv (Fix1 t)

Defined in Nix.Standard

Methods

getEnvVar :: String -> Fix1 t (Maybe String)

getCurrentSystemOS :: Fix1 t Text

getCurrentSystemArch :: Fix1 t Text

(MonadEnv r, MonadEnv m) => MonadEnv (StandardTF r m)

Defined in Nix.Standard

Methods

getEnvVar :: String -> StandardTF r m (Maybe String)

getCurrentSystemOS :: StandardTF r m Text

getCurrentSystemArch :: StandardTF r m Text

MonadEnv (t (Fix1T t m) m) => MonadEnv (Fix1T t m)

Defined in Nix.Standard

Methods

getEnvVar :: String -> Fix1T t m (Maybe String)

getCurrentSystemOS :: Fix1T t m Text

getCurrentSystemArch :: Fix1T t m Text

class Monad m => MonadPaths m where

Minimal complete definition

Nothing

Methods

getDataDir :: m FilePath

default getDataDir :: (MonadTrans t, MonadPaths m', m ~ t m') => m FilePath

Instances

MonadPaths IO

Defined in Nix.Effects

Methods

getDataDir :: IO FilePath

MonadPaths m => MonadPaths (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

getDataDir :: StdIdT m FilePath

MonadPaths (t (Fix1 t)) => MonadPaths (Fix1 t)

Defined in Nix.Standard

Methods

getDataDir :: Fix1 t FilePath

(MonadPaths r, MonadPaths m) => MonadPaths (StandardTF r m)

Defined in Nix.Standard

Methods

getDataDir :: StandardTF r m FilePath

MonadPaths (t (Fix1T t m) m) => MonadPaths (Fix1T t m)

Defined in Nix.Standard

Methods

getDataDir :: Fix1T t m FilePath

class Monad m => MonadHttp m where

Minimal complete definition

Nothing

Methods

getURL :: Text -> m (Either ErrorCall StorePath)

default getURL :: (MonadTrans t, MonadHttp m', m ~ t m') => Text -> m (Either ErrorCall StorePath)

Instances

MonadHttp IO

Defined in Nix.Effects

Methods

getURL :: Text -> IO (Either ErrorCall StorePath)

MonadHttp m => MonadHttp (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

getURL :: Text -> StdIdT m (Either ErrorCall StorePath)

MonadHttp (t (Fix1 t)) => MonadHttp (Fix1 t)

Defined in Nix.Standard

Methods

getURL :: Text -> Fix1 t (Either ErrorCall StorePath)

(MonadHttp r, MonadHttp m) => MonadHttp (StandardTF r m)

Defined in Nix.Standard

Methods

getURL :: Text -> StandardTF r m (Either ErrorCall StorePath)

MonadHttp (t (Fix1T t m) m) => MonadHttp (Fix1T t m)

Defined in Nix.Standard

Methods

getURL :: Text -> Fix1T t m (Either ErrorCall StorePath)

class Monad m => MonadPutStr m where

Minimal complete definition

Nothing

Methods

putStr :: String -> m ()

default putStr :: (MonadTrans t, MonadPutStr m', m ~ t m') => String -> m ()

Instances

MonadPutStr IO

Defined in Nix.Effects

Methods

putStr :: String -> IO ()

MonadPutStr m => MonadPutStr (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

putStr :: String -> StdIdT m ()

MonadPutStr (t (Fix1 t)) => MonadPutStr (Fix1 t)

Defined in Nix.Standard

Methods

putStr :: String -> Fix1 t ()

(MonadPutStr r, MonadPutStr m) => MonadPutStr (StandardTF r m)

Defined in Nix.Standard

Methods

putStr :: String -> StandardTF r m ()

MonadPutStr (t (Fix1T t m) m) => MonadPutStr (Fix1T t m)

Defined in Nix.Standard

Methods

putStr :: String -> Fix1T t m ()

putStrLn :: MonadPutStr m => String -> m ()

print :: (MonadPutStr m, Show a) => a -> m ()

class Monad m => MonadStore m where

Methods

addPath' :: FilePath -> m (Either ErrorCall StorePath)

Import a path into the nix store, and return the resulting path

toFile_' :: FilePath -> String -> m (Either ErrorCall StorePath)

Add a file with the given name and contents to the nix store

Instances

MonadStore IO

Defined in Nix.Effects

Methods

addPath' :: FilePath -> IO (Either ErrorCall StorePath)

toFile_' :: FilePath -> String -> IO (Either ErrorCall StorePath)

MonadStore m => MonadStore (StdIdT m)

Defined in Nix.Fresh.Basic

Methods

addPath' :: FilePath -> StdIdT m (Either ErrorCall StorePath)

toFile_' :: FilePath -> String -> StdIdT m (Either ErrorCall StorePath)

(MonadFix1T t m, MonadStore m) => MonadStore (Fix1T t m)

Defined in Nix.Standard

Methods

addPath' :: FilePath -> Fix1T t m (Either ErrorCall StorePath)

toFile_' :: FilePath -> String -> Fix1T t m (Either ErrorCall StorePath)

addPath :: (Framed e m, MonadStore m) => FilePath -> m StorePath

toFile_ :: (Framed e m, MonadStore m) => FilePath -> String -> m StorePath