Safe Haskell	None
Language	Haskell2010

Nix.Exec

Contents

Orphan instances

Synopsis

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) Source #

data ExecFrame m Source #

Constructors

Assertion SrcSpan (NValue m)

Instances

Show (ExecFrame m) Source #
Methods showsPrec :: Int -> ExecFrame m -> ShowS # show :: ExecFrame m -> String # showList :: [ExecFrame m] -> ShowS #
Typeable (* -> *) m => Exception (ExecFrame m) Source #
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 Source #

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

wrapExprLoc :: SrcSpan -> NExprLocF r -> NExprLoc Source #

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

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

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) Source #

coerceToString :: MonadNix e m => NValue m -> m String Source #

newtype Lazy m a Source #

Constructors

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

Instances

Monad m => Monad (Lazy m) Source #
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) Source #
Methods fmap :: (a -> b) -> Lazy m a -> Lazy m b # (<$) :: a -> Lazy m b -> Lazy m a #
MonadFix m => MonadFix (Lazy m) Source #
Methods mfix :: (a -> Lazy m a) -> Lazy m a #
Monad m => Applicative (Lazy m) Source #
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) Source #
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) Source #
Methods mzero :: Lazy m a # mplus :: Lazy m a -> Lazy m a -> Lazy m a #
MonadIO m => MonadIO (Lazy m) Source #
Methods liftIO :: IO a -> Lazy m a #
MonadThrow m => MonadThrow (Lazy m) Source #
Methods throwM :: Exception e => e -> Lazy m a #
MonadCatch m => MonadCatch (Lazy m) Source #
Methods catch :: Exception e => Lazy m a -> (e -> Lazy m a) -> Lazy m a #
MonadException m => MonadException (Lazy m) Source #
Methods controlIO :: (RunIO (Lazy m) -> IO (Lazy m a)) -> Lazy m a #
MonadIO m => MonadVar (Lazy m) Source #
Associated Types type Var (Lazy m :: * -> ) :: -> * Source # Methods newVar :: a -> Lazy m (Var (Lazy m) a) Source # readVar :: Var (Lazy m) a -> Lazy m a Source # writeVar :: Var (Lazy m) a -> a -> Lazy m () Source # atomicModifyVar :: Var (Lazy m) a -> (a -> (a, b)) -> Lazy m b Source #
(MonadFix m, MonadCatch m, MonadIO m, Alternative m, MonadPlus m, Typeable (* -> *) m) => MonadEffects (Lazy m) Source #
Methods addPath :: FilePath -> Lazy m StorePath Source # makeAbsolutePath :: FilePath -> Lazy m FilePath Source # findEnvPath :: String -> Lazy m FilePath Source # pathExists :: FilePath -> Lazy m Bool Source # importPath :: AttrSet (NThunk (Lazy m)) -> FilePath -> Lazy m (NValue (Lazy m)) Source # getEnvVar :: String -> Lazy m (Maybe String) Source # getCurrentSystemOS :: Lazy m Text Source # getCurrentSystemArch :: Lazy m Text Source # listDirectory :: FilePath -> Lazy m [FilePath] Source # getSymbolicLinkStatus :: FilePath -> Lazy m FileStatus Source # derivationStrict :: NValue (Lazy m) -> Lazy m (NValue (Lazy m)) Source # nixInstantiateExpr :: String -> Lazy m (NValue (Lazy m)) Source # getURL :: Text -> Lazy m (NValue (Lazy m)) Source # getRecursiveSize :: a -> Lazy m (NValue (Lazy m)) Source # traceEffect :: String -> Lazy m () Source # exec :: [String] -> Lazy m (NValue (Lazy m)) Source #
Monad m => MonadReader (Context (Lazy m) (NThunk (Lazy m))) (Lazy m) Source #
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) Source #
type Var (Lazy m) = IORef

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

removeDotDotIndirections :: FilePath -> FilePath 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

expandHomePath :: FilePath -> IO FilePath Source #

pathToDefaultNixFile :: FilePath -> IO FilePath Source #

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

nixFilePath :: (MonadEffects m, MonadIO m) => FilePath -> m (Maybe FilePath) Source #

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

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

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

Orphan instances

(MonadIO m, Monad m) => MonadFile m Source #
Methods readFile :: FilePath -> m ByteString Source #
MonadNix e m => MonadEval (NValue m) m Source #
Methods freeVariable :: Text -> m (NValue m) Source # attrMissing :: NonEmpty Text -> Maybe (NValue m) -> m (NValue m) Source # evaledSym :: Text -> NValue m -> m (NValue m) Source # evalCurPos :: m (NValue m) Source # evalConstant :: NAtom -> m (NValue m) Source # evalString :: NString (m (NValue m)) -> m (NValue m) Source # evalLiteralPath :: FilePath -> m (NValue m) Source # evalEnvPath :: FilePath -> m (NValue m) Source # evalUnary :: NUnaryOp -> NValue m -> m (NValue m) Source # evalBinary :: NBinaryOp -> NValue m -> m (NValue m) -> m (NValue m) Source # evalWith :: m (NValue m) -> m (NValue m) -> m (NValue m) Source # evalIf :: NValue m -> m (NValue m) -> m (NValue m) -> m (NValue m) Source # evalAssert :: NValue m -> m (NValue m) -> m (NValue m) Source # evalApp :: NValue m -> m (NValue m) -> m (NValue m) Source # 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) Source # evalError :: Exception s => s -> m a Source #
MonadNix e m => MonadThunk (NValue m) (NThunk m) m Source #
Methods thunk :: m (NValue m) -> m (NThunk m) Source # force :: NThunk m -> (NValue m -> m r) -> m r Source # value :: NValue m -> NThunk m Source #