Nix.Eval

Documentation

class (Show v, Monad m) => MonadEval v m where

Methods

freeVariable :: Text -> m v

synHole :: Text -> m v

attrMissing :: NonEmpty Text -> Maybe v -> m v

evaledSym :: Text -> v -> m v

evalCurPos :: m v

evalConstant :: NAtom -> m v

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

evalLiteralPath :: FilePath -> m v

evalEnvPath :: FilePath -> m v

evalUnary :: NUnaryOp -> v -> m v

evalBinary :: NBinaryOp -> v -> m v -> m v

The second argument is an action because operators such as boolean && and || may not evaluate the second argument.

evalWith :: m v -> m v -> m v

evalIf :: v -> m v -> m v -> m v

evalAssert :: v -> m v -> m v

evalApp :: v -> m v -> m v

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

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

Instances

MonadLint e m => MonadEval (Symbolic m) m

Defined in Nix.Lint

Methods

freeVariable :: Text -> m (Symbolic m)

synHole :: Text -> m (Symbolic m)

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

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

evalCurPos :: m (Symbolic m)

evalConstant :: NAtom -> m (Symbolic m)

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

evalLiteralPath :: FilePath -> m (Symbolic m)

evalEnvPath :: FilePath -> m (Symbolic m)

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

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

evalWith :: m (Symbolic m) -> m (Symbolic m) -> m (Symbolic m)

evalIf :: Symbolic m -> m (Symbolic m) -> m (Symbolic m) -> m (Symbolic m)

evalAssert :: Symbolic m -> m (Symbolic m) -> m (Symbolic m)

evalApp :: Symbolic m -> m (Symbolic m) -> m (Symbolic m)

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

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

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

Defined in Nix.Exec

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

type MonadNixEval v m = (MonadEval v m, Scoped v m, MonadValue v m, MonadFix m, ToValue Bool m v, ToValue [v] m v, FromValue NixString m v, ToValue (AttrSet v, AttrSet SourcePos) m v, FromValue (AttrSet v, AttrSet SourcePos) m v)

data EvalFrame m v

Constructors

EvaluatingExpr (Scopes m v) NExprLoc

ForcingExpr (Scopes m v) NExprLoc

Calling String SrcSpan

SynHole (SynHoleInfo m v)

Instances

Show (EvalFrame m v)

Defined in Nix.Eval

Methods

showsPrec :: Int -> EvalFrame m v -> ShowS

show :: EvalFrame m v -> String

showList :: [EvalFrame m v] -> ShowS

(Typeable m, Typeable v) => Exception (EvalFrame m v)

Defined in Nix.Eval

Methods

toException :: EvalFrame m v -> SomeException

fromException :: SomeException -> Maybe (EvalFrame m v)

displayException :: EvalFrame m v -> String

data SynHoleInfo m v

Constructors

SynHoleInfo

Fields

• _synHoleInfo_expr :: NExprLoc
• _synHoleInfo_scope :: Scopes m v

Instances

Show (SynHoleInfo m v)

Defined in Nix.Eval

Methods

showsPrec :: Int -> SynHoleInfo m v -> ShowS

show :: SynHoleInfo m v -> String

showList :: [SynHoleInfo m v] -> ShowS

(Typeable m, Typeable v) => Exception (SynHoleInfo m v)

Defined in Nix.Eval

Methods

toException :: SynHoleInfo m v -> SomeException

fromException :: SomeException -> Maybe (SynHoleInfo m v)

displayException :: SynHoleInfo m v -> String

eval :: forall v m. MonadNixEval v m => NExprF (m v) -> m v

evalWithAttrSet :: forall v m. MonadNixEval v m => m v -> m v -> m v

If you know that the scope action will result in an 'AttrSet v', then this implementation may be used as an implementation for evalWith.

attrSetAlter :: forall v m. MonadNixEval v m => [Text] -> SourcePos -> AttrSet (m v) -> AttrSet SourcePos -> m v -> m (AttrSet (m v), AttrSet SourcePos)

desugarBinds :: forall r. ([Binding r] -> r) -> [Binding r] -> [Binding r]

evalBinds :: forall v m. MonadNixEval v m => Bool -> [Binding (m v)] -> m (AttrSet v, AttrSet SourcePos)

evalSelect :: forall v m. MonadNixEval v m => m v -> NAttrPath (m v) -> m (Either (v, NonEmpty Text) (m v))

evalGetterKeyName :: forall v m. (MonadEval v m, FromValue NixString m v) => NKeyName (m v) -> m Text

Evaluate a component of an attribute path in a context where we are *retrieving* a value

evalSetterKeyName :: (MonadEval v m, FromValue NixString m v) => NKeyName (m v) -> m (Maybe Text)

Evaluate a component of an attribute path in a context where we are *binding* a value

assembleString :: forall v m. (MonadEval v m, FromValue NixString m v) => NString (m v) -> m (Maybe NixString)

buildArgument :: forall v m. MonadNixEval v m => Params (m v) -> m v -> m (AttrSet v)

addSourcePositions :: (MonadReader e m, Has e SrcSpan) => Transform NExprLocF (m a)

addStackFrames :: forall v e m a. (Scoped v m, Framed e m, Typeable v, Typeable m) => Transform NExprLocF (m a)

framedEvalExprLoc :: forall e v m. (MonadNixEval v m, Framed e m, Has e SrcSpan, Typeable m, Typeable v) => NExprLoc -> m v