NamedVar (Named Variable Binding)

Definition

NamedVar { attrPath :: AttrPath, value :: Expr }

Fields

Nix Source ↔ AST

Simple Binding

# Nix
x = 1;

# AST
{
  "tag": "NamedVar",
  "attrPath": [{ "tag": "StaticKey", "contents": "x" }],
  "value": { "tag": "Constant", "contents": { "tag": "Int", "contents": 1 } }
}

Nested Path Binding

# Nix
a.b.c = 1;

# AST
{
  "tag": "NamedVar",
  "attrPath": [
    { "tag": "StaticKey", "contents": "a" },
    { "tag": "StaticKey", "contents": "b" },
    { "tag": "StaticKey", "contents": "c" }
  ],
  "value": { "tag": "Constant", "contents": { "tag": "Int", "contents": 1 } }
}

Dynamic Key Binding

# Nix
let name = "foo"; in { ${name} = 1; }

# AST
{
  "tag": "NamedVar",
  "attrPath": [
    { "tag": "DynamicKey", "contents": {
        "tag": "Antiquoted",
        "contents": { "tag": "Sym", "contents": "name" }
      }
    }
  ],
  "value": { "tag": "Constant", "contents": { "tag": "Int", "contents": 1 } }
}

Related

• Inherit: inherit binding
• AttrPath: attribute path structure
• KeyName: StaticKey / DynamicKey
• Let: let expressions
• Set: attribute sets

Nix Library Access

syntax.mkNamedVar [syntax.mkStaticKey "x"] (syntax.mkInt 1)
syntax.mkNamedVar [syntax.mkStaticKey "a", syntax.mkStaticKey "b"] (syntax.mkInt 1)