:: a typeCtrl KGHC 10.0.0.20260917 · lts/ghc-10.0.x · c62e4de · 2026-10-19
Modulehnix-0.17.0Haskell2010
This type represents a pretty printed nix expression together with some information about the expression.
NixDocgetDoc :: Doc annRendered expression. Without surrounding parenthesis.
rootOp :: NOperatorDefThe root operator is the operator at the root of the expression tree. For example, in '(a * b) + c', + would be the root operator. It is needed to determine if we need to wrap the expression in parentheses.
wasPath :: BoolRepresent Nix antiquotes.
${ expr }
A simple expression is never wrapped in parentheses. The expression behaves as if its root operator had a precedence higher than all other operators (including function application).
An expression that behaves as if its root operator had a precedence lower than all other operators. That ensures that the expression is wrapped in parentheses in almost always, but it's still rendered without parentheses in cases where parentheses are never required (such as in the LHS of a binding).
Determine if to return doc wraped into parens, according the given operator.
Handle Output representation of the string escape codes.
Takes original expression from inside provenance information. Prettifies that expression.
During the output, which can print only representation of value, lazy thunks need to looked into & so - be evaluated (*sic) This type is a simple manual witness "is the thunk gets shown".
Eq ValueOriginDefined in hnix-0.17.0 · Nix.PrettyprettyProv :: (HasCitations m (NValue t f m) t, HasCitations1 m (NValue t f m) f, MonadThunk t m (NValue t f m), MonadDataContext f m)=> ValueOriginWas thunk?
-> NValue t f m-> Doc annThis function is used only by the testing code.