matchInformationOtherwise

Pattern matching non exhaustif sur l'information d'un Either avec callback de fallback explicite.

Exemple interactif

Syntaxe

Signature classique

function matchInformationOtherwise<
  GenericInput extends unknown,
  GenericMatcher extends ComputeMatcher<Extract<GenericInput, Right | Left>>,
  GenericOutput extends unknown
>(
  input: GenericInput,
  matcher: GenericMatcher,
  otherwise: (value: Exclude<GenericInput, Right | Left>) => GenericOutput
): ReturnType<GenericMatcher[keyof GenericMatcher]> | Exclude<GenericInput, Right | Left>;

Signature currifiée

function matchInformationOtherwise<
  GenericInput extends unknown,
  GenericMatcher extends ComputeMatcher<Extract<GenericInput, Right | Left>>,
  GenericOutput extends unknown
>(
  matcher: GenericMatcher,
  otherwise: (value: Exclude<GenericInput, Right | Left>) => GenericOutput
): (input: GenericInput) => ReturnType<GenericMatcher[keyof GenericMatcher]> | GenericOutput;

Paramètres

• matcher : Objet partiel de callbacks d'information.
• otherwise : Callback utilisé quand aucun callback du matcher ne correspond, ou quand l'entrée n'est pas un Either.
• input : Valeur à traiter immédiatement (optionnelle en style currifié).

Valeur de retour

Renvoie soit le résultat du callback matché, soit le résultat du callback otherwise.

Voir aussi

• matchInformation - Variante exhaustive.
• expect - Conserve un typage Either strict dans les flux.