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)

mkNVConstantWithProvenance :: MonadCited t f m => Scopes m (NValue t f m) -> SrcSpan -> NAtom -> NValue t f m

mkNVStrWithProvenance :: MonadCited t f m => Scopes m (NValue t f m) -> SrcSpan -> NixString -> NValue t f m

mkNVPathWithProvenance :: MonadCited t f m => Scopes m (NValue t f m) -> SrcSpan -> Path -> Path -> NValue t f m

mkNVClosureWithProvenance :: MonadCited t f m => Scopes m (NValue t f m) -> SrcSpan -> Params () -> (NValue t f m -> m (NValue t f m)) -> NValue t f m

mkNVUnaryOpWithProvenance :: MonadCited t f m => Scopes m (NValue t f m) -> SrcSpan -> NUnaryOp -> Maybe (NValue t f m) -> NValue t f m -> NValue t f m

mkNVAppOpWithProvenance :: MonadCited t f m => Scopes m (NValue t f m) -> SrcSpan -> Maybe (NValue t f m) -> Maybe (NValue t f m) -> NValue t f m -> NValue t f m

mkNVBinaryOpWithProvenance :: MonadCited t f m => Scopes m (NValue t f m) -> SrcSpan -> NBinaryOp -> Maybe (NValue t f m) -> Maybe (NValue t f 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

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

(Comonad f, Applicative 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

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

askSpan :: 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 :: forall e t f m. (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, Alternative n, MonadReader Int n, MonadFail n) => Alg NExprLocF (m a) -> Alg NExprLocF (n (m a))

evalWithTracingAndMetaInfo :: forall e t f m. MonadNix e t f m => NExprLoc -> ReaderT Int m (m (NValue t f m))

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) => [Text] -> m (NValue t f m)

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

Orphan instances

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

Methods

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

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

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

evaledSym :: VarName -> 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 :: Path -> m (NValue t f m)

evalEnvPath :: Path -> 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