hasInformation

Type guard basé sur l'information littérale stockée dans l'Either. Permet de cibler précisément un cas métier sans introspection supplémentaire.

Exemple interactif

Syntaxe

lo

function hasInformation<
  const GenericInput extends unknown,
  GenericInformation extends ReturnType<typeof eitherInformationKind.getValue<GenericInput>>
>(
  input: GenericInput,
  information: GenericInformation
): input is Extract<GenericInput, Kind<typeof eitherInformationKind.definition, GenericInformation>>;

function hasInformation<
  const GenericInput extends unknown,
  GenericInformation extends ReturnType<typeof eitherInformationKind.getValue<GenericInput>>
>(
  information: GenericInformation
): (input: GenericInput) => input is Extract<GenericInput, Kind<typeof eitherInformationKind.definition, GenericInformation>>;

Paramètres

• information : String littérale attendue ("user.created", "user.invalid", etc.).
• input (optionnel dans la signature curry) : Valeur sur laquelle effectuer le contrôle.

Valeur de retour

Un booléen, mais surtout un type guard : lorsque le résultat est true, TypeScript sait que l'Either porte l'information demandée (côté Right ou Left).

Cas d'usage

• Différencier plusieurs erreurs/succès dans un même Either.
• Simplifier des switch/case en s'appuyant sur les littéraux.
• Chaîner avec E.whenHasInformation pour déclencher une action ciblée.

Voir aussi

• whenHasInformation – Variante avec callback.
• right / left – Constructeurs qui imposent cette information littérale.