From 804941afc9ff619396b1a44ee4830f685a1b8b79 Mon Sep 17 00:00:00 2001 From: Pierre Ambroise Date: Mon, 27 Jan 2025 18:06:52 +0000 Subject: [PATCH] Translate Singleton --- language/types.xml | 4 +-- language/types/singleton.xml | 49 ++++++++++++++++++++++++++++++++++++ 2 files changed, 51 insertions(+), 2 deletions(-) create mode 100644 language/types/singleton.xml diff --git a/language/types.xml b/language/types.xml index f27fee22d7..736a16188b 100644 --- a/language/types.xml +++ b/language/types.xml @@ -1,5 +1,5 @@ - + @@ -133,7 +133,7 @@ int(16) &language.types.void; &language.types.never; &language.types.relative-class-types; - &language.types.value; + &language.types.singleton; &language.types.iterable; &language.types.declarations; &language.types.type-juggling; diff --git a/language/types/singleton.xml b/language/types/singleton.xml new file mode 100644 index 0000000000..a82a532ddf --- /dev/null +++ b/language/types/singleton.xml @@ -0,0 +1,49 @@ + + + + + Type singleton + + + Les types singleton sont ceux qui n'acceptent qu'une seule valeur. + PHP prend en charge deux types singleton : + false depuis PHP 8.0.0 et true + depuis PHP 8.2.0. + + + + + Avant PHP 8.2.0, le type false ne pouvait être utilisé + que dans le cadre d'un + type union. + + + + + + Il n'est pas possible de définir des types singleton personnalisés. Considérer + l'utilisation d'une énumération à la place. + + + + +