Nix.Exec

Documentation

type MonadCited t f m = (HasCitations m (NValue t f m) t, HasCitations1 m (NValue t f m) f, MonadDataContext f m)

nvConstantP :: MonadCited t f m => Provenance m (NValue t f m) -> NAtom -> NValue t f m

nvStrP :: MonadCited t f m => Provenance m (NValue t f m) -> NixString -> NValue t f m

nvPathP :: MonadCited t f m => Provenance m (NValue t f m) -> FilePath -> NValue t f m

nvListP :: MonadCited t f m => Provenance m (NValue t f m) -> [NValue t f m] -> NValue t f m

nvSetP :: MonadCited t f m => Provenance m (NValue t f m) -> AttrSet (NValue t f m) -> AttrSet SourcePos -> NValue t f m

nvClosureP :: MonadCited t f m => Provenance m (NValue t f m) -> Params () -> (NValue t f m -> m (NValue t f m)) -> NValue t f m

nvBuiltinP :: MonadCited t f m => Provenance m (NValue t f m) -> String -> (NValue t f m -> m (NValue t f m)) -> NValue t f m

type MonadCitedThunks t f m = (MonadThunk t m (NValue t f m), MonadDataErrorContext t f m, HasCitations m (NValue t f m) t, HasCitations1 m (NValue t f m) f)

type MonadNix e t f m = (Has e SrcSpan, Has e Options, Scoped (NValue t f m) m, Framed e m, MonadFix m, MonadCatch m, MonadThrow m, Alternative m, MonadEffects t f m, MonadCitedThunks t f m, MonadValue (NValue t f m) m)

data ExecFrame t f m

Constructors

Assertion SrcSpan (NValue t f m)

Instances

(Comonad f, Show t) => Show (ExecFrame t f m)

Defined in Nix.Exec

Methods

showsPrec :: Int -> ExecFrame t f m -> ShowS

show :: ExecFrame t f m -> String

showList :: [ExecFrame t f m] -> ShowS

MonadDataErrorContext t f m => Exception (ExecFrame t f m)

Defined in Nix.Exec

Methods

toException :: ExecFrame t f m -> SomeException

fromException :: SomeException -> Maybe (ExecFrame t f m)

displayException :: ExecFrame t f m -> String

nverr :: forall e t f s m a. (MonadNix e t f 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 t f m. MonadNix e t f m => NValue t f m -> NValue t f m -> m (NValue t f m) infixl 1

execUnaryOp :: (Framed e m, MonadCited t f m, Show t) => Scopes m (NValue t f m) -> SrcSpan -> NUnaryOp -> NValue t f m -> m (NValue t f m)

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

execBinaryOpForced :: forall e t f m. (MonadNix e t f m, MonadEval (NValue t f m) m) => Scopes m (NValue t f m) -> SrcSpan -> NBinaryOp -> NValue t f m -> NValue t f m -> m (NValue t f m)

fromStringNoContext :: Framed e m => NixString -> m Text

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

evalExprLoc :: forall e t f m. MonadNix e t f m => NExprLoc -> m (NValue t f m)

exec :: (MonadNix e t f m, MonadInstantiate m) => [String] -> m (NValue t f m)

nixInstantiateExpr :: (MonadNix e t f m, MonadInstantiate m) => String -> m (NValue t f m)

Orphan instances

MonadNix e t f m => MonadEval (NValue t f m) m

Methods

freeVariable :: Text -> m (NValue t f m)

synHole :: Text -> m (NValue t f m)

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

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

evalCurPos :: m (NValue t f m)

evalConstant :: NAtom -> m (NValue t f m)

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

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

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

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

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

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

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

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

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

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

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