Nix.Eval

Documentation

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

Minimal complete definition

freeVariable, attrMissing, evaledSym, evalCurPos, evalConstant, evalString, evalLiteralPath, evalEnvPath, evalUnary, evalBinary, evalWith, evalIf, evalAssert, evalApp, evalAbs, evalError

Methods

freeVariable :: 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

Methods

freeVariable :: 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

type MonadNixEval e v t m = (MonadEval v m, Scoped e t m, MonadThunk v t m, MonadFix m, ToValue Bool m v, ToValue [t] m v, FromValue (Text, DList Text) m v, ToValue (AttrSet t, AttrSet SourcePos) m v, FromValue (AttrSet t, AttrSet SourcePos) m v)

data EvalFrame m v

Constructors

EvaluatingExpr (Scopes m v) NExprLoc

ForcingExpr (Scopes m v) NExprLoc

Calling String SrcSpan

Instances

Show (EvalFrame m v)

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)

Methods

toException :: EvalFrame m v -> SomeException

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

displayException :: EvalFrame m v -> String

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

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

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

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

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

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

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

evalSelector :: (MonadEval v m, FromValue (Text, DList Text) m v) => Bool -> NAttrPath (m v) -> m (NonEmpty Text)

evalGetterKeyName :: (MonadEval v m, FromValue (Text, DList Text) m v) => Bool -> NKeyName (m v) -> m Text

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

evalKeyNameStatic :: forall v m. MonadEval v m => NKeyName (m v) -> m Text

evalKeyNameDynamicNotNull :: forall v m. (MonadEval v m, FromValue (Text, DList Text) m v) => NKeyName (m v) -> m Text

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

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

evalKeyNameDynamicNullable :: forall v m. (MonadEval v m, FromValue (Text, DList Text) m v) => NKeyName (m v) -> m (Maybe Text)

Returns Nothing iff the key value is null

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

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

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

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

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