alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

lib/types.nix: Document that it should not be used

Browse source 
Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>
Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
This commit is contained in:
piegames 2022-09-16 14:14:59 +02:00
parent 5f379c4b68
commit 0ada9fff8a
1 changed files with 16 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
lib/types.nix
View file

@ -119,8 +119,22 @@ rec {
# - "composite": a phrase with an "of" connective # - "composite": a phrase with an "of" connective
# See the `optionDescriptionPhrase` function. # See the `optionDescriptionPhrase` function.
, descriptionClass ? null , descriptionClass ? null
, # Function applied to each definition that should return true if , # DO NOT USE WITHOUT KNOWING WHAT YOU ARE DOING!
# its type-correct, false otherwise. # Function applied to each definition that must return false when a definition
# does not match the type. It should not check more than the root of the value,
# because checking nested values reduces laziness, leading to unnecessary
# infinite recursions in the module system.
# Further checks of nested values should be performed by throwing in
# the merge function.
# Strict and deep type checking can be performed by calling lib.deepSeq on
# the merged value.
#
# See https://github.com/NixOS/nixpkgs/pull/6794 that introduced this change,
# https://github.com/NixOS/nixpkgs/pull/173568 and
# https://github.com/NixOS/nixpkgs/pull/168295 that attempted to revert this,
# https://github.com/NixOS/nixpkgs/issues/191124 and
# https://github.com/NixOS/nixos-search/issues/391 for what happens if you ignore
# this disclaimer.
check ? (x: true) check ? (x: true)
, # Merge a list of definitions together into a single value. , # Merge a list of definitions together into a single value.
# This function is called with two arguments: the location of # This function is called with two arguments: the location of