NotAShelf/nvf
2
1
Fork 0
mirror of https://github.com/NotAShelf/nvf.git synced 2025-10-31 11:02:37 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Documentation. DAG library examples from lib.dag to lib.hm.dag

Browse source
This commit is contained in:
Stefanos Grammenos 2025-08-17 21:13:30 +03:00 • committed by GitHub
commit 079f94c73d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 22 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

44
docs/manual/configuring/dags.md
View file

@ -14,14 +14,14 @@ explains in more detail the overall usage logic of the DAG type.
## entryAnywhere {#sec-types-dag-entryAnywhere} ## entryAnywhere {#sec-types-dag-entryAnywhere}
> `lib.dag.entryAnywhere (value: T) : DagEntry<T>` > `lib.hm.dag.entryAnywhere (value: T) : DagEntry<T>`
Indicates that `value` can be placed anywhere within the DAG. This is also the Indicates that `value` can be placed anywhere within the DAG. This is also the
default for plain attribute set entries, that is default for plain attribute set entries, that is
```nix ```nix
foo.bar = { foo.bar = {
a = lib.dag.entryAnywhere 0; a = lib.hm.dag.entryAnywhere 0;
} }
``` ```
@ -37,7 +37,7 @@ are equivalent.
## entryAfter {#ch-types-dag-entryAfter} ## entryAfter {#ch-types-dag-entryAfter}
> `lib.dag.entryAfter (afters: list string) (value: T) : DagEntry<T>` > `lib.hm.dag.entryAfter (afters: list string) (value: T) : DagEntry<T>`
Indicates that `value` must be placed _after_ each of the attribute names in the Indicates that `value` must be placed _after_ each of the attribute names in the
given list. For example given list. For example
@ -45,7 +45,7 @@ given list. For example
```nix ```nix
foo.bar = { foo.bar = {
a = 0; a = 0;
b = lib.dag.entryAfter [ "a" ] 1; b = lib.hm.dag.entryAfter [ "a" ] 1;
} }
``` ```
@ -53,14 +53,14 @@ would place `b` after `a` in the graph.
## entryBefore {#ch-types-dag-entryBefore} ## entryBefore {#ch-types-dag-entryBefore}
> `lib.dag.entryBefore (befores: list string) (value: T) : DagEntry<T>` > `lib.hm.dag.entryBefore (befores: list string) (value: T) : DagEntry<T>`
Indicates that `value` must be placed _before_ each of the attribute names in Indicates that `value` must be placed _before_ each of the attribute names in
the given list. For example the given list. For example
```nix ```nix
foo.bar = { foo.bar = {
b = lib.dag.entryBefore [ "a" ] 1; b = lib.hm.dag.entryBefore [ "a" ] 1;
a = 0; a = 0;
} }
``` ```
@ -69,7 +69,7 @@ would place `b` before `a` in the graph.
## entryBetween {#sec-types-dag-entryBetween} ## entryBetween {#sec-types-dag-entryBetween}
> `lib.dag.entryBetween (befores: list string) (afters: list string) (value: T) : DagEntry<T>` > `lib.hm.dag.entryBetween (befores: list string) (afters: list string) (value: T) : DagEntry<T>`
Indicates that `value` must be placed _before_ the attribute names in the first Indicates that `value` must be placed _before_ the attribute names in the first
list and _after_ the attribute names in the second list. For example list and _after_ the attribute names in the second list. For example
@ -77,7 +77,7 @@ list and _after_ the attribute names in the second list. For example
```nix ```nix
foo.bar = { foo.bar = {
a = 0; a = 0;
c = lib.dag.entryBetween [ "b" ] [ "a" ] 2; c = lib.hm.dag.entryBetween [ "b" ] [ "a" ] 2;
b = 1; b = 1;
} }
``` ```
@ -92,13 +92,13 @@ functions take a `tag` as argument and the DAG entries will be named
## entriesAnywhere {#sec-types-dag-entriesAnywhere} ## entriesAnywhere {#sec-types-dag-entriesAnywhere}
> `lib.dag.entriesAnywhere (tag: string) (values: [T]) : Dag<T>` > `lib.hm.dag.entriesAnywhere (tag: string) (values: [T]) : Dag<T>`
Creates a DAG with the given values with each entry labeled using the given tag. Creates a DAG with the given values with each entry labeled using the given tag.
For example For example
```nix ```nix
foo.bar = lib.dag.entriesAnywhere "a" [ 0 1 ]; foo.bar = lib.hm.dag.entriesAnywhere "a" [ 0 1 ];
``` ```
is equivalent to is equivalent to
@ -106,13 +106,13 @@ is equivalent to
```nix ```nix
foo.bar = { foo.bar = {
a-0 = 0; a-0 = 0;
a-1 = lib.dag.entryAfter [ "a-0" ] 1; a-1 = lib.hm.dag.entryAfter [ "a-0" ] 1;
} }
``` ```
## entriesAfter {#sec-types-dag-entriesAfter} ## entriesAfter {#sec-types-dag-entriesAfter}
> `lib.dag.entriesAfter (tag: string) (afters: list string) (values: [T]) : Dag<T>` > `lib.hm.dag.entriesAfter (tag: string) (afters: list string) (values: [T]) : Dag<T>`
Creates a DAG with the given values with each entry labeled using the given tag. Creates a DAG with the given values with each entry labeled using the given tag.
The list of values are placed are placed _after_ each of the attribute names in The list of values are placed are placed _after_ each of the attribute names in
@ -120,7 +120,7 @@ The list of values are placed are placed _after_ each of the attribute names in
```nix ```nix
foo.bar = foo.bar =
{ b = 0; } // lib.dag.entriesAfter "a" [ "b" ] [ 1 2 ]; { b = 0; } // lib.hm.dag.entriesAfter "a" [ "b" ] [ 1 2 ];
``` ```
is equivalent to is equivalent to
@ -128,14 +128,14 @@ is equivalent to
```nix ```nix
foo.bar = { foo.bar = {
b = 0; b = 0;
a-0 = lib.dag.entryAfter [ "b" ] 1; a-0 = lib.hm.dag.entryAfter [ "b" ] 1;
a-1 = lib.dag.entryAfter [ "a-0" ] 2; a-1 = lib.hm.dag.entryAfter [ "a-0" ] 2;
} }
``` ```
## entriesBefore {#sec-types-dag-entriesBefore} ## entriesBefore {#sec-types-dag-entriesBefore}
> `lib.dag.entriesBefore (tag: string) (befores: list string) (values: [T]) : Dag<T>` > `lib.hm.dag.entriesBefore (tag: string) (befores: list string) (values: [T]) : Dag<T>`
Creates a DAG with the given values with each entry labeled using the given tag. Creates a DAG with the given values with each entry labeled using the given tag.
The list of values are placed _before_ each of the attribute names in `befores`. The list of values are placed _before_ each of the attribute names in `befores`.
@ -143,7 +143,7 @@ For example
```nix ```nix
foo.bar = foo.bar =
{ b = 0; } // lib.dag.entriesBefore "a" [ "b" ] [ 1 2 ]; { b = 0; } // lib.hm.dag.entriesBefore "a" [ "b" ] [ 1 2 ];
``` ```
is equivalent to is equivalent to
@ -152,13 +152,13 @@ is equivalent to
foo.bar = { foo.bar = {
b = 0; b = 0;
a-0 = 1; a-0 = 1;
a-1 = lib.dag.entryBetween [ "b" ] [ "a-0" ] 2; a-1 = lib.hm.dag.entryBetween [ "b" ] [ "a-0" ] 2;
} }
``` ```
## entriesBetween {#sec-types-dag-entriesBetween} ## entriesBetween {#sec-types-dag-entriesBetween}
> `lib.dag.entriesBetween (tag: string) (befores: list string) (afters: list string) (values: [T]) : Dag<T>` > `lib.hm.dag.entriesBetween (tag: string) (befores: list string) (afters: list string) (values: [T]) : Dag<T>`
Creates a DAG with the given values with each entry labeled using the given tag. Creates a DAG with the given values with each entry labeled using the given tag.
The list of values are placed _before_ each of the attribute names in `befores` The list of values are placed _before_ each of the attribute names in `befores`
@ -166,7 +166,7 @@ and _after_ each of the attribute names in `afters`. For example
```nix ```nix
foo.bar = foo.bar =
{ b = 0; c = 3; } // lib.dag.entriesBetween "a" [ "b" ] [ "c" ] [ 1 2 ]; { b = 0; c = 3; } // lib.hm.dag.entriesBetween "a" [ "b" ] [ "c" ] [ 1 2 ];
``` ```
is equivalent to is equivalent to
@ -175,7 +175,7 @@ is equivalent to
foo.bar = { foo.bar = {
b = 0; b = 0;
c = 3; c = 3;
a-0 = lib.dag.entryAfter [ "c" ] 1; a-0 = lib.hm.dag.entryAfter [ "c" ] 1;
a-1 = lib.dag.entryBetween [ "b" ] [ "a-0" ] 2; a-1 = lib.hm.dag.entryBetween [ "b" ] [ "a-0" ] 2;
} }
``` ```