Nix.Exec

Documentation

type MonadNix e m = (Scoped e (NThunk m) m, Framed e m, Has e SrcSpan, Has e Options, Typeable m, MonadVar m, MonadEffects m, MonadFix m, MonadCatch m, Alternative m)

data ExecFrame m

Constructors

Assertion SrcSpan (NValue m)

Instances

Show (ExecFrame m)

Defined in Nix.Exec

Methods

showsPrec :: Int -> ExecFrame m -> ShowS

show :: ExecFrame m -> String

showList :: [ExecFrame m] -> ShowS

Typeable m => Exception (ExecFrame m)

Defined in Nix.Exec

Methods

toException :: ExecFrame m -> SomeException

fromException :: SomeException -> Maybe (ExecFrame m)

displayException :: ExecFrame m -> String

nverr :: forall s e m a. (MonadNix e m, Exception s) => s -> m a

currentPos :: forall e m. (MonadReader e m, Has e SrcSpan) => m SrcSpan

wrapExprLoc :: SrcSpan -> NExprLocF r -> NExprLoc

callFunc :: forall e m. (MonadNix e m, Typeable m) => NValue m -> m (NValue m) -> m (NValue m) infixl 1

execUnaryOp :: (Framed e m, MonadVar m) => Scopes m (NThunk m) -> SrcSpan -> NUnaryOp -> NValue m -> m (NValue m)

execBinaryOp :: forall e m. (MonadNix e m, MonadEval (NValue m) m) => Scopes m (NThunk m) -> SrcSpan -> NBinaryOp -> NValue m -> m (NValue m) -> m (NValue m)

coerceToString :: MonadNix e m => Bool -> NValue m -> m String

newtype Lazy m a

Constructors

Lazy

Fields

• runLazy :: ReaderT (Context (Lazy m) (NThunk (Lazy m))) (StateT (HashMap FilePath NExprLoc) m) a

Instances

Monad m => Monad (Lazy m)

Defined in Nix.Exec

Methods

(>>=) :: Lazy m a -> (a -> Lazy m b) -> Lazy m b

(>>) :: Lazy m a -> Lazy m b -> Lazy m b

return :: a -> Lazy m a

fail :: String -> Lazy m a

Functor m => Functor (Lazy m)

Defined in Nix.Exec

Methods

fmap :: (a -> b) -> Lazy m a -> Lazy m b

(<$) :: a -> Lazy m b -> Lazy m a

MonadFix m => MonadFix (Lazy m)

Defined in Nix.Exec

Methods

mfix :: (a -> Lazy m a) -> Lazy m a

Monad m => Applicative (Lazy m)

Defined in Nix.Exec

Methods

pure :: a -> Lazy m a

(<*>) :: Lazy m (a -> b) -> Lazy m a -> Lazy m b

liftA2 :: (a -> b -> c) -> Lazy m a -> Lazy m b -> Lazy m c

(*>) :: Lazy m a -> Lazy m b -> Lazy m b

(<*) :: Lazy m a -> Lazy m b -> Lazy m a

MonadPlus m => Alternative (Lazy m)

Defined in Nix.Exec

Methods

empty :: Lazy m a

(<|>) :: Lazy m a -> Lazy m a -> Lazy m a

some :: Lazy m a -> Lazy m [a]

many :: Lazy m a -> Lazy m [a]

MonadPlus m => MonadPlus (Lazy m)

Defined in Nix.Exec

Methods

mzero :: Lazy m a

mplus :: Lazy m a -> Lazy m a -> Lazy m a

MonadIO m => MonadIO (Lazy m)

Defined in Nix.Exec

Methods

liftIO :: IO a -> Lazy m a

MonadThrow m => MonadThrow (Lazy m)

Defined in Nix.Exec

Methods

throwM :: Exception e => e -> Lazy m a

MonadCatch m => MonadCatch (Lazy m)

Defined in Nix.Exec

Methods

catch :: Exception e => Lazy m a -> (e -> Lazy m a) -> Lazy m a

MonadException m => MonadException (Lazy m)

Defined in Nix.Exec

Methods

controlIO :: (RunIO (Lazy m) -> IO (Lazy m a)) -> Lazy m a

MonadIO m => MonadVar (Lazy m)

Defined in Nix.Exec

Associated Types

type Var (Lazy m) :: * -> *

Methods

newVar :: a -> Lazy m (Var (Lazy m) a)

readVar :: Var (Lazy m) a -> Lazy m a

writeVar :: Var (Lazy m) a -> a -> Lazy m ()

atomicModifyVar :: Var (Lazy m) a -> (a -> (a, b)) -> Lazy m b

(MonadFix m, MonadCatch m, MonadIO m, Alternative m, MonadPlus m, Typeable m) => MonadEffects (Lazy m)

Defined in Nix.Exec

Methods

addPath :: FilePath -> Lazy m StorePath

toFile_ :: FilePath -> String -> Lazy m StorePath

makeAbsolutePath :: FilePath -> Lazy m FilePath

findEnvPath :: String -> Lazy m FilePath

findPath :: [NThunk (Lazy m)] -> FilePath -> Lazy m FilePath

pathExists :: FilePath -> Lazy m Bool

importPath :: AttrSet (NThunk (Lazy m)) -> FilePath -> Lazy m (NValue (Lazy m))

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

getCurrentSystemOS :: Lazy m Text

getCurrentSystemArch :: Lazy m Text

listDirectory :: FilePath -> Lazy m [FilePath]

getSymbolicLinkStatus :: FilePath -> Lazy m FileStatus

derivationStrict :: NValue (Lazy m) -> Lazy m (NValue (Lazy m))

nixInstantiateExpr :: String -> Lazy m (NValue (Lazy m))

getURL :: Text -> Lazy m (NValue (Lazy m))

getRecursiveSize :: a -> Lazy m (NValue (Lazy m))

traceEffect :: String -> Lazy m ()

exec :: [String] -> Lazy m (NValue (Lazy m))

Monad m => MonadReader (Context (Lazy m) (NThunk (Lazy m))) (Lazy m)

Defined in Nix.Exec

Methods

ask :: Lazy m (Context (Lazy m) (NThunk (Lazy m)))

local :: (Context (Lazy m) (NThunk (Lazy m)) -> Context (Lazy m) (NThunk (Lazy m))) -> Lazy m a -> Lazy m a

reader :: (Context (Lazy m) (NThunk (Lazy m)) -> a) -> Lazy m a

type Var (Lazy m)

Defined in Nix.Exec

type Var (Lazy m) = IORef

runLazyM :: Options -> MonadIO m => Lazy m a -> m a

removeDotDotIndirections :: FilePath -> FilePath

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

expandHomePath :: FilePath -> IO FilePath

pathToDefaultNixFile :: FilePath -> IO FilePath

(<///>) :: FilePath -> FilePath -> FilePath infixr 9

findPathBy :: forall e m. (MonadNix e m, MonadIO m) => (FilePath -> m (Maybe FilePath)) -> [NThunk m] -> FilePath -> m FilePath

findPathM :: forall e m. (MonadNix e m, MonadIO m) => [NThunk m] -> FilePath -> m FilePath

findEnvPathM :: forall e m. (MonadNix e m, MonadIO m) => FilePath -> m FilePath

addTracing :: (MonadNix e m, Has e Options, MonadIO m, MonadReader Int n, Alternative n) => Alg NExprLocF (m a) -> Alg NExprLocF (n (m a))

evalExprLoc :: forall e m. (MonadNix e m, Has e Options, MonadIO m) => NExprLoc -> m (NValue m)

Orphan instances

(MonadIO m, Monad m) => MonadFile m

Methods

readFile :: FilePath -> m ByteString

MonadNix e m => MonadEval (NValue m) m

Methods

freeVariable :: Text -> m (NValue m)

attrMissing :: NonEmpty Text -> Maybe (NValue m) -> m (NValue m)

evaledSym :: Text -> NValue m -> m (NValue m)

evalCurPos :: m (NValue m)

evalConstant :: NAtom -> m (NValue m)

evalString :: NString (m (NValue m)) -> m (NValue m)

evalLiteralPath :: FilePath -> m (NValue m)

evalEnvPath :: FilePath -> m (NValue m)

evalUnary :: NUnaryOp -> NValue m -> m (NValue m)

evalBinary :: NBinaryOp -> NValue m -> m (NValue m) -> m (NValue m)

evalWith :: m (NValue m) -> m (NValue m) -> m (NValue m)

evalIf :: NValue m -> m (NValue m) -> m (NValue m) -> m (NValue m)

evalAssert :: NValue m -> m (NValue m) -> m (NValue m)

evalApp :: NValue m -> m (NValue m) -> m (NValue m)

evalAbs :: Params (m (NValue m)) -> (forall a. m (NValue m) -> (AttrSet (m (NValue m)) -> m (NValue m) -> m (a, NValue m)) -> m (a, NValue m)) -> m (NValue m)

evalError :: Exception s => s -> m a

MonadNix e m => MonadThunk (NValue m) (NThunk m) m

Methods

thunk :: m (NValue m) -> m (NThunk m)

force :: NThunk m -> (NValue m -> m r) -> m r

value :: NValue m -> NThunk m